user=mdettweiler [2013-04-29 00:10:18] 913*2^1245431-1 is not prime. Res64: 0ECA76C444CA9FAF Time : 0.0 sec. user=mdettweiler [2013-04-29 00:10:19] 991*2^1245431-1 is not prime. Res64: FA1848C58F238D92 Time : 0.0 sec. user=mdettweiler [2013-04-29 00:16:14] 999*2^1245431-1 is not prime. Res64: 77ED685E843D8662 Time : 0.0 sec. user=mdettweiler [2013-04-29 00:16:15] 609*2^1245432-1 is not prime. Res64: F14210ACA876064D Time : 0.0 sec. user=mdettweiler [2013-04-29 00:28:04] 689*2^1245432-1 is not prime. Res64: 60295033E253FACC Time : 0.0 sec. user=mdettweiler [2013-04-29 00:28:05] 779*2^1245432-1 is not prime. Res64: CE41AEC98B444954 Time : 0.0 sec. user=mdettweiler [2013-04-29 00:34:01] 797*2^1245432-1 is not prime. Res64: 1DCBBA7E170ECABC Time : 0.0 sec. user=mdettweiler [2013-04-29 00:34:01] 825*2^1245432-1 is not prime. Res64: 31F898F22EFC797F Time : 0.0 sec. user=mdettweiler [2013-04-29 00:45:54] 903*2^1245432-1 is not prime. Res64: 04E317D55333890F Time : 0.0 sec. user=mdettweiler [2013-04-29 00:45:54] 933*2^1245432-1 is not prime. Res64: D6001DBE7147EA2F Time : 0.0 sec. user=mdettweiler [2013-04-29 00:51:48] 947*2^1245432-1 is not prime. Res64: 9C1CBB1AA112FBAE Time : 0.0 sec. user=mdettweiler [2013-04-29 00:51:49] 615*2^1245433-1 is not prime. Res64: 707AAB3B24EADD0D Time : 0.0 sec. user=mdettweiler [2013-04-29 01:03:38] 751*2^1245433-1 is not prime. Res64: B7B4BC39D5BBA34A Time : 0.0 sec. user=mdettweiler [2013-04-29 01:03:39] 771*2^1245433-1 is not prime. Res64: 6881AB45685C0F22 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:09:34] 817*2^1245433-1 is not prime. Res64: 6045C14238D07DFD Time : 0.0 sec. user=mdettweiler [2013-04-29 01:09:35] 877*2^1245433-1 is not prime. Res64: F18D277C4706C88E Time : 0.0 sec. user=mdettweiler [2013-04-29 01:21:28] 939*2^1245433-1 is not prime. Res64: 3507950F45538659 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:21:28] 987*2^1245433-1 is not prime. Res64: 1D49F143A71F9E84 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:27:32] 633*2^1245434-1 is not prime. Res64: 3342B7E0A357CBD2 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:27:33] 675*2^1245434-1 is not prime. Res64: F4076FFCBB899774 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:39:03] 753*2^1245434-1 is not prime. Res64: 94C14BF27FCC4306 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:39:03] 813*2^1245434-1 is not prime. Res64: F484BD2B537957B9 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:44:59] 837*2^1245434-1 is not prime. Res64: 462CEDBB55AE86DE Time : 0.0 sec. user=mdettweiler [2013-04-29 01:44:59] 887*2^1245434-1 is not prime. Res64: 4956569ADC96758F Time : 0.0 sec. user=mdettweiler [2013-04-29 01:56:29] 619*2^1245435-1 is not prime. Res64: 8A461750A848AA53 Time : 0.0 sec. user=mdettweiler [2013-04-29 01:56:29] 651*2^1245435-1 is not prime. Res64: 724FA1485C9B7D64 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:02:27] 723*2^1245435-1 is not prime. Res64: 3000AECD7B8D0D19 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:02:28] 775*2^1245435-1 is not prime. Res64: 50C73EDF55353756 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:13:54] 783*2^1245435-1 is not prime. Res64: 6FBDBB2CBBA2C474 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:13:54] 903*2^1245435-1 is not prime. Res64: CF724E2881688729 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:20:18] 963*2^1245435-1 is not prime. Res64: 1A726B97A41586C1 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:20:19] 985*2^1245435-1 is not prime. Res64: 96BB75C780998EEA Time : 0.0 sec. user=mdettweiler [2013-04-29 02:31:21] 803*2^1245436-1 is not prime. Res64: 10FF75D5EE1B9B31 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:31:22] 843*2^1245436-1 is not prime. Res64: FD31D880B58E6FB4 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:38:39] 993*2^1245436-1 is not prime. Res64: 9D3328430C2943CA Time : 0.0 sec. user=mdettweiler [2013-04-29 02:38:40] 619*2^1245437-1 is not prime. Res64: 2B93C3C6FDD95F8B Time : 0.0 sec. user=mdettweiler [2013-04-29 02:49:07] 669*2^1245437-1 is not prime. Res64: DE3E3AE7ACE004DA Time : 0.0 sec. user=mdettweiler [2013-04-29 02:49:08] 697*2^1245437-1 is not prime. Res64: EB70DC5F2638930E Time : 0.0 sec. user=mdettweiler [2013-04-29 02:56:08] 747*2^1245437-1 is not prime. Res64: E09F18E660C63E72 Time : 0.0 sec. user=mdettweiler [2013-04-29 02:56:09] 831*2^1245437-1 is not prime. Res64: D70BB37B10673ECD Time : 0.0 sec. user=mdettweiler [2013-04-29 03:06:43] 955*2^1245437-1 is not prime. Res64: 458BB8BAEE74AA4E Time : 0.0 sec. user=mdettweiler [2013-04-29 03:06:44] 985*2^1245437-1 is not prime. Res64: E9FB751EF506418E Time : 0.0 sec. user=mdettweiler [2013-04-29 03:13:34] 921*2^1245438-1 is not prime. Res64: 118DB71396806CBD Time : 0.0 sec. user=mdettweiler [2013-04-29 03:13:35] 957*2^1245438-1 is not prime. Res64: ECCC99EA36396A4F Time : 0.0 sec. user=mdettweiler [2013-04-29 03:24:14] 765*2^1245439-1 is not prime. Res64: E3B4D920EB5778AC Time : 0.0 sec. user=mdettweiler [2013-04-29 03:24:14] 769*2^1245439-1 is not prime. Res64: FEFC0E07AAEDA1CD Time : 0.0 sec. user=mdettweiler [2013-04-29 03:31:01] 771*2^1245439-1 is not prime. Res64: 170E4C182B073A9B Time : 0.0 sec. user=mdettweiler [2013-04-29 03:31:02] 939*2^1245439-1 is not prime. Res64: 57E0877A29543239 Time : 0.0 sec. user=mdettweiler [2013-04-29 03:41:42] 973*2^1245439-1 is not prime. Res64: B3E3B00EEDFA2BBB Time : 0.0 sec. user=mdettweiler [2013-04-29 03:41:43] 615*2^1245440-1 is not prime. Res64: 718F5AAA6238EABA Time : 0.0 sec. user=mdettweiler [2013-04-29 03:48:29] 669*2^1245440-1 is not prime. Res64: 9F9D46FDF99A64A9 Time : 0.0 sec. user=mdettweiler [2013-04-29 03:48:29] 677*2^1245440-1 is not prime. Res64: 50C6FA15ECCA4EC0 Time : 0.0 sec. user=mdettweiler [2013-04-29 03:59:12] 767*2^1245440-1 is not prime. Res64: 74DF25BCD6468DF6 Time : 0.0 sec. user=mdettweiler [2013-04-29 03:59:12] 797*2^1245440-1 is not prime. Res64: 6BD871CFAB6CFCB9 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:05:55] 875*2^1245440-1 is not prime. Res64: 0DD6BA4F26665139 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:05:56] 923*2^1245440-1 is not prime. Res64: 724D23997779FC9B Time : 0.0 sec. user=mdettweiler [2013-04-29 04:16:37] 935*2^1245440-1 is not prime. Res64: C497C4FA6929FED7 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:16:38] 963*2^1245440-1 is not prime. Res64: F39E7737BC0B0881 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:23:24] 789*2^1245441-1 is not prime. Res64: CF4E8C82FE58D7B3 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:23:24] 849*2^1245441-1 is not prime. Res64: DC4FDFE37DFF4131 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:34:07] 885*2^1245442-1 is not prime. Res64: 0C94E68DBFC90273 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:34:09] 917*2^1245442-1 is not prime. Res64: 694072B5A5D877D3 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:40:49] 663*2^1245443-1 is not prime. Res64: 4DCABCE91751A122 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:40:49] 693*2^1245443-1 is not prime. Res64: 8F2CEFB4F0D578B6 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:51:57] 813*2^1245443-1 is not prime. Res64: 96C47AD422B645F4 Time : 0.0 sec. user=mdettweiler [2013-04-29 04:51:58] 949*2^1245443-1 is not prime. Res64: 4B6D04884EFF838B Time : 0.0 sec. user=mdettweiler [2013-04-29 04:59:04] 993*2^1245443-1 is not prime. Res64: 4B0B8F45C2B2616E Time : 0.0 sec. user=mdettweiler [2013-04-29 04:59:05] 605*2^1245444-1 is not prime. Res64: 78F2692C4B19D79F Time : 0.0 sec. user=mdettweiler [2013-04-29 05:09:26] 639*2^1245444-1 is not prime. Res64: 443BC2BCF71419E3 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:09:27] 683*2^1245444-1 is not prime. Res64: 7C954D0C685364A4 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:16:29] 705*2^1245444-1 is not prime. Res64: C420C0EA1D1364AF Time : 0.0 sec. user=mdettweiler [2013-04-29 05:16:30] 837*2^1245444-1 is not prime. Res64: 5EE177D7A96F3A9F Time : 0.0 sec. user=mdettweiler [2013-04-29 05:26:59] 667*2^1245445-1 is not prime. Res64: 0605D351B8794777 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:27:00] 715*2^1245445-1 is not prime. Res64: 6CF2C0ECE0159DCA Time : 0.0 sec. user=mdettweiler [2013-04-29 05:33:55] 717*2^1245445-1 is not prime. Res64: F74888CA368FB240 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:33:56] 811*2^1245445-1 is not prime. Res64: D65C5799D9CACB1C Time : 0.0 sec. user=mdettweiler [2013-04-29 05:44:39] 859*2^1245445-1 is not prime. Res64: 2409387FB92F6CC3 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:44:40] 897*2^1245445-1 is not prime. Res64: FE5C85E418AEEE48 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:51:21] 915*2^1245445-1 is not prime. Res64: 3FAC5E5F4B719211 Time : 0.0 sec. user=mdettweiler [2013-04-29 05:51:22] 961*2^1245445-1 is not prime. Res64: 4826502585137986 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:02:05] 641*2^1245446-1 is not prime. Res64: 801E9417216CCA34 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:02:07] 645*2^1245446-1 is not prime. Res64: A644718ED61BDE0C Time : 0.0 sec. user=mdettweiler [2013-04-29 06:08:47] 813*2^1245446-1 is not prime. Res64: 587DD995FF091ACD Time : 0.0 sec. user=mdettweiler [2013-04-29 06:08:48] 831*2^1245446-1 is not prime. Res64: E88CA99FE746817A Time : 0.0 sec. user=mdettweiler [2013-04-29 06:19:38] 867*2^1245446-1 is not prime. Res64: 508107129CFB295A Time : 0.0 sec. user=mdettweiler [2013-04-29 06:19:39] 873*2^1245446-1 is not prime. Res64: 4EA9FB8D4FAA2445 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:26:14] 921*2^1245446-1 is not prime. Res64: 83DE9FA85BD0F422 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:26:14] 935*2^1245446-1 is not prime. Res64: 78B23ED8F186D2AE Time : 0.0 sec. user=mdettweiler [2013-04-29 06:37:04] 941*2^1245446-1 is not prime. Res64: 27B2E7094128360E Time : 0.0 sec. user=mdettweiler [2013-04-29 06:37:05] 643*2^1245447-1 is not prime. Res64: 1762EFB57483B51A Time : 0.0 sec. user=mdettweiler [2013-04-29 06:43:40] 651*2^1245447-1 is not prime. Res64: 2C807E37AB185025 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:43:40] 843*2^1245447-1 is not prime. Res64: A1FD8F11985B20B2 Time : 0.0 sec. user=mdettweiler [2013-04-29 06:54:31] 861*2^1245447-1 is not prime. Res64: D35245485F84E31C Time : 0.0 sec. user=mdettweiler [2013-04-29 06:54:31] 931*2^1245447-1 is not prime. Res64: EBC98C9BCBD09327 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:01:56] 991*2^1245447-1 is not prime. Res64: 1335A4EF8783C86A Time : 0.0 sec. user=mdettweiler [2013-04-29 07:01:57] 657*2^1245448-1 is not prime. Res64: 07782547D8E3C91F Time : 0.0 sec. user=mdettweiler [2013-04-29 07:11:56] 665*2^1245448-1 is not prime. Res64: 687363A3D6035FBD Time : 0.0 sec. user=mdettweiler [2013-04-29 07:11:57] 773*2^1245448-1 is not prime. Res64: 76307D5C1F79FD60 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:19:32] 915*2^1245448-1 is not prime. Res64: A7B5B2EF0D33F19D Time : 0.0 sec. user=mdettweiler [2013-04-29 07:19:33] 933*2^1245448-1 is not prime. Res64: 98B576769686513E Time : 0.0 sec. user=mdettweiler [2013-04-29 07:31:06] 993*2^1245448-1 is not prime. Res64: 17617F250285978D Time : 0.0 sec. user=mdettweiler [2013-04-29 07:31:07] 995*2^1245448-1 is not prime. Res64: A9B8E23C0FD81EFD Time : 0.0 sec. user=mdettweiler [2013-04-29 07:37:04] 601*2^1245449-1 is not prime. Res64: 1CC056BA16E3D599 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:37:05] 675*2^1245449-1 is not prime. Res64: B817DB20BA59AE29 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:48:34] 769*2^1245449-1 is not prime. Res64: B2B92A9F84B35560 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:48:34] 885*2^1245449-1 is not prime. Res64: 8AE0135F36B415FB Time : 0.0 sec. user=mdettweiler [2013-04-29 07:55:19] 987*2^1245449-1 is not prime. Res64: 691D2EFC4D0087F3 Time : 0.0 sec. user=mdettweiler [2013-04-29 07:55:19] 991*2^1245449-1 is not prime. Res64: FD520D3208EA8025 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:06:00] 627*2^1245450-1 is not prime. Res64: 88167CA2F5F5F744 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:06:01] 633*2^1245450-1 is not prime. Res64: F1DC392CA375C5B1 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:12:45] 695*2^1245450-1 is not prime. Res64: 4407EE51F7BB4AD7 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:12:46] 713*2^1245450-1 is not prime. Res64: B48B2D05BEABAFF2 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:23:32] 777*2^1245450-1 is not prime. Res64: 08652ED0EC350539 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:23:33] 801*2^1245450-1 is not prime. Res64: E6E090DC8529B976 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:30:12] 875*2^1245450-1 is not prime. Res64: 91F894BAE76B2AF9 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:30:12] 887*2^1245450-1 is not prime. Res64: 5060B9235004E235 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:40:59] 615*2^1245451-1 is not prime. Res64: 46198577BAEC09B0 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:40:59] 675*2^1245451-1 is not prime. Res64: F071D86E55748AAB Time : 0.0 sec. user=mdettweiler [2013-04-29 08:47:38] 789*2^1245451-1 is not prime. Res64: 204BEAB5B3F783D4 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:47:38] 819*2^1245451-1 is not prime. Res64: 2F119C4C3AED357A Time : 0.0 sec. user=mdettweiler [2013-04-29 08:58:25] 873*2^1245451-1 is not prime. Res64: 4F951AB8387F8303 Time : 0.0 sec. user=mdettweiler [2013-04-29 08:58:26] 931*2^1245451-1 is not prime. Res64: DDE26C10A556A04E Time : 0.0 sec. user=mdettweiler [2013-04-29 09:05:04] 961*2^1245451-1 is not prime. Res64: A10B737FD1AB8C6E Time : 0.0 sec. user=mdettweiler [2013-04-29 09:05:04] 615*2^1245452-1 is not prime. Res64: 891DB9FD9AC7C71E Time : 0.0 sec. user=mdettweiler [2013-04-29 09:15:52] 617*2^1245452-1 is not prime. Res64: CD5772C5DA9F780C Time : 0.0 sec. user=mdettweiler [2013-04-29 09:15:52] 749*2^1245452-1 is not prime. Res64: 0AAD8F72BEBC2A7D Time : 0.0 sec. user=mdettweiler [2013-04-29 09:22:31] 755*2^1245452-1 is not prime. Res64: FEC4F3A889C9066A Time : 0.0 sec. user=mdettweiler [2013-04-29 09:22:31] 977*2^1245452-1 is not prime. Res64: 5E38625191A9ADDB Time : 0.0 sec. user=mdettweiler [2013-04-29 09:33:22] 625*2^1245453-1 is not prime. Res64: B9CC1D97A8985C8F Time : 0.0 sec. user=mdettweiler [2013-04-29 09:33:22] 837*2^1245453-1 is not prime. Res64: 77B462C9C49CB3C9 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:39:57] 945*2^1245453-1 is not prime. Res64: A9C52840675E24A8 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:39:58] 645*2^1245454-1 is not prime. Res64: B7118D0A918209EB Time : 0.0 sec. user=juhehe [2013-04-29 09:46:54] 917*2^1245434-1 is not prime. Res64: 17DAFAE305B25586 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:50:50] 651*2^1245454-1 is not prime. Res64: A76B03EAB0197328 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:50:50] 737*2^1245454-1 is not prime. Res64: E46418981B3D2067 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:57:24] 915*2^1245454-1 is not prime. Res64: ED7BC89C1247BDE2 Time : 0.0 sec. user=mdettweiler [2013-04-29 09:57:24] 643*2^1245455-1 is not prime. Res64: 725F2C3AC224D239 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:08:17] 721*2^1245455-1 is not prime. Res64: 94B9243233612705 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:08:18] 831*2^1245455-1 is not prime. Res64: 303552E56DD4EADA Time : 0.0 sec. user=mdettweiler [2013-04-29 10:14:50] 841*2^1245455-1 is not prime. Res64: 10FDBCC6FB4561A6 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:14:51] 859*2^1245455-1 is not prime. Res64: 7A78BE47DADBD1A2 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:25:50] 915*2^1245455-1 is not prime. Res64: CDAAF0C39341D0EF Time : 0.0 sec. user=mdettweiler [2013-04-29 10:25:51] 969*2^1245455-1 is not prime. Res64: 609095BEE5B68496 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:32:16] 765*2^1245456-1 is not prime. Res64: 4B3D371D416DDDDD Time : 0.0 sec. user=mdettweiler [2013-04-29 10:32:17] 917*2^1245456-1 is not prime. Res64: 5A592C59EA49B3B9 Time : 0.0 sec. user=mdettweiler [2013-04-29 10:43:19] 983*2^1245456-1 is not prime. Res64: 177417379C75892F Time : 0.0 sec. user=mdettweiler [2013-04-29 10:43:19] 615*2^1245457-1 is not prime. Res64: 4B89698DA98BBA2C Time : 0.0 sec. user=mdettweiler [2013-04-29 10:49:43] 645*2^1245457-1 is not prime. Res64: 279B2EF6F2EEBBAE Time : 0.0 sec. user=mdettweiler [2013-04-29 10:49:43] 835*2^1245457-1 is not prime. Res64: 04CC51F1A7260DA4 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:00:46] 867*2^1245457-1 is not prime. Res64: FBAD3E4A4766A528 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:00:47] 875*2^1245458-1 is not prime. Res64: B06BF407F5D4F258 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:08:06] 885*2^1245458-1 is not prime. Res64: C332798FF349A9EC Time : 0.0 sec. user=mdettweiler [2013-04-29 11:08:07] 1001*2^1245458-1 is not prime. Res64: 7FA567E5753C5C88 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:18:28] 705*2^1245459-1 is not prime. Res64: B29E1197A4E6CD85 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:18:29] 711*2^1245459-1 is not prime. Res64: 7E838CA8180A99E0 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:25:52] 825*2^1245459-1 is not prime. Res64: 5927CF907F28F923 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:25:52] 835*2^1245459-1 is not prime. Res64: 3EFE2C614397B971 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:36:07] 895*2^1245459-1 is not prime. Res64: EFA025D070F5032A Time : 0.0 sec. user=mdettweiler [2013-04-29 11:36:07] 961*2^1245459-1 is not prime. Res64: FCA4DC35CD8A01AD Time : 0.0 sec. user=mdettweiler [2013-04-29 11:44:29] 991*2^1245459-1 is not prime. Res64: 1893F46F83C4635E Time : 0.0 sec. user=mdettweiler [2013-04-29 11:44:29] 635*2^1245460-1 is not prime. Res64: 6367249FB3A0F795 Time : 0.0 sec. user=mdettweiler [2013-04-29 11:53:46] 647*2^1245460-1 is not prime. Res64: 294E6A2C276AC06E Time : 0.0 sec. user=mdettweiler [2013-04-29 11:53:46] 687*2^1245460-1 is not prime. Res64: 17DCF008A7C48D19 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:02:09] 783*2^1245460-1 is not prime. Res64: 835720DDC42316D0 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:02:10] 819*2^1245460-1 is not prime. Res64: EDC55852F19B3626 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:11:26] 827*2^1245460-1 is not prime. Res64: 92CBD0B29BD25409 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:11:27] 857*2^1245460-1 is not prime. Res64: 0632D1F3254E4980 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:20:14] 953*2^1245460-1 is not prime. Res64: F072DC6C579387E6 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:20:15] 657*2^1245461-1 is not prime. Res64: BA00905D4C88CC34 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:29:06] 747*2^1245461-1 is not prime. Res64: D1B6C24C52AF2619 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:29:06] 865*2^1245461-1 is not prime. Res64: 8EA056D83BBB9F1D Time : 0.0 sec. user=mdettweiler [2013-04-29 12:37:57] 871*2^1245461-1 is not prime. Res64: 826F7FFB49A52BC8 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:37:57] 879*2^1245461-1 is not prime. Res64: AF56A671C6EAEE17 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:46:45] 957*2^1245461-1 is not prime. Res64: 401D7A545E5589B7 Time : 0.0 sec. user=mdettweiler [2013-04-29 12:46:45] 981*2^1245461-1 is not prime. Res64: BC75BFD9AC5D5E2D Time : 0.0 sec. user=mdettweiler [2013-04-29 12:55:37] 621*2^1245462-1 is not prime. Res64: 16AACEFFAA1B78CE Time : 0.0 sec. user=mdettweiler [2013-04-29 12:55:37] 681*2^1245462-1 is not prime. Res64: B6477CB85F1E99FA Time : 0.0 sec. user=mdettweiler [2013-04-29 13:04:23] 891*2^1245462-1 is not prime. Res64: 4E92304A6233042D Time : 0.0 sec. user=mdettweiler [2013-04-29 13:04:23] 951*2^1245462-1 is not prime. Res64: 60B8F360206C2485 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:13:16] 603*2^1245463-1 is not prime. Res64: AD21905A3F1F3688 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:13:16] 663*2^1245463-1 is not prime. Res64: 22C228609170A085 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:22:03] 709*2^1245463-1 is not prime. Res64: 39070F5B3FF05735 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:22:03] 765*2^1245463-1 is not prime. Res64: 6371DB1A69487B1B Time : 0.0 sec. user=mdettweiler [2013-04-29 13:31:01] 793*2^1245463-1 is not prime. Res64: 49514183BED4A275 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:31:01] 829*2^1245463-1 is not prime. Res64: E43A3BFBF21A7F4B Time : 0.0 sec. user=mdettweiler [2013-04-29 13:39:47] 717*2^1245464-1 is not prime. Res64: 03048B188BC99B1D Time : 0.0 sec. user=mdettweiler [2013-04-29 13:39:47] 755*2^1245464-1 is not prime. Res64: B56F33A742553C4F Time : 0.0 sec. user=mdettweiler [2013-04-29 13:48:50] 759*2^1245464-1 is not prime. Res64: E18769553E8378EB Time : 0.0 sec. user=mdettweiler [2013-04-29 13:48:50] 819*2^1245464-1 is not prime. Res64: BD6D31347B3EB526 Time : 0.0 sec. user=mdettweiler [2013-04-29 13:57:30] 825*2^1245464-1 is not prime. Res64: FA06C9CA1D7A6E1D Time : 0.0 sec. user=mdettweiler [2013-04-29 13:57:30] 945*2^1245464-1 is not prime. Res64: 105860F1E13A22CD Time : 0.0 sec. user=mdettweiler [2013-04-29 14:07:18] 957*2^1245464-1 is not prime. Res64: 6A0BE9120BABAE54 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:07:19] 993*2^1245464-1 is not prime. Res64: EACC1AF924E8B873 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:15:11] 627*2^1245465-1 is not prime. Res64: 563EC0BF5F4B4BA7 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:15:11] 741*2^1245465-1 is not prime. Res64: 217A9D56D6346CD2 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:25:10] 885*2^1245465-1 is not prime. Res64: 11CA48D6C283DA9D Time : 0.0 sec. user=mdettweiler [2013-04-29 14:25:10] 985*2^1245465-1 is not prime. Res64: 180B356A56BED541 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:33:12] 611*2^1245466-1 is not prime. Res64: 713500C7BAA44AA4 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:33:12] 633*2^1245466-1 is not prime. Res64: 9FB74FF578D927D6 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:43:33] 647*2^1245466-1 is not prime. Res64: 5DC008480E3F7FD5 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:43:34] 737*2^1245466-1 is not prime. Res64: 684EF90EF0576944 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:51:08] 747*2^1245466-1 is not prime. Res64: 6181FBD74BEC1024 Time : 0.0 sec. user=mdettweiler [2013-04-29 14:51:09] 633*2^1245467-1 is not prime. Res64: AC6BE219C4554B8C Time : 0.0 sec. user=mdettweiler [2013-04-29 15:01:15] 645*2^1245467-1 is not prime. Res64: 4F15CAE278F3D49C Time : 0.0 sec. user=mdettweiler [2013-04-29 15:01:17] 673*2^1245467-1 is not prime. Res64: 1CE8715B064D5252 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:08:50] 813*2^1245467-1 is not prime. Res64: 41156811C3DCECCB Time : 0.0 sec. user=mdettweiler [2013-04-29 15:08:51] 861*2^1245467-1 is not prime. Res64: A3C2BA2746A6B574 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:19:00] 939*2^1245467-1 is not prime. Res64: 90CF73FA3DE0F145 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:19:01] 949*2^1245467-1 is not prime. Res64: 6F9BC221D2101A02 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:26:35] 633*2^1245468-1 is not prime. Res64: 22E4CC731C549BAB Time : 0.0 sec. user=mdettweiler [2013-04-29 15:26:36] 647*2^1245468-1 is not prime. Res64: D296CDA4234833F1 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:36:50] 735*2^1245468-1 is not prime. Res64: DCF9EF80AEAFD683 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:36:50] 773*2^1245468-1 is not prime. Res64: 1696CADFC05F7E26 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:45:16] 893*2^1245468-1 is not prime. Res64: DB694DB6669A6FF7 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:45:16] 993*2^1245468-1 is not prime. Res64: 74FD8A1E72C08F4B Time : 0.0 sec. user=mdettweiler [2013-04-29 15:54:39] 681*2^1245469-1 is not prime. Res64: 0A82702F4A8812C0 Time : 0.0 sec. user=mdettweiler [2013-04-29 15:54:40] 771*2^1245469-1 is not prime. Res64: CC44A54CE10FC649 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:03:10] 897*2^1245469-1 is not prime. Res64: 7C9A68EF5C0D78D4 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:03:11] 939*2^1245469-1 is not prime. Res64: C56E0E1645B6C0E8 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:13:19] 999*2^1245469-1 is not prime. Res64: 972B0FB4976124F8 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:13:20] 665*2^1245470-1 is not prime. Res64: 3E00080DF7C89A9C Time : 0.0 sec. user=mdettweiler [2013-04-29 16:19:41] 609*2^1245469-1 is not prime. Res64: EB8105DA3621F731 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:21:25] 675*2^1245470-1 is not prime. Res64: 1CD212F276609523 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:21:26] 677*2^1245470-1 is not prime. Res64: 0B205F4811B1DBA7 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:31:08] 767*2^1245470-1 is not prime. Res64: 873693ADABF5A7DC Time : 0.0 sec. user=mdettweiler [2013-04-29 16:31:09] 797*2^1245470-1 is not prime. Res64: 54751EDEEA7B1AFE Time : 0.0 sec. user=mdettweiler [2013-04-29 16:39:15] 935*2^1245470-1 is not prime. Res64: 700C6E6BB5DF4D56 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:39:15] 723*2^1245471-1 is not prime. Res64: DD3C068379D6BA05 Time : 0.0 sec. user=mdettweiler [2013-04-29 16:48:58] 751*2^1245471-1 is not prime. Res64: DEA2446E6282755E Time : 0.0 sec. user=mdettweiler [2013-04-29 16:48:58] 783*2^1245471-1 is not prime. Res64: C8A2E92DF46244EB Time : 0.0 sec. user=mdettweiler [2013-04-29 16:57:08] 931*2^1245471-1 is not prime. Res64: 3F99803145B6ECDF Time : 0.0 sec. user=mdettweiler [2013-04-29 16:57:09] 949*2^1245471-1 is not prime. Res64: 841094BD27EB9FF0 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:07:43] 961*2^1245471-1 is not prime. Res64: 1CA64671957B3E7B Time : 0.0 sec. user=mdettweiler [2013-04-29 17:07:44] 999*2^1245471-1 is not prime. Res64: 8FB2042057DE9393 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:15:01] 615*2^1245472-1 is not prime. Res64: BB3AFABF86226F81 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:15:02] 695*2^1245472-1 is not prime. Res64: 9E978A7610D47AC0 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:25:36] 705*2^1245472-1 is not prime. Res64: 9ECBE80571E9C110 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:25:36] 717*2^1245472-1 is not prime. Res64: 26D45D60D57545DB Time : 0.0 sec. user=mdettweiler [2013-04-29 17:32:55] 843*2^1245472-1 is not prime. Res64: EEB08957060D1CFC Time : 0.0 sec. user=mdettweiler [2013-04-29 17:32:55] 939*2^1245472-1 is not prime. Res64: 7590485AF82EFBE0 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:43:25] 959*2^1245472-1 is not prime. Res64: A1B0F9DC66628D3A Time : 0.0 sec. user=mdettweiler [2013-04-29 17:43:25] 983*2^1245472-1 is not prime. Res64: 2F06E6C7E2F11A38 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:50:46] 615*2^1245473-1 is not prime. Res64: CAD5FC682C772389 Time : 0.0 sec. user=mdettweiler [2013-04-29 17:50:46] 631*2^1245473-1 is not prime. Res64: 06FECA054E7EFC1B Time : 0.0 sec. user=mdettweiler [2013-04-29 18:01:18] 637*2^1245473-1 is not prime. Res64: 0090708667DB5675 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:01:19] 685*2^1245473-1 is not prime. Res64: CE632CED24F27C16 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:08:39] 925*2^1245473-1 is not prime. Res64: D7970D86C3D99499 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:08:40] 987*2^1245473-1 is not prime. Res64: F096F4CC19CBF436 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:19:30] 695*2^1245474-1 is not prime. Res64: 9E9BA87C122072F5 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:19:30] 717*2^1245474-1 is not prime. Res64: 81F151A0628DA04F Time : 0.0 sec. user=mdettweiler [2013-04-29 18:26:37] 851*2^1245474-1 is not prime. Res64: 0FD82550031E4FD7 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:26:38] 861*2^1245474-1 is not prime. Res64: 2429CA68F398BEAF Time : 0.0 sec. user=mdettweiler [2013-04-29 18:37:21] 881*2^1245474-1 is not prime. Res64: ACE35024CEC15821 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:37:21] 915*2^1245474-1 is not prime. Res64: 06E7779F579FC283 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:44:28] 927*2^1245474-1 is not prime. Res64: 3460A9B335A2BDBD Time : 0.0 sec. user=mdettweiler [2013-04-29 18:44:28] 975*2^1245474-1 is not prime. Res64: AC621820567C7563 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:55:07] 983*2^1245474-1 is not prime. Res64: 660FEFFF986712D8 Time : 0.0 sec. user=mdettweiler [2013-04-29 18:55:07] 633*2^1245475-1 is not prime. Res64: BAA26CEA3111F697 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:02:12] 649*2^1245475-1 is not prime. Res64: 16A9885BE4C580C1 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:02:13] 715*2^1245475-1 is not prime. Res64: A161FB1C035BD645 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:12:47] 733*2^1245475-1 is not prime. Res64: 4C17EA92D3A973BF Time : 0.0 sec. user=mdettweiler [2013-04-29 19:12:48] 793*2^1245475-1 is not prime. Res64: 2624BF758746DF7E Time : 0.0 sec. user=mdettweiler [2013-04-29 19:20:18] 855*2^1245475-1 is not prime. Res64: 101A2DFE11E2A159 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:20:19] 861*2^1245475-1 is not prime. Res64: 0CE6CE450E7AAC39 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:31:23] 951*2^1245475-1 is not prime. Res64: 6345922AE3E76843 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:31:23] 961*2^1245475-1 is not prime. Res64: 2C7EC67954DD6CBA Time : 0.0 sec. user=mdettweiler [2013-04-29 19:39:10] 973*2^1245475-1 is not prime. Res64: 6582C916F8B02AC1 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:39:11] 629*2^1245476-1 is not prime. Res64: E84C110770819161 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:49:38] 707*2^1245476-1 is not prime. Res64: 027DF1931FB22637 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:49:38] 743*2^1245476-1 is not prime. Res64: 1B8C0D1595F62156 Time : 0.0 sec. user=mdettweiler [2013-04-29 19:57:43] 789*2^1245476-1 is not prime. Res64: 255A2DD838759A8A Time : 0.0 sec. user=mdettweiler [2013-04-29 19:57:43] 843*2^1245476-1 is not prime. Res64: 897FFA1E6F6FD737 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:08:09] 923*2^1245476-1 is not prime. Res64: 9F6573AD5767CFF2 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:08:10] 625*2^1245477-1 is not prime. Res64: 23A56CF4435F4AFD Time : 0.0 sec. user=mdettweiler [2013-04-29 20:16:18] 669*2^1245477-1 is not prime. Res64: AB73DA82918ED396 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:16:19] 675*2^1245477-1 is not prime. Res64: CA10FC7F1E359A82 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:26:33] 871*2^1245477-1 is not prime. Res64: CEC03E1A5E7DE216 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:26:33] 889*2^1245477-1 is not prime. Res64: D5A06ABF4AF80136 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:34:24] 919*2^1245477-1 is not prime. Res64: 3E39F896DDFD4E75 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:34:24] 961*2^1245477-1 is not prime. Res64: 9716836CE2CB3906 Time : 0.0 sec. user=mdettweiler [2013-04-29 20:44:19] 801*2^1245478-1 is not prime. Res64: 696C8B824FD1146A Time : 0.0 sec. user=mdettweiler [2013-04-29 20:44:19] 815*2^1245478-1 is not prime. Res64: 73AEFB09BF92468D Time : 0.0 sec. user=mdettweiler [2013-04-29 20:52:09] 891*2^1245478-1 is not prime. Res64: B906B696E3B1360F Time : 0.0 sec. user=mdettweiler [2013-04-29 20:52:09] 911*2^1245478-1 is not prime. Res64: 576BFD3679C1B1FC Time : 0.0 sec. user=mdettweiler [2013-04-29 21:02:04] 951*2^1245478-1 is not prime. Res64: 01AEB9C0738DBDFB Time : 0.0 sec. user=mdettweiler [2013-04-29 21:02:05] 957*2^1245478-1 is not prime. Res64: B04DAA1AECEB40F8 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:09:54] 669*2^1245479-1 is not prime. Res64: 8AEDE609D14548EF Time : 0.0 sec. user=mdettweiler [2013-04-29 21:09:55] 685*2^1245479-1 is not prime. Res64: 19EF2F7407032E62 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:19:53] 735*2^1245479-1 is not prime. Res64: 7C3EE1E8DC5DA5BB Time : 0.0 sec. user=mdettweiler [2013-04-29 21:19:53] 753*2^1245479-1 is not prime. Res64: 581F2819EFBCC3C1 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:27:42] 653*2^1245480-1 is not prime. Res64: 429AEB75C3FD616D Time : 0.0 sec. user=mdettweiler [2013-04-29 21:27:42] 689*2^1245480-1 is not prime. Res64: E0039EADA41709A5 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:37:39] 707*2^1245480-1 is not prime. Res64: C4D516377792DF6D Time : 0.0 sec. user=mdettweiler [2013-04-29 21:37:39] 917*2^1245480-1 is not prime. Res64: 4C4BDB98F54A3EAC Time : 0.0 sec. user=mdettweiler [2013-04-29 21:45:28] 615*2^1245481-1 is not prime. Res64: 6652425257CCED26 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:45:29] 835*2^1245481-1 is not prime. Res64: C640299D2E13D98C Time : 0.0 sec. user=mdettweiler [2013-04-29 21:55:25] 847*2^1245481-1 is not prime. Res64: 8034F83A489908A8 Time : 0.0 sec. user=mdettweiler [2013-04-29 21:55:25] 861*2^1245481-1 is not prime. Res64: 838870E23C23C0E2 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:03:14] 909*2^1245481-1 is not prime. Res64: F16D58D5AE68A424 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:03:15] 671*2^1245482-1 is not prime. Res64: B24F8868C0D7B079 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:13:14] 705*2^1245482-1 is not prime. Res64: ED7485B5DA82CE7D Time : 0.0 sec. user=mdettweiler [2013-04-29 22:13:14] 767*2^1245482-1 is not prime. Res64: AFB54394E7CA1682 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:21:02] 873*2^1245482-1 is not prime. Res64: 688DED51EC9A3622 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:21:02] 885*2^1245482-1 is not prime. Res64: 55FA5E1F9CFC07DE Time : 0.0 sec. user=mdettweiler [2013-04-29 22:30:59] 917*2^1245482-1 is not prime. Res64: CC41FD7DC82ECA0C Time : 0.0 sec. user=mdettweiler [2013-04-29 22:31:00] 941*2^1245482-1 is not prime. Res64: A4121F11B962E4D8 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:39:37] 983*2^1245482-1 is not prime. Res64: AA87C686AC32063A Time : 0.0 sec. user=mdettweiler [2013-04-29 22:39:38] 1001*2^1245482-1 is not prime. Res64: 97EB1777E9678E11 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:48:45] 663*2^1245483-1 is not prime. Res64: E4B4C5F57DD5DB86 Time : 0.0 sec. user=mdettweiler [2013-04-29 22:48:45] 703*2^1245483-1 is not prime. Res64: 830BACB8E996738E Time : 0.0 sec. user=mdettweiler [2013-04-29 22:57:23] 709*2^1245483-1 is not prime. Res64: 3BED7A9CDA3205CA Time : 0.0 sec. user=mdettweiler [2013-04-29 22:57:24] 775*2^1245483-1 is not prime. Res64: 5261D32BB5E8D1A5 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:06:31] 781*2^1245483-1 is not prime. Res64: 6545CEF68EF1A3CC Time : 0.0 sec. user=mdettweiler [2013-04-29 23:06:32] 795*2^1245483-1 is not prime. Res64: 5749521F258DDCB3 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:15:26] 825*2^1245483-1 is not prime. Res64: 059486586C789953 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:15:27] 973*2^1245483-1 is not prime. Res64: 05E62DDA8F75FA28 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:24:33] 743*2^1245484-1 is not prime. Res64: 76068BD0C1A2173B Time : 0.0 sec. user=mdettweiler [2013-04-29 23:24:33] 897*2^1245484-1 is not prime. Res64: 72E7DA60ECDDF4ED Time : 0.0 sec. user=mdettweiler [2013-04-29 23:34:17] 929*2^1245484-1 is not prime. Res64: 75664E9EB345A886 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:34:17] 989*2^1245484-1 is not prime. Res64: 73573B7999F33485 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:42:54] 619*2^1245485-1 is not prime. Res64: 9144612106595A93 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:42:55] 729*2^1245485-1 is not prime. Res64: EFE9900ECE0271AB Time : 0.0 sec. user=mdettweiler [2013-04-29 23:52:17] 741*2^1245485-1 is not prime. Res64: EEDB0FA303C457C6 Time : 0.0 sec. user=mdettweiler [2013-04-29 23:52:17] 787*2^1245485-1 is not prime. Res64: 7622E5CD826A47C9 Time : 0.0 sec. user=mdettweiler [2013-04-30 00:00:30] 865*2^1245485-1 is not prime. Res64: 6F959F16337B07A9 Time : 0.0 sec. user=mdettweiler [2013-04-30 00:00:30] 969*2^1245485-1 is not prime. Res64: 9F12F3E41E139914 Time : 0.0 sec.