user=mdettweiler [2013-05-19 00:01:04] 963*2^1246047-1 is not prime. Res64: E881C3700FB612BF Time : 0.0 sec. user=mdettweiler [2013-05-19 00:01:05] 665*2^1246048-1 is not prime. Res64: 52019D305025D755 Time : 0.0 sec. user=mdettweiler [2013-05-19 00:14:22] 695*2^1246048-1 is not prime. Res64: B37FB55547A7E810 Time : 0.0 sec. user=mdettweiler [2013-05-19 00:14:40] 827*2^1246048-1 is not prime. Res64: E06FA455610D3FF0 Time : 0.0 sec. user=mdettweiler [2013-05-19 00:19:16] 947*2^1246048-1 is not prime. Res64: B87230522DEF77B8 Time : 0.0 sec. user=mdettweiler [2013-05-19 00:56:39] 999*2^1246048-1 is not prime. Res64: B4CC81101D13A41A Time : 0.0 sec. user=mdettweiler [2013-05-19 00:56:39] 615*2^1246049-1 is not prime. Res64: 529BE6BAF61333A6 Time : 0.0 sec. user=mdettweiler [2013-05-19 00:57:43] 959*2^1246048-1 is not prime. Res64: F76B5EE9A184B5DB Time : 0.0 sec. user=mdettweiler [2013-05-19 01:14:18] 747*2^1246049-1 is not prime. Res64: E5558EE40811912D Time : 0.0 sec. user=mdettweiler [2013-05-19 01:16:05] 985*2^1246049-1 is not prime. Res64: 31236711F01454C5 Time : 0.0 sec. user=mdettweiler [2013-05-19 01:16:06] 735*2^1246050-1 is not prime. Res64: 8790A6C41065718C Time : 0.0 sec. user=mdettweiler [2013-05-19 01:34:07] 773*2^1246050-1 is not prime. Res64: BB88B437D78F7767 Time : 0.0 sec. user=mdettweiler [2013-05-19 01:49:12] 831*2^1246049-1 is not prime. Res64: 5717C80D24C95A4C Time : 0.0 sec. user=mdettweiler [2013-05-19 02:28:35] 845*2^1246050-1 is not prime. Res64: F6DE6C96EE161CD1 Time : 0.0 sec. user=mdettweiler [2013-05-19 03:02:02] 861*2^1246050-1 is not prime. Res64: 0A64C967A83D37A6 Time : 0.0 sec. user=mdettweiler [2013-05-19 03:02:03] 893*2^1246050-1 is not prime. Res64: 463C4459EBB6C2B9 Time : 0.0 sec. user=mdettweiler [2013-05-19 03:20:02] 915*2^1246050-1 is not prime. Res64: B175FC46EAC49CDF Time : 0.0 sec. user=mdettweiler [2013-05-19 03:21:25] 813*2^1246051-1 is not prime. Res64: 077DE2781504C7BD Time : 0.0 sec. user=mdettweiler [2013-05-19 03:55:12] 723*2^1246051-1 is not prime. Res64: FC462184AA345792 Time : 0.0 sec. user=mdettweiler [2013-05-19 03:59:37] 885*2^1246051-1 is not prime. Res64: 6D69AEB633C3A567 Time : 0.0 sec. user=mdettweiler [2013-05-19 04:12:57] 925*2^1246051-1 is not prime. Res64: 284C345A40EE175F Time : 0.0 sec. user=mdettweiler [2013-05-19 04:12:57] 961*2^1246051-1 is not prime. Res64: C155750F658D25A2 Time : 0.0 sec. user=mdettweiler [2013-05-19 04:17:31] 699*2^1246052-1 is not prime. Res64: 302CF810F9A64C98 Time : 0.0 sec. user=mdettweiler [2013-05-19 04:31:58] 977*2^1246052-1 is not prime. Res64: EF69DD3D74C0C995 Time : 0.0 sec. user=mdettweiler [2013-05-19 04:44:40] 909*2^1246052-1 is not prime. Res64: EE1C25F50AB72D3D Time : 0.0 sec. user=mdettweiler [2013-05-19 05:00:34] 999*2^1246052-1 is not prime. Res64: 0F3746974D5A5A60 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:02:46] 741*2^1246053-1 is not prime. Res64: 36628101C3E73D73 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:02:47] 919*2^1246053-1 is not prime. Res64: 680A1D5686FB5490 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:18:59] 949*2^1246053-1 is not prime. Res64: 22C97E52E47DD34B Time : 0.0 sec. user=mdettweiler [2013-05-19 05:19:00] 951*2^1246053-1 is not prime. Res64: 9115082BA54752FE Time : 0.0 sec. user=mdettweiler [2013-05-19 05:21:03] 955*2^1246053-1 is not prime. Res64: DBB0C8C0BD0261ED Time : 0.0 sec. user=mdettweiler [2013-05-19 05:21:03] 731*2^1246054-1 is not prime. Res64: F0A7A15B36594E83 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:37:03] 825*2^1246054-1 is not prime. Res64: 3A7E4BB20786BBE9 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:37:03] 857*2^1246054-1 is not prime. Res64: 73152E9EB226413D Time : 0.0 sec. user=mdettweiler [2013-05-19 05:38:52] 945*2^1246054-1 is not prime. Res64: 00A4845C29D93A7B Time : 0.0 sec. user=mdettweiler [2013-05-19 05:38:52] 645*2^1246055-1 is not prime. Res64: E7BE1C25847EB34A Time : 0.0 sec. user=mdettweiler [2013-05-19 05:54:45] 663*2^1246055-1 is not prime. Res64: 82C98AE9467902F1 Time : 0.0 sec. user=mdettweiler [2013-05-19 05:56:52] 783*2^1246055-1 is not prime. Res64: 0927AB3D57E0666A Time : 0.0 sec. user=mdettweiler [2013-05-19 06:15:51] 789*2^1246055-1 is not prime. Res64: 60CB71DEEF8B0889 Time : 0.0 sec. user=mdettweiler [2013-05-19 06:31:48] 685*2^1246055-1 is not prime. Res64: 2639399595C37B88 Time : 0.0 sec. user=mdettweiler [2013-05-19 06:34:16] 939*2^1246055-1 is not prime. Res64: 664DB3799E883462 Time : 0.0 sec. user=mdettweiler [2013-05-19 06:34:16] 985*2^1246055-1 is not prime. Res64: 03A7652F930D0A8C Time : 0.0 sec. user=mdettweiler [2013-05-19 06:52:49] 999*2^1246055-1 is not prime. Res64: ACA3987113A0B761 Time : 0.0 sec. user=mdettweiler [2013-05-19 06:52:49] 669*2^1246056-1 is not prime. Res64: 337D36573C13B663 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:10:30] 705*2^1246056-1 is not prime. Res64: DC6E75882B74E494 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:15:31] 719*2^1246056-1 is not prime. Res64: D9C982EABBDFA2C6 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:15:31] 725*2^1246056-1 is not prime. Res64: A1DF7F643A6AE8D1 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:33:22] 873*2^1246056-1 is not prime. Res64: 1588B35F40F0C256 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:33:23] 975*2^1246056-1 is not prime. Res64: 34DF9FC19BF755F7 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:44:26] 707*2^1246056-1 is not prime. Res64: CE839758E7CD9FD5 Time : 0.0 sec. user=mdettweiler [2013-05-19 07:51:04] 741*2^1246057-1 is not prime. Res64: 381CD4CFF7D7D19B Time : 0.0 sec. user=mdettweiler [2013-05-19 08:02:09] 777*2^1246057-1 is not prime. Res64: 4DB9416C8FA0C505 Time : 0.0 sec. user=mdettweiler [2013-05-19 08:17:22] 747*2^1246057-1 is not prime. Res64: 8B7341FB5A439D78 Time : 0.0 sec. user=mdettweiler [2013-05-19 08:39:13] 915*2^1246057-1 is not prime. Res64: EADAB9EC76CC2F61 Time : 0.0 sec. user=mdettweiler [2013-05-19 08:53:45] 603*2^1246058-1 is not prime. Res64: 0AA78390E0A3093A Time : 0.0 sec. user=mdettweiler [2013-05-19 08:56:55] 743*2^1246058-1 is not prime. Res64: 4B65E621AF3753F9 Time : 0.0 sec. user=mdettweiler [2013-05-19 09:15:47] 797*2^1246058-1 is not prime. Res64: EA78C5B22E8EEB71 Time : 0.0 sec. user=mdettweiler [2013-05-19 09:29:28] 605*2^1246058-1 is not prime. Res64: 5242348D76FAFC3C Time : 0.0 sec. user=mdettweiler [2013-05-19 09:59:51] 827*2^1246058-1 is not prime. Res64: 597886C5EBAB8C90 Time : 0.0 sec. user=mdettweiler [2013-05-19 09:59:52] 845*2^1246058-1 is not prime. Res64: D3B64B9D2C76365E Time : 0.0 sec. user=mdettweiler [2013-05-19 10:17:15] 861*2^1246058-1 is not prime. Res64: B4F19A438DEABF03 Time : 0.0 sec. user=mdettweiler [2013-05-19 10:17:17] 711*2^1246059-1 is not prime. Res64: 55810BC0B87700A6 Time : 0.0 sec. user=mdettweiler [2013-05-19 10:17:18] 603*2^1246060-1 is not prime. Res64: 221E3637F05CAD2D Time : 0.0 sec. user=mdettweiler [2013-05-19 10:35:08] 605*2^1246060-1 is not prime. Res64: 6C49A14C6CC4D33F Time : 0.0 sec. user=mdettweiler [2013-05-19 10:35:08] 819*2^1246060-1 is not prime. Res64: FF6515A93A8E4D92 Time : 0.0 sec. user=mdettweiler [2013-05-19 10:41:49] 963*2^1246058-1 is not prime. Res64: B4848FE67657A79D Time : 0.0 sec. user=mdettweiler [2013-05-19 10:53:03] 839*2^1246060-1 is not prime. Res64: 534D5AE3D01F705A Time : 0.0 sec. user=mdettweiler [2013-05-19 11:14:47] 927*2^1246060-1 is not prime. Res64: C0F2927767AFE4F7 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:32:29] 651*2^1246061-1 is not prime. Res64: 107E347F88ABC326 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:32:30] 657*2^1246061-1 is not prime. Res64: CDD991853DF76B56 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:33:33] 697*2^1246061-1 is not prime. Res64: 5D0C6FB488D7FDFB Time : 0.0 sec. user=mdettweiler [2013-05-19 11:33:34] 795*2^1246061-1 is not prime. Res64: 30A378E449C661F3 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:49:56] 825*2^1246061-1 is not prime. Res64: 916FC57B6FF26094 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:49:56] 901*2^1246061-1 is not prime. Res64: BA6B4A43FA09AA70 Time : 0.0 sec. user=mdettweiler [2013-05-19 11:51:00] 635*2^1246062-1 is not prime. Res64: E15B22D6EEBABDDD Time : 0.0 sec. user=mdettweiler [2013-05-19 11:51:01] 647*2^1246062-1 is not prime. Res64: 1A0701BA03977E55 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:07:39] 683*2^1246062-1 is not prime. Res64: 9CA6919028259A7F Time : 0.0 sec. user=mdettweiler [2013-05-19 12:07:41] 765*2^1246062-1 is not prime. Res64: 6CE5FF971882795C Time : 0.0 sec. user=mdettweiler [2013-05-19 12:08:43] 833*2^1246062-1 is not prime. Res64: D83C8A6E82FE90BF Time : 0.0 sec. user=mdettweiler [2013-05-19 12:08:44] 863*2^1246062-1 is not prime. Res64: 2689C71EDEFF390F Time : 0.0 sec. user=mdettweiler [2013-05-19 12:26:12] 893*2^1246062-1 is not prime. Res64: 65E17F4B1DECF6F3 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:26:13] 983*2^1246062-1 is not prime. Res64: D5C41F36CA799F42 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:26:34] 765*2^1246063-1 is not prime. Res64: 0E0D176BE177EF7A Time : 0.0 sec. user=mdettweiler [2013-05-19 12:26:35] 895*2^1246063-1 is not prime. Res64: 6BEB61412E7AA257 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:44:26] 689*2^1246064-1 is not prime. Res64: 737DF5E8FD7DD581 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:44:27] 753*2^1246064-1 is not prime. Res64: D6547336D5124C35 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:44:51] 985*2^1246063-1 is not prime. Res64: 9FEC17DCC40879D9 Time : 0.0 sec. user=mdettweiler [2013-05-19 12:44:51] 659*2^1246064-1 is not prime. Res64: 4249A02B1437C451 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:02:38] 601*2^1246065-1 is not prime. Res64: D8CAB710C1516F82 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:02:40] 649*2^1246065-1 is not prime. Res64: B2C4741A0E129EEB Time : 0.0 sec. user=mdettweiler [2013-05-19 13:02:42] 857*2^1246064-1 is not prime. Res64: 0E97650DCB28C9CF Time : 0.0 sec. user=mdettweiler [2013-05-19 13:02:44] 993*2^1246064-1 is not prime. Res64: 00E4B30A1D0B1F96 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:20:44] 651*2^1246065-1 is not prime. Res64: AD65089FB88BCC2A Time : 0.0 sec. user=mdettweiler [2013-05-19 13:20:44] 795*2^1246065-1 is not prime. Res64: 3BADCE539852EF5F Time : 0.0 sec. user=mdettweiler [2013-05-19 13:20:44] 671*2^1246066-1 is not prime. Res64: 41C1650167099BD6 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:38:17] 621*2^1245967-1 is not prime. Res64: 3BDE4351CA9F3602 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:38:18] 717*2^1246066-1 is not prime. Res64: 0E3CBA18612E2E85 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:43:18] 691*2^1246065-1 is not prime. Res64: 308099820D32EAA3 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:56:09] 723*2^1246066-1 is not prime. Res64: 4716ACAE0E255A89 Time : 0.0 sec. user=mdettweiler [2013-05-19 13:56:09] 735*2^1246066-1 is not prime. Res64: 3B7015CA8C00440C Time : 0.0 sec. user=mdettweiler [2013-05-19 14:13:54] 903*2^1246066-1 is not prime. Res64: D136A9F5FC3526D8 Time : 0.0 sec. user=mdettweiler [2013-05-19 14:13:55] 923*2^1246066-1 is not prime. Res64: 9FC4AEED0FAD1EF6 Time : 0.0 sec. user=mdettweiler [2013-05-19 14:27:00] 947*2^1246066-1 is not prime. Res64: 7091B72CF69CD35B Time : 0.0 sec. user=mdettweiler [2013-05-19 14:31:39] 655*2^1246067-1 is not prime. Res64: D00CD9A9CECFD8DC Time : 0.0 sec. user=mdettweiler [2013-05-19 14:31:39] 913*2^1246067-1 is not prime. Res64: 31AF57FB742B6EA0 Time : 0.0 sec. user=mdettweiler [2013-05-19 14:49:05] 963*2^1246067-1 is not prime. Res64: 64C174B1C035BFD3 Time : 0.0 sec. user=mdettweiler [2013-05-19 14:49:06] 973*2^1246067-1 is not prime. Res64: 38D5EB0B7F2AF1DE Time : 0.0 sec. user=mdettweiler [2013-05-19 14:58:58] 609*2^1246067-1 is not prime. Res64: 984E2116236FBD22 Time : 0.0 sec. user=mdettweiler [2013-05-19 15:06:54] 615*2^1246068-1 is not prime. Res64: 375129E598760461 Time : 0.0 sec. user=mdettweiler [2013-05-19 15:06:56] 657*2^1246068-1 is not prime. Res64: B43DD87F7EF3EA32 Time : 0.0 sec. user=mdettweiler [2013-05-19 15:16:34] 699*2^1246068-1 is not prime. Res64: 3E5430BD1117DC01 Time : 0.0 sec. user=mdettweiler [2013-05-19 15:24:58] 737*2^1246068-1 is not prime. Res64: A788215AE2A3A1B2 Time : 0.0 sec. user=mdettweiler [2013-05-19 15:56:24] 707*2^1246068-1 is not prime. Res64: C91C928F5FB7E76A Time : 0.0 sec. user=mdettweiler [2013-05-19 16:02:59] 909*2^1246068-1 is not prime. Res64: 611D92A0103EC75F Time : 0.0 sec. user=mdettweiler [2013-05-19 16:20:38] 729*2^1246069-1 is not prime. Res64: 841BC2979DEE9CAD Time : 0.0 sec. user=mdettweiler [2013-05-19 16:20:38] 747*2^1246069-1 is not prime. Res64: 2CE326E939F8914C Time : 0.0 sec. user=mdettweiler [2013-05-19 16:39:36] 757*2^1246069-1 is not prime. Res64: 818D9DD23F9D2D50 Time : 0.0 sec. user=mdettweiler [2013-05-19 16:51:46] 987*2^1246069-1 is not prime. Res64: 6E1995E7BC7A5593 Time : 0.0 sec. user=mdettweiler [2013-05-19 16:51:47] 605*2^1246070-1 is not prime. Res64: 59FD4ABABF225EE8 Time : 0.0 sec. user=mdettweiler [2013-05-19 17:09:55] 761*2^1246070-1 is not prime. Res64: D908EC54700AAAFB Time : 0.0 sec. user=mdettweiler [2013-05-19 17:16:35] 985*2^1246069-1 is not prime. Res64: C57DF0EBA872DC08 Time : 0.0 sec. user=mdettweiler [2013-05-19 17:45:19] 833*2^1246070-1 is not prime. Res64: 19E772589922CA96 Time : 0.0 sec. user=mdettweiler [2013-05-19 17:52:15] 915*2^1246070-1 is not prime. Res64: 92BBF88DA33C42D4 Time : 0.0 sec. user=mdettweiler [2013-05-19 17:52:16] 711*2^1246071-1 is not prime. Res64: E57019B9EF701933 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:03:05] 745*2^1246071-1 is not prime. Res64: 4568A4873D3B6708 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:09:49] 859*2^1246071-1 is not prime. Res64: 67933AE9112250B7 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:09:50] 861*2^1246071-1 is not prime. Res64: 1179E04DDDB44B7F Time : 0.0 sec. user=mdettweiler [2013-05-19 18:23:20] 795*2^1246071-1 is not prime. Res64: FB4871A90F48EAF5 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:27:35] 895*2^1246071-1 is not prime. Res64: B7A6E1E013A23C90 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:27:35] 921*2^1246071-1 is not prime. Res64: D9F1F3874D0F9899 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:41:26] 969*2^1246071-1 is not prime. Res64: E464A76F2C271396 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:41:27] 605*2^1246072-1 is not prime. Res64: E5F40E14F4A75F48 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:45:18] 623*2^1246072-1 is not prime. Res64: A7F4999E87E0D1B3 Time : 0.0 sec. user=mdettweiler [2013-05-19 18:45:19] 677*2^1246072-1 is not prime. Res64: F0401BE93733A86E Time : 0.0 sec. user=mdettweiler [2013-05-19 18:59:21] 687*2^1246072-1 is not prime. Res64: B13718B7F48F103B Time : 0.0 sec. user=mdettweiler [2013-05-19 19:03:21] 863*2^1246072-1 is not prime. Res64: 0CEAA32DE0345DFB Time : 0.0 sec. user=mdettweiler [2013-05-19 19:25:56] 869*2^1246072-1 is not prime. Res64: C06F03367BDD9D00 Time : 0.0 sec. user=mdettweiler [2013-05-19 19:37:27] 843*2^1246072-1 is not prime. Res64: 02588F2D10AAE2FD Time : 0.0 sec. user=mdettweiler [2013-05-19 19:44:19] 875*2^1246072-1 is not prime. Res64: BE482D831E5F936C Time : 0.0 sec. user=mdettweiler [2013-05-19 19:44:20] 999*2^1246072-1 is not prime. Res64: 21764448A9ACAD20 Time : 0.0 sec. user=mdettweiler [2013-05-19 20:02:15] 741*2^1246073-1 is not prime. Res64: 91D898560F13228E Time : 0.0 sec. user=mdettweiler [2013-05-19 20:02:16] 945*2^1246073-1 is not prime. Res64: 722271EC77156345 Time : 0.0 sec. user=mdettweiler [2013-05-19 20:18:23] 987*2^1246073-1 is not prime. Res64: 60770CE4BCF67250 Time : 0.0 sec. user=mdettweiler [2013-05-19 20:20:09] 767*2^1246074-1 is not prime. Res64: DBAD9A20584DADE7 Time : 0.0 sec. user=mdettweiler [2013-05-19 20:20:09] 807*2^1246074-1 is not prime. Res64: 7762D3CA59318258 Time : 0.0 sec. user=mdettweiler [2013-05-19 20:38:05] 881*2^1246074-1 is not prime. Res64: 822BF0C18643E5EC Time : 0.0 sec. user=mdettweiler [2013-05-19 20:55:57] 621*2^1246074-1 is not prime. Res64: 11292499C14DAD95 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:13:33] 947*2^1246074-1 is not prime. Res64: 0F13B767F920B941 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:13:34] 649*2^1246075-1 is not prime. Res64: 71F29E7C29576700 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:15:44] 891*2^1246074-1 is not prime. Res64: 0DBAB25ECB59F017 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:31:23] 709*2^1246075-1 is not prime. Res64: 5D3F31FB01CB68B0 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:31:24] 723*2^1246075-1 is not prime. Res64: 880588AF582B1B42 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:49:19] 829*2^1246075-1 is not prime. Res64: 0C4ACDD12ADE9D50 Time : 0.0 sec. user=mdettweiler [2013-05-19 21:49:19] 871*2^1246075-1 is not prime. Res64: 64080304FD95AB0A Time : 0.0 sec. user=mdettweiler [2013-05-19 22:03:07] 951*2^1246075-1 is not prime. Res64: 526D64E62FEAFB2B Time : 0.0 sec. user=mdettweiler [2013-05-19 22:03:08] 961*2^1246075-1 is not prime. Res64: 451C3D0E71DC5E38 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:07:12] 969*2^1246075-1 is not prime. Res64: 5E819CBE49BDBE35 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:07:13] 803*2^1246076-1 is not prime. Res64: AF2C61FB6FB0C54B Time : 0.0 sec. user=mdettweiler [2013-05-19 22:21:01] 825*2^1246076-1 is not prime. Res64: CE3C81836198D89A Time : 0.0 sec. user=mdettweiler [2013-05-19 22:21:01] 899*2^1246076-1 is not prime. Res64: C97981A84336D086 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:25:15] 945*2^1246076-1 is not prime. Res64: 9129807610486325 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:25:16] 957*2^1246076-1 is not prime. Res64: 3DBED58C07B1FFBA Time : 0.0 sec. user=mdettweiler [2013-05-19 22:39:33] 627*2^1246077-1 is not prime. Res64: 12C712548F0B9B3A Time : 0.0 sec. user=mdettweiler [2013-05-19 22:39:33] 781*2^1246077-1 is not prime. Res64: A5E765DAA242A886 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:43:53] 825*2^1246077-1 is not prime. Res64: F9D955DFABCD4887 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:43:53] 837*2^1246077-1 is not prime. Res64: 8DCBDF37E9CA9126 Time : 0.0 sec. user=mdettweiler [2013-05-19 22:57:34] 895*2^1246077-1 is not prime. Res64: 686AE7EDCA414319 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:03:02] 979*2^1246077-1 is not prime. Res64: A5304773C610180B Time : 0.0 sec. user=mdettweiler [2013-05-19 23:03:03] 985*2^1246077-1 is not prime. Res64: 89E38C2835CB25E5 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:16:05] 937*2^1246077-1 is not prime. Res64: 5228661B4FEA0EE7 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:20:47] 765*2^1246078-1 is not prime. Res64: C33FEC839C71F7B0 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:20:47] 801*2^1246078-1 is not prime. Res64: EDBB3ED6420714F5 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:33:45] 831*2^1246078-1 is not prime. Res64: 77C0A9DFA795E573 Time : 0.0 sec. user=mdettweiler [2013-05-19 23:38:40] 745*2^1246079-1 is not prime. Res64: 6F54B095E5284B1F Time : 0.0 sec.