user=mdettweiler [2013-03-01 01:58:52] 915*2^1241793-1 is not prime. Res64: 410CB1AA64931392 Time : 0.0 sec. user=mdettweiler [2013-03-01 01:58:52] 921*2^1241793-1 is not prime. Res64: 6AD27D781F2C0D05 Time : 0.0 sec. user=mdettweiler [2013-03-01 01:58:54] 819*2^1241793-1 is not prime. Res64: AD2C05D825F401D7 Time : 0.0 sec. user=mdettweiler [2013-03-01 01:58:54] 891*2^1241793-1 is not prime. Res64: B283695663E429D9 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:16:17] 677*2^1241794-1 is not prime. Res64: 44B65EED7350B24F Time : 0.0 sec. user=mdettweiler [2013-03-01 02:16:18] 705*2^1241794-1 is not prime. Res64: F8AC0811DC6F91D4 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:16:19] 717*2^1241794-1 is not prime. Res64: 7827918445222FD4 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:16:20] 747*2^1241794-1 is not prime. Res64: 1B1B5FA476ED1013 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:33:43] 833*2^1241794-1 is not prime. Res64: 0E4E5989A3D8B69D Time : 0.0 sec. user=mdettweiler [2013-03-01 02:33:44] 857*2^1241794-1 is not prime. Res64: 9C908C6E8504E25F Time : 0.0 sec. user=mdettweiler [2013-03-01 02:33:44] 915*2^1241794-1 is not prime. Res64: 8A535018DC1B894C Time : 0.0 sec. user=mdettweiler [2013-03-01 02:33:45] 645*2^1241795-1 is not prime. Res64: 0EDDBA180F19F1AD Time : 0.0 sec. user=mdettweiler [2013-03-01 02:51:12] 651*2^1241795-1 is not prime. Res64: DC56BAEE9B036994 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:51:12] 663*2^1241795-1 is not prime. Res64: 4FFCB1F7B8449209 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:51:14] 693*2^1241795-1 is not prime. Res64: 966108CDA8759240 Time : 0.0 sec. user=mdettweiler [2013-03-01 02:51:14] 939*2^1241795-1 is not prime. Res64: 6B8BDC2268B188EF Time : 0.0 sec. user=juhehe [2013-03-01 02:58:09] 951*2^1241793-1 is not prime. Res64: EC339F32F0B57373 Time : 0.0 sec. user=juhehe [2013-03-01 03:04:15] 985*2^1241793-1 is not prime. Res64: 7FEF3C83B169E527 Time : 0.0 sec. user=juhehe [2013-03-01 03:06:56] 979*2^1241795-1 is not prime. Res64: 42740EBAA0CD24D6 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:08:37] 981*2^1241795-1 is not prime. Res64: 2B7CAE4F898CCB34 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:08:38] 991*2^1241795-1 is not prime. Res64: FAC63B17D3CC9ABC Time : 0.0 sec. user=mdettweiler [2013-03-01 03:08:38] 657*2^1241796-1 is not prime. Res64: 46B0C61B5FD53917 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:08:38] 689*2^1241796-1 is not prime. Res64: F0002A55227DE723 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:26:02] 735*2^1241796-1 is not prime. Res64: 4A7C25E485F7845E Time : 0.0 sec. user=mdettweiler [2013-03-01 03:26:03] 737*2^1241796-1 is not prime. Res64: 12B73E8E08EEB279 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:26:05] 777*2^1241796-1 is not prime. Res64: 038223465FDD51D3 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:26:05] 783*2^1241796-1 is not prime. Res64: 07841CFF29B0AA57 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:43:27] 803*2^1241796-1 is not prime. Res64: B19CE78AAE862E97 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:43:27] 903*2^1241796-1 is not prime. Res64: 30709BEA5D0A359E Time : 0.0 sec. user=mdettweiler [2013-03-01 03:43:28] 999*2^1241796-1 is not prime. Res64: 8F0F61A0C18F6287 Time : 0.0 sec. user=mdettweiler [2013-03-01 03:43:29] 619*2^1241797-1 is not prime. Res64: A95936F4F9E57605 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:00:52] 625*2^1241797-1 is not prime. Res64: 6F08BBBDDB16A48A Time : 0.0 sec. user=mdettweiler [2013-03-01 04:00:53] 687*2^1241797-1 is not prime. Res64: 15D75D4381847A3F Time : 0.0 sec. user=mdettweiler [2013-03-01 04:00:54] 645*2^1241797-1 is not prime. Res64: D8A902DC92F92F06 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:00:55] 727*2^1241797-1 is not prime. Res64: EDD34E8D6805E87E Time : 0.0 sec. user=mdettweiler [2013-03-01 04:18:24] 769*2^1241797-1 is not prime. Res64: 6474681E8266EE6F Time : 0.0 sec. user=mdettweiler [2013-03-01 04:18:24] 859*2^1241797-1 is not prime. Res64: 9BCD6961119EC37D Time : 0.0 sec. user=mdettweiler [2013-03-01 04:18:26] 617*2^1241798-1 is not prime. Res64: 611295D469696DA2 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:18:26] 635*2^1241798-1 is not prime. Res64: C638D89D98674D21 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:35:47] 743*2^1241798-1 is not prime. Res64: 1BA50B1D99EF14C3 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:35:48] 801*2^1241798-1 is not prime. Res64: 5F1A7AD4A9D5B13B Time : 0.0 sec. user=mdettweiler [2013-03-01 04:35:49] 963*2^1241798-1 is not prime. Res64: 8681EEF21F8857BB Time : 0.0 sec. user=mdettweiler [2013-03-01 04:35:50] 853*2^1241799-1 is not prime. Res64: 9D7511C8176349F2 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:43:35] 859*2^1241799-1 is not prime. Res64: DDDF4B166725233F Time : 0.0 sec. user=mdettweiler [2013-03-01 04:53:12] 879*2^1241799-1 is not prime. Res64: A3A79868B013D35E Time : 0.0 sec. user=mdettweiler [2013-03-01 04:53:13] 943*2^1241799-1 is not prime. Res64: 4821A8044CAA5F93 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:53:14] 961*2^1241799-1 is not prime. Res64: F38379288EE7BF62 Time : 0.0 sec. user=mdettweiler [2013-03-01 04:53:14] 969*2^1241799-1 is not prime. Res64: 8D9632765AB15DA5 Time : 0.0 sec. user=juhehe [2013-03-01 04:58:49] 747*2^1241797-1 is not prime. Res64: 67D1B76D3410AAE3 Time : 0.0 sec. user=juhehe [2013-03-01 05:05:15] 707*2^1241798-1 is not prime. Res64: A541C8EF7889D043 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:10:37] 975*2^1241799-1 is not prime. Res64: 3B18AA4AB92E37C8 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:10:38] 645*2^1241800-1 is not prime. Res64: 13FF5A058CE83D47 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:10:38] 765*2^1241800-1 is not prime. Res64: 5C1B9CCAE0A46138 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:10:39] 843*2^1241800-1 is not prime. Res64: CFC2D75DD8A95925 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:28:05] 855*2^1241800-1 is not prime. Res64: 123D3C7161378BB1 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:28:05] 873*2^1241800-1 is not prime. Res64: C44475DA2F075C4C Time : 0.0 sec. user=mdettweiler [2013-03-01 05:28:06] 915*2^1241800-1 is not prime. Res64: 7A8D1ACCB528564A Time : 0.0 sec. user=mdettweiler [2013-03-01 05:28:06] 957*2^1241800-1 is not prime. Res64: B988F952ACB00F5A Time : 0.0 sec. user=mdettweiler [2013-03-01 05:45:29] 983*2^1241800-1 is not prime. Res64: 5A989BDFA533B0E2 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:45:29] 989*2^1241800-1 is not prime. Res64: 697849C55065AC29 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:45:30] 999*2^1241800-1 is not prime. Res64: B5E8A50900450C71 Time : 0.0 sec. user=mdettweiler [2013-03-01 05:45:31] 679*2^1241801-1 is not prime. Res64: EF186ECD0811176F Time : 0.0 sec. user=mdettweiler [2013-03-01 06:02:57] 777*2^1241801-1 is not prime. Res64: 5E9C64CBAC945AC1 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:02:58] 789*2^1241801-1 is not prime. Res64: B1F7FF4498854EC3 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:02:59] 795*2^1241801-1 is not prime. Res64: 6795BBE46B71B730 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:03:00] 907*2^1241801-1 is not prime. Res64: 1F6866FF7DFC16AA Time : 0.0 sec. user=mdettweiler [2013-03-01 06:20:22] 987*2^1241801-1 is not prime. Res64: F2866D0DE0EEE0B6 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:20:22] 621*2^1241802-1 is not prime. Res64: A845AAAFA732C90E Time : 0.0 sec. user=mdettweiler [2013-03-01 06:20:24] 671*2^1241802-1 is not prime. Res64: 8150BB1215A71754 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:20:25] 695*2^1241802-1 is not prime. Res64: 2ABC449BAD5BD189 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:37:50] 663*2^1241803-1 is not prime. Res64: AEC2D67EB4E5C5F2 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:37:50] 605*2^1241804-1 is not prime. Res64: 247F1F63194507DE Time : 0.0 sec. user=mdettweiler [2013-03-01 06:37:51] 623*2^1241804-1 is not prime. Res64: E00F1601FAFD67AC Time : 0.0 sec. user=mdettweiler [2013-03-01 06:37:51] 683*2^1241804-1 is not prime. Res64: D219550290F7E7D4 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:55:16] 927*2^1241804-1 is not prime. Res64: AF0A8B8B4ED96C1E Time : 0.0 sec. user=mdettweiler [2013-03-01 06:55:16] 959*2^1241804-1 is not prime. Res64: ED4EAC4CF8DBA61C Time : 0.0 sec. user=mdettweiler [2013-03-01 06:55:17] 669*2^1241805-1 is not prime. Res64: D68A1B6E13CDC397 Time : 0.0 sec. user=mdettweiler [2013-03-01 06:55:17] 699*2^1241805-1 is not prime. Res64: E676974BDFD2E189 Time : 0.0 sec. user=juhehe [2013-03-01 06:59:32] 957*2^1241801-1 is not prime. Res64: EF45C4E7BA4D93F1 Time : 0.0 sec. user=juhehe [2013-03-01 07:06:15] 843*2^1241802-1 is not prime. Res64: 4814D9534A32C5E9 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:12:41] 741*2^1241805-1 is not prime. Res64: 73749673EF4B2F60 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:12:42] 759*2^1241805-1 is not prime. Res64: 668CF53795D67D2E Time : 0.0 sec. user=mdettweiler [2013-03-01 07:12:42] 765*2^1241805-1 is not prime. Res64: 9BB9B31425454892 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:12:42] 919*2^1241805-1 is not prime. Res64: 37ED373D6A55CA29 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:30:06] 997*2^1241805-1 is not prime. Res64: 4C8740B89F522A44 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:30:06] 675*2^1241806-1 is not prime. Res64: 81C61893513B7AC3 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:30:06] 635*2^1241806-1 is not prime. Res64: D300277FAC8F361F Time : 0.0 sec. user=mdettweiler [2013-03-01 07:30:07] 713*2^1241806-1 is not prime. Res64: 016F88065CA120A2 Time : 0.0 sec. user=juhehe [2013-03-01 07:33:30] 955*2^1241805-1 is not prime. Res64: 2E239632E43647F3 Time : 0.0 sec. user=mdettweiler [2013-03-01 07:47:30] 801*2^1241806-1 is not prime. Res64: 3ACC220DABE4E74F Time : 0.0 sec. user=mdettweiler [2013-03-01 07:47:31] 867*2^1241806-1 is not prime. Res64: F1A83257829679BB Time : 0.0 sec. user=mdettweiler [2013-03-01 07:47:31] 897*2^1241806-1 is not prime. Res64: 02B6FA9A443D63DF Time : 0.0 sec. user=mdettweiler [2013-03-01 07:47:32] 911*2^1241806-1 is not prime. Res64: 9AEFC3E8E711AB93 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:04:54] 945*2^1241806-1 is not prime. Res64: 690D2FC7C33EBB55 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:04:55] 971*2^1241806-1 is not prime. Res64: 5E9911512BE33F88 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:04:56] 993*2^1241806-1 is not prime. Res64: F7B8D14E0E25AB56 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:04:57] 651*2^1241807-1 is not prime. Res64: DF49C04368461DD8 Time : 0.0 sec. user=juhehe [2013-03-01 08:07:32] 765*2^1241806-1 is not prime. Res64: 2D82519F42924840 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:22:19] 825*2^1241807-1 is not prime. Res64: 1B250EE544FEA84E Time : 0.0 sec. user=mdettweiler [2013-03-01 08:22:19] 871*2^1241807-1 is not prime. Res64: 56B386BA7B4E093D Time : 0.0 sec. user=mdettweiler [2013-03-01 08:22:21] 885*2^1241807-1 is not prime. Res64: ACB9C5395104CAAD Time : 0.0 sec. user=mdettweiler [2013-03-01 08:22:21] 931*2^1241807-1 is not prime. Res64: 51B8F2F430E339EE Time : 0.0 sec. user=juhehe [2013-03-01 08:27:54] 759*2^1241807-1 is not prime. Res64: 37E0C05CEF3D06CB Time : 0.0 sec. user=mdettweiler [2013-03-01 08:39:43] 663*2^1241808-1 is not prime. Res64: 292FA007D0A93375 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:39:44] 669*2^1241808-1 is not prime. Res64: 21B4FE04ADCE6263 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:39:45] 689*2^1241808-1 is not prime. Res64: 866FD9B587BB3D63 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:39:46] 713*2^1241808-1 is not prime. Res64: 06A81D393F0585B8 Time : 0.0 sec. user=juhehe [2013-03-01 08:46:16] 955*2^1241807-1 is not prime. Res64: 260CA8D413B6CF22 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:57:08] 723*2^1241808-1 is not prime. Res64: 24E7650C93064FF3 Time : 0.0 sec. user=mdettweiler [2013-03-01 08:57:08] 725*2^1241808-1 is not prime. Res64: 9F710C8E09C57B6B Time : 0.0 sec. user=mdettweiler [2013-03-01 08:57:09] 753*2^1241808-1 is not prime. Res64: 37A6918A66D322AD Time : 0.0 sec. user=mdettweiler [2013-03-01 08:57:10] 789*2^1241808-1 is not prime. Res64: D3E336BF5D243CD9 Time : 0.0 sec. user=juhehe [2013-03-01 09:00:49] 705*2^1241807-1 is not prime. Res64: 094110ADE6199111 Time : 0.0 sec. user=juhehe [2013-03-01 09:02:15] 979*2^1241807-1 is not prime. Res64: 2E57FE5DCCF1DE2F Time : 0.0 sec. user=juhehe [2013-03-01 09:06:54] 805*2^1241807-1 is not prime. Res64: 841A09158299A5B2 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:14:32] 927*2^1241808-1 is not prime. Res64: DFCBD7D80F210C82 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:14:33] 637*2^1241809-1 is not prime. Res64: A0BDBCB61DD701F3 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:14:33] 687*2^1241809-1 is not prime. Res64: 64430DAEBC3009FF Time : 0.0 sec. user=mdettweiler [2013-03-01 09:14:33] 897*2^1241809-1 is not prime. Res64: EC14DE25600A26A2 Time : 0.0 sec. user=juhehe [2013-03-01 09:23:15] 837*2^1241808-1 is not prime. Res64: C683D6AFC87E1994 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:32:01] 783*2^1241810-1 is not prime. Res64: 3DD6E333B2FBEE29 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:32:01] 827*2^1241810-1 is not prime. Res64: 5ED7099D600316CD Time : 0.0 sec. user=mdettweiler [2013-03-01 09:32:02] 831*2^1241810-1 is not prime. Res64: ABFE680080421B5D Time : 0.0 sec. user=mdettweiler [2013-03-01 09:32:03] 845*2^1241810-1 is not prime. Res64: 9003E61B71A27819 Time : 0.0 sec. user=juhehe [2013-03-01 09:39:06] 743*2^1241810-1 is not prime. Res64: 1256AC651A21DAFB Time : 0.0 sec. user=mdettweiler [2013-03-01 09:49:24] 711*2^1241811-1 is not prime. Res64: 5DA45A5399AC1F1F Time : 0.0 sec. user=mdettweiler [2013-03-01 09:49:25] 735*2^1241811-1 is not prime. Res64: A49ACBC00AA4776F Time : 0.0 sec. user=mdettweiler [2013-03-01 09:49:26] 745*2^1241811-1 is not prime. Res64: CFBA027C2CD7A983 Time : 0.0 sec. user=mdettweiler [2013-03-01 09:49:26] 781*2^1241811-1 is not prime. Res64: 4437F81C02C0482F Time : 0.0 sec. user=juhehe [2013-03-01 09:59:43] 917*2^1241810-1 is not prime. Res64: B61ACF6C0D3E8DC1 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:06:52] 823*2^1241811-1 is not prime. Res64: 29A2D5DEA62745EB Time : 0.0 sec. user=mdettweiler [2013-03-01 10:06:52] 895*2^1241811-1 is not prime. Res64: 2F8FDB9AFEF54A84 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:06:53] 677*2^1241812-1 is not prime. Res64: 94AC5A7F3E0A31EA Time : 0.0 sec. user=mdettweiler [2013-03-01 10:06:54] 765*2^1241812-1 is not prime. Res64: C208C7771559DB92 Time : 0.0 sec. user=juhehe [2013-03-01 10:15:24] 789*2^1241811-1 is not prime. Res64: F4D95F2EFD879202 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:25:17] 965*2^1241812-1 is not prime. Res64: F6EF94559DDFDD9E Time : 0.0 sec. user=mdettweiler [2013-03-01 10:25:17] 995*2^1241812-1 is not prime. Res64: 561B56EF2B9AF796 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:25:17] 983*2^1241812-1 is not prime. Res64: 23B6894CFCD97216 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:25:18] 999*2^1241812-1 is not prime. Res64: E7815FF70C94BFC4 Time : 0.0 sec. user=juhehe [2013-03-01 10:36:14] 843*2^1241812-1 is not prime. Res64: 12D2C8941D0078B2 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:42:50] 685*2^1241813-1 is not prime. Res64: 90994650C04391A7 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:42:50] 727*2^1241813-1 is not prime. Res64: CE7199251CD588F3 Time : 0.0 sec. user=mdettweiler [2013-03-01 10:42:51] 855*2^1241813-1 is not prime. Res64: C2C3BB5E8FC783FA Time : 0.0 sec. user=mdettweiler [2013-03-01 10:42:51] 867*2^1241813-1 is not prime. Res64: E1B8C329997E9A18 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:00:24] 611*2^1241814-1 is not prime. Res64: 84C374C30111E412 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:00:26] 783*2^1241814-1 is not prime. Res64: EEBE2A989AFCEEBE Time : 0.0 sec. user=mdettweiler [2013-03-01 11:00:26] 641*2^1241814-1 is not prime. Res64: 3F8C105ACBB542B2 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:00:27] 815*2^1241814-1 is not prime. Res64: 583D612632E37E27 Time : 0.0 sec. user=juhehe [2013-03-01 11:01:33] 785*2^1241812-1 is not prime. Res64: C76EB7E568CE481B Time : 0.0 sec. user=juhehe [2013-03-01 11:08:21] 899*2^1241812-1 is not prime. Res64: 30F0AF4A24AC8FFC Time : 0.0 sec. user=juhehe [2013-03-01 11:12:31] 925*2^1241813-1 is not prime. Res64: 1CA8A7A9F14D6D67 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:18:46] 873*2^1241814-1 is not prime. Res64: BBAB77B7B8D41B89 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:18:47] 765*2^1241815-1 is not prime. Res64: 6CA5F42566393AA4 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:18:47] 673*2^1241815-1 is not prime. Res64: B3E4A9B9332A688B Time : 0.0 sec. user=mdettweiler [2013-03-01 11:18:47] 861*2^1241815-1 is not prime. Res64: 98361F52A8753AF1 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:36:23] 915*2^1241815-1 is not prime. Res64: BE4A08979AD13CEC Time : 0.0 sec. user=mdettweiler [2013-03-01 11:36:23] 939*2^1241815-1 is not prime. Res64: BBD5EE97595AEF18 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:36:24] 617*2^1241816-1 is not prime. Res64: D7FD7C4FB9B9B7F5 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:36:24] 629*2^1241816-1 is not prime. Res64: 7030A2452013BD48 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:54:13] 689*2^1241816-1 is not prime. Res64: 4538CBE18C9A2C22 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:54:13] 827*2^1241816-1 is not prime. Res64: 5C137DD5E539A230 Time : 0.0 sec. user=mdettweiler [2013-03-01 11:54:13] 773*2^1241816-1 is not prime. Res64: AB76FF2872C3FAFA Time : 0.0 sec. user=mdettweiler [2013-03-01 11:54:13] 845*2^1241816-1 is not prime. Res64: 777C1A1E770B3F4B Time : 0.0 sec. user=mdettweiler [2013-03-01 12:12:02] 769*2^1241817-1 is not prime. Res64: 0E058D383CCEE7B3 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:12:02] 835*2^1241817-1 is not prime. Res64: 6C77C4C1DB4E4C44 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:12:03] 675*2^1241817-1 is not prime. Res64: 70BC2BD6AEE29AF1 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:12:03] 765*2^1241817-1 is not prime. Res64: 3936186FF901BA4F Time : 0.0 sec. user=juhehe [2013-03-01 12:27:23] 945*2^1241816-1 is not prime. Res64: 18D97796BCF605B4 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:29:57] 949*2^1241817-1 is not prime. Res64: 111D669C0A21FE27 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:29:57] 603*2^1241818-1 is not prime. Res64: E10FE161BF63DA21 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:29:58] 605*2^1241818-1 is not prime. Res64: 8B4A750698CBA25C Time : 0.0 sec. user=mdettweiler [2013-03-01 12:29:58] 801*2^1241818-1 is not prime. Res64: 26EF9594F28CEEE0 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:47:44] 891*2^1241818-1 is not prime. Res64: 153CB3A883F90A44 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:47:44] 923*2^1241818-1 is not prime. Res64: C5942766E7528677 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:47:44] 971*2^1241818-1 is not prime. Res64: C381AECA7C09CDB9 Time : 0.0 sec. user=mdettweiler [2013-03-01 12:47:44] 987*2^1241818-1 is not prime. Res64: C2E61CEA619310DD Time : 0.0 sec. user=juhehe [2013-03-01 13:02:32] 945*2^1241817-1 is not prime. Res64: E7729B89811E0E05 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:05:32] 685*2^1241819-1 is not prime. Res64: 7EC048060FC3085D Time : 0.0 sec. user=mdettweiler [2013-03-01 13:05:33] 735*2^1241819-1 is not prime. Res64: FE2BAD0D043793FC Time : 0.0 sec. user=mdettweiler [2013-03-01 13:05:33] 801*2^1241819-1 is not prime. Res64: 8869D4A03DE04CC0 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:05:33] 861*2^1241819-1 is not prime. Res64: 7FBAE85F3565EE8D Time : 0.0 sec. user=mdettweiler [2013-03-01 13:23:17] 883*2^1241819-1 is not prime. Res64: 74E0FC2C550D87EC Time : 0.0 sec. user=mdettweiler [2013-03-01 13:23:18] 991*2^1241819-1 is not prime. Res64: 2940146A4686D9B4 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:23:20] 665*2^1241820-1 is not prime. Res64: 6CA0159B55C0768A Time : 0.0 sec. user=mdettweiler [2013-03-01 13:23:20] 669*2^1241820-1 is not prime. Res64: 40AB14308689CC09 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:41:07] 779*2^1241820-1 is not prime. Res64: CF08CFD2768166C2 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:41:08] 825*2^1241820-1 is not prime. Res64: B44400CC4942946D Time : 0.0 sec. user=mdettweiler [2013-03-01 13:41:09] 915*2^1241820-1 is not prime. Res64: 17FF7F09596C7ECE Time : 0.0 sec. user=mdettweiler [2013-03-01 13:41:09] 957*2^1241820-1 is not prime. Res64: 04BB4D37BB3DA2BF Time : 0.0 sec. user=mdettweiler [2013-03-01 13:59:02] 959*2^1241820-1 is not prime. Res64: 66F93BE46C37F9AA Time : 0.0 sec. user=mdettweiler [2013-03-01 13:59:03] 849*2^1241821-1 is not prime. Res64: 15B70B618A6A3BFD Time : 0.0 sec. user=mdettweiler [2013-03-01 13:59:04] 861*2^1241821-1 is not prime. Res64: F345E485501FF441 Time : 0.0 sec. user=mdettweiler [2013-03-01 13:59:04] 957*2^1241821-1 is not prime. Res64: 78547DF08F537C89 Time : 0.0 sec. user=juhehe [2013-03-01 14:08:02] 773*2^1241820-1 is not prime. Res64: 2C3C9945FFE97596 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:17:08] 683*2^1241822-1 is not prime. Res64: 8E4E27483B2945B6 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:17:09] 987*2^1241821-1 is not prime. Res64: 96B34E05CA596B5C Time : 0.0 sec. user=mdettweiler [2013-03-01 14:17:09] 743*2^1241822-1 is not prime. Res64: 23FF3D5D921FB1A4 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:17:09] 671*2^1241822-1 is not prime. Res64: CD5CAE91220DF35D Time : 0.0 sec. user=mdettweiler [2013-03-01 14:34:45] 857*2^1241822-1 is not prime. Res64: 39723FE818056563 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:34:45] 915*2^1241822-1 is not prime. Res64: 6C2ABA19C4212020 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:34:46] 893*2^1241822-1 is not prime. Res64: 47BB06BF22332DC0 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:34:46] 965*2^1241822-1 is not prime. Res64: 822809375D267D1F Time : 0.0 sec. user=juhehe [2013-03-01 14:41:51] 975*2^1241821-1 is not prime. Res64: 7E9A3DAB7A2B2ADB Time : 0.0 sec. user=mdettweiler [2013-03-01 14:52:14] 977*2^1241822-1 is not prime. Res64: 0806542FB44752B2 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:52:14] 709*2^1241823-1 is not prime. Res64: 05D6832016B3A797 Time : 0.0 sec. user=mdettweiler [2013-03-01 14:52:15] 769*2^1241823-1 is not prime. Res64: F2A0B3C4C7926DCD Time : 0.0 sec. user=mdettweiler [2013-03-01 14:52:15] 861*2^1241823-1 is not prime. Res64: A94A6429C86A7F89 Time : 0.0 sec. user=juhehe [2013-03-01 15:03:31] 771*2^1241822-1 is not prime. Res64: AAB29420E46BBB49 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:09:43] 961*2^1241823-1 is not prime. Res64: B0126FD656DB602C Time : 0.0 sec. user=mdettweiler [2013-03-01 15:09:44] 605*2^1241824-1 is not prime. Res64: 77555020D57CE552 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:09:44] 609*2^1241824-1 is not prime. Res64: 65E01A3687148B14 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:09:44] 615*2^1241824-1 is not prime. Res64: BF8C813A21F8F9DF Time : 0.0 sec. user=mdettweiler [2013-03-01 15:27:13] 707*2^1241824-1 is not prime. Res64: A1E03C9318D7E349 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:27:13] 743*2^1241824-1 is not prime. Res64: 311BCCAEE3E5207B Time : 0.0 sec. user=mdettweiler [2013-03-01 15:27:13] 827*2^1241824-1 is not prime. Res64: C0F6D087908E62A6 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:27:14] 869*2^1241824-1 is not prime. Res64: EDD8117571824421 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:44:41] 897*2^1241824-1 is not prime. Res64: C603D7DDA88BE601 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:44:42] 929*2^1241824-1 is not prime. Res64: E132BAFF7D1B543D Time : 0.0 sec. user=mdettweiler [2013-03-01 15:44:42] 729*2^1241825-1 is not prime. Res64: 08A11F959201A1B6 Time : 0.0 sec. user=mdettweiler [2013-03-01 15:44:43] 771*2^1241825-1 is not prime. Res64: C9519D85DF3C02CE Time : 0.0 sec. user=mdettweiler [2013-03-01 16:02:11] 925*2^1241825-1 is not prime. Res64: E0D7173EE1D3610F Time : 0.0 sec. user=mdettweiler [2013-03-01 16:02:11] 775*2^1241825-1 is not prime. Res64: 065ECE56A923E7D5 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:02:12] 979*2^1241825-1 is not prime. Res64: 7166280EE19B2FA5 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:02:12] 889*2^1241825-1 is not prime. Res64: 4C62320E15C3FA67 Time : 0.0 sec. user=juhehe [2013-03-01 16:09:23] 639*2^1241824-1 is not prime. Res64: 4B91F4CADF034053 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:19:58] 633*2^1241826-1 is not prime. Res64: 854C5F1B4A138566 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:19:58] 767*2^1241826-1 is not prime. Res64: F6F7B01918AD3FE5 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:19:59] 815*2^1241826-1 is not prime. Res64: AFA38B8DFB81780E Time : 0.0 sec. user=mdettweiler [2013-03-01 16:19:59] 917*2^1241826-1 is not prime. Res64: DCC59AECF8D3DAFA Time : 0.0 sec. user=mdettweiler [2013-03-01 16:37:28] 609*2^1241827-1 is not prime. Res64: 0213AD9A3B8EF361 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:37:29] 829*2^1241827-1 is not prime. Res64: 119715300421BCBE Time : 0.0 sec. user=mdettweiler [2013-03-01 16:37:29] 631*2^1241827-1 is not prime. Res64: 3EE382D9423B751A Time : 0.0 sec. user=mdettweiler [2013-03-01 16:37:29] 849*2^1241827-1 is not prime. Res64: D62AD1EE3C314560 Time : 0.0 sec. user=juhehe [2013-03-01 16:46:49] 947*2^1241826-1 is not prime. Res64: 37B3E0AA09547771 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:54:57] 961*2^1241827-1 is not prime. Res64: CCD19F937988D914 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:54:57] 993*2^1241827-1 is not prime. Res64: 008EBC29617A3906 Time : 0.0 sec. user=mdettweiler [2013-03-01 16:54:58] 999*2^1241827-1 is not prime. Res64: C4DD184771ACF47F Time : 0.0 sec. user=mdettweiler [2013-03-01 16:54:58] 633*2^1241828-1 is not prime. Res64: 15FA169CFF94284E Time : 0.0 sec. user=juhehe [2013-03-01 17:05:02] 711*2^1241826-1 is not prime. Res64: 389B5BCA770D725C Time : 0.0 sec. user=mdettweiler [2013-03-01 17:12:26] 665*2^1241828-1 is not prime. Res64: 669600ABBF612EAD Time : 0.0 sec. user=mdettweiler [2013-03-01 17:12:27] 735*2^1241828-1 is not prime. Res64: AB0F39E39BF8C368 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:12:27] 753*2^1241828-1 is not prime. Res64: 9736A0A20C8DAAC2 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:12:27] 759*2^1241828-1 is not prime. Res64: C02999301070AD1B Time : 0.0 sec. user=mdettweiler [2013-03-01 17:29:54] 875*2^1241828-1 is not prime. Res64: 109596016C2E3DCA Time : 0.0 sec. user=mdettweiler [2013-03-01 17:29:54] 679*2^1241829-1 is not prime. Res64: FBBE8B86DFA0A775 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:29:55] 795*2^1241829-1 is not prime. Res64: 878D0A2B973D9833 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:29:55] 817*2^1241829-1 is not prime. Res64: 98B6898F6AFAD4DD Time : 0.0 sec. user=mdettweiler [2013-03-01 17:47:22] 889*2^1241829-1 is not prime. Res64: 6E6EC59CA101212E Time : 0.0 sec. user=mdettweiler [2013-03-01 17:47:23] 635*2^1241830-1 is not prime. Res64: 6BC8B7667404BCF5 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:47:23] 723*2^1241830-1 is not prime. Res64: 62A5701808FA7E97 Time : 0.0 sec. user=mdettweiler [2013-03-01 17:47:24] 741*2^1241830-1 is not prime. Res64: AE92346C6ED6AC26 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:04:50] 861*2^1241830-1 is not prime. Res64: 713EC69942E7B32A Time : 0.0 sec. user=mdettweiler [2013-03-01 18:04:51] 933*2^1241830-1 is not prime. Res64: 24EB5E999C8DE5A4 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:04:51] 941*2^1241830-1 is not prime. Res64: 2EBA73A511F4DC6C Time : 0.0 sec. user=mdettweiler [2013-03-01 18:04:52] 971*2^1241830-1 is not prime. Res64: 7DFD0123D0B22829 Time : 0.0 sec. user=juhehe [2013-03-01 18:09:56] 803*2^1241828-1 is not prime. Res64: 5415D715D4DA1C75 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:22:39] 601*2^1241831-1 is not prime. Res64: F4CD36B1B71F1CCE Time : 0.0 sec. user=mdettweiler [2013-03-01 18:22:39] 661*2^1241831-1 is not prime. Res64: D0D62FCDD5D1FA70 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:22:40] 753*2^1241831-1 is not prime. Res64: 106077ECE51CFF3F Time : 0.0 sec. user=mdettweiler [2013-03-01 18:22:40] 781*2^1241831-1 is not prime. Res64: F870A613F722DF62 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:40:04] 921*2^1241831-1 is not prime. Res64: 463BD60C5B0ADA62 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:40:05] 657*2^1241832-1 is not prime. Res64: 29B4D8C2A02B3C5D Time : 0.0 sec. user=mdettweiler [2013-03-01 18:40:05] 725*2^1241832-1 is not prime. Res64: 6A60F58FE00032D9 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:40:06] 737*2^1241832-1 is not prime. Res64: 3CF6E7AFC431D0C8 Time : 0.0 sec. user=mdettweiler [2013-03-01 18:57:30] 753*2^1241832-1 is not prime. Res64: 3309AB9487CB36AA Time : 0.0 sec. user=mdettweiler [2013-03-01 18:57:30] 825*2^1241832-1 is not prime. Res64: 713658FCDAC0275E Time : 0.0 sec. user=mdettweiler [2013-03-01 18:57:31] 899*2^1241832-1 is not prime. Res64: 02AE17D991C3804C Time : 0.0 sec. user=mdettweiler [2013-03-01 18:57:32] 607*2^1241833-1 is not prime. Res64: 65B1B891AFB7C505 Time : 0.0 sec. user=juhehe [2013-03-01 18:57:36] 783*2^1241831-1 is not prime. Res64: C4E0B78B09069A74 Time : 0.0 sec. user=juhehe [2013-03-01 19:12:43] 975*2^1241830-1 is not prime. Res64: A522F8A0845C31AF Time : 0.0 sec. user=mdettweiler [2013-03-01 19:14:56] 747*2^1241833-1 is not prime. Res64: EDF1B62F661C6E1D Time : 0.0 sec. user=mdettweiler [2013-03-01 19:14:56] 771*2^1241833-1 is not prime. Res64: B60403E116991B4F Time : 0.0 sec. user=mdettweiler [2013-03-01 19:14:57] 817*2^1241833-1 is not prime. Res64: 63BD080900E3A315 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:14:57] 855*2^1241833-1 is not prime. Res64: 6E169EA6658409A9 Time : 0.0 sec. user=juhehe [2013-03-01 19:20:55] 679*2^1241833-1 is not prime. Res64: 5DA42A10C87A60E5 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:32:20] 955*2^1241833-1 is not prime. Res64: A0427C86FCD06723 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:32:21] 999*2^1241833-1 is not prime. Res64: 0845C5D5A3384371 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:32:22] 623*2^1241834-1 is not prime. Res64: E47C85A2E62B7CD3 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:32:22] 753*2^1241834-1 is not prime. Res64: AE581987A9F72ADF Time : 0.0 sec. user=mdettweiler [2013-03-01 19:49:45] 755*2^1241834-1 is not prime. Res64: ADB511EC878651FD Time : 0.0 sec. user=mdettweiler [2013-03-01 19:49:46] 791*2^1241834-1 is not prime. Res64: DDADB73F8721FFEE Time : 0.0 sec. user=mdettweiler [2013-03-01 19:49:47] 837*2^1241834-1 is not prime. Res64: 62BF74D456BE7D08 Time : 0.0 sec. user=mdettweiler [2013-03-01 19:49:47] 851*2^1241834-1 is not prime. Res64: 68AA1253097CB087 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:07:11] 887*2^1241834-1 is not prime. Res64: E02D6A4C276BCCDC Time : 0.0 sec. user=mdettweiler [2013-03-01 20:07:12] 945*2^1241834-1 is not prime. Res64: D7D013367E66D71B Time : 0.0 sec. user=mdettweiler [2013-03-01 20:07:13] 625*2^1241835-1 is not prime. Res64: 1FF298BF1EAB67BF Time : 0.0 sec. user=mdettweiler [2013-03-01 20:07:14] 699*2^1241835-1 is not prime. Res64: 225DE1DB666951D5 Time : 0.0 sec. user=juhehe [2013-03-01 20:11:09] 897*2^1241833-1 is not prime. Res64: 5E55CA2B2A0602F4 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:24:44] 765*2^1241835-1 is not prime. Res64: 48430F5A45016C39 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:24:44] 781*2^1241835-1 is not prime. Res64: B5DB1AD1DC3252FF Time : 0.0 sec. user=mdettweiler [2013-03-01 20:24:45] 795*2^1241835-1 is not prime. Res64: 7D97D911D5DAD847 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:24:45] 805*2^1241835-1 is not prime. Res64: 20CAD50B5E9683BB Time : 0.0 sec. user=mdettweiler [2013-03-01 20:42:09] 849*2^1241835-1 is not prime. Res64: 82AA491E60D63E49 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:42:10] 951*2^1241835-1 is not prime. Res64: 85028D10C60FC92C Time : 0.0 sec. user=mdettweiler [2013-03-01 20:42:11] 609*2^1241836-1 is not prime. Res64: A43A1AE4FC164A81 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:42:11] 647*2^1241836-1 is not prime. Res64: 4EBECE15F2CC912E Time : 0.0 sec. user=juhehe [2013-03-01 20:42:32] 709*2^1241835-1 is not prime. Res64: FC36F9930B660AEA Time : 0.0 sec. user=mdettweiler [2013-03-01 20:59:35] 705*2^1241836-1 is not prime. Res64: 7D74A34B0CFBA320 Time : 0.0 sec. user=mdettweiler [2013-03-01 20:59:36] 845*2^1241836-1 is not prime. Res64: C20E1D74A7A46C4B Time : 0.0 sec. user=mdettweiler [2013-03-01 20:59:36] 785*2^1241836-1 is not prime. Res64: 25C078E8A3E02B8F Time : 0.0 sec. user=mdettweiler [2013-03-01 20:59:36] 869*2^1241836-1 is not prime. Res64: AE42D5A1042256AB Time : 0.0 sec. user=mdettweiler [2013-03-01 21:17:00] 927*2^1241836-1 is not prime. Res64: 6570212E02B22D2F Time : 0.0 sec. user=mdettweiler [2013-03-01 21:17:01] 933*2^1241836-1 is not prime. Res64: 453DC7F77C8661DE Time : 0.0 sec. user=mdettweiler [2013-03-01 21:17:01] 619*2^1241837-1 is not prime. Res64: 20CD3134EE2F9DAD Time : 0.0 sec. user=mdettweiler [2013-03-01 21:17:02] 757*2^1241837-1 is not prime. Res64: 110D854C87CCB8C7 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:34:26] 915*2^1241837-1 is not prime. Res64: 7BECA5A30B9BEFA1 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:34:26] 745*2^1241839-1 is not prime. Res64: 9C5DA7D1E46263C1 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:34:26] 971*2^1241838-1 is not prime. Res64: E8D8ABD53CDB197B Time : 0.0 sec. user=mdettweiler [2013-03-01 21:34:26] 765*2^1241839-1 is not prime. Res64: D5825C429A6C5B3D Time : 0.0 sec. user=mdettweiler [2013-03-01 21:51:50] 843*2^1241839-1 is not prime. Res64: 924BE59F37EB0038 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:51:51] 895*2^1241839-1 is not prime. Res64: 6BD6AC2FC8B5C9E6 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:51:52] 645*2^1241840-1 is not prime. Res64: 52890501BD191F91 Time : 0.0 sec. user=mdettweiler [2013-03-01 21:51:52] 669*2^1241840-1 is not prime. Res64: 5B18EE976033D62E Time : 0.0 sec. user=mdettweiler [2013-03-01 22:09:47] 677*2^1241840-1 is not prime. Res64: 55C016379DBE4593 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:09:48] 843*2^1241840-1 is not prime. Res64: C948F43BCFF8426D Time : 0.0 sec. user=mdettweiler [2013-03-01 22:09:49] 827*2^1241840-1 is not prime. Res64: 1370B0F390E8C943 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:09:50] 927*2^1241840-1 is not prime. Res64: D1BB520F90ABF570 Time : 0.0 sec. user=juhehe [2013-03-01 22:11:47] 795*2^1241837-1 is not prime. Res64: 89105F71569DD506 Time : 0.0 sec. user=juhehe [2013-03-01 22:12:29] 837*2^1241837-1 is not prime. Res64: 2FACC37FDCC17750 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:27:17] 625*2^1241841-1 is not prime. Res64: A886E2D5AE64EDC7 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:27:17] 651*2^1241841-1 is not prime. Res64: 1515C05AA592F131 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:27:19] 739*2^1241841-1 is not prime. Res64: 8F1D036B2186A5A4 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:27:19] 747*2^1241841-1 is not prime. Res64: DC7DEB5E60227F28 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:44:41] 751*2^1241841-1 is not prime. Res64: 136E90DAB40A6842 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:44:41] 795*2^1241841-1 is not prime. Res64: 1F19C8E549F7A247 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:44:43] 877*2^1241841-1 is not prime. Res64: 1EC7B1CEED1272C7 Time : 0.0 sec. user=mdettweiler [2013-03-01 22:44:43] 885*2^1241841-1 is not prime. Res64: 7DDBBCE039E4F911 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:02:05] 895*2^1241841-1 is not prime. Res64: 272280D48578E060 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:02:06] 969*2^1241841-1 is not prime. Res64: 110C35BA1BC3073A Time : 0.0 sec. user=mdettweiler [2013-03-01 23:02:08] 681*2^1241842-1 is not prime. Res64: E8F7E6B46E5F4871 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:02:09] 737*2^1241842-1 is not prime. Res64: AAFEA2B4DBAC6BE2 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:19:33] 755*2^1241842-1 is not prime. Res64: 977C117C698EF68D Time : 0.0 sec. user=mdettweiler [2013-03-01 23:19:34] 777*2^1241842-1 is not prime. Res64: 62CC328E947F1C8A Time : 0.0 sec. user=mdettweiler [2013-03-01 23:19:35] 843*2^1241842-1 is not prime. Res64: 9C4F0C43AFFF2D25 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:19:35] 1001*2^1241842-1 is not prime. Res64: DE8F86A19BA9A2C0 Time : 0.0 sec. user=juhehe [2013-03-01 23:28:06] 741*2^1241842-1 is not prime. Res64: 6591EFA05089F8C1 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:37:00] 715*2^1241843-1 is not prime. Res64: 4EFFDC53C8CB8DDA Time : 0.0 sec. user=mdettweiler [2013-03-01 23:37:01] 811*2^1241843-1 is not prime. Res64: BC9A5C8938D1B238 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:37:02] 693*2^1241844-1 is not prime. Res64: 8B554CEE4B5FF5BF Time : 0.0 sec. user=mdettweiler [2013-03-01 23:37:03] 705*2^1241844-1 is not prime. Res64: 322CBD751EC29870 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:54:26] 707*2^1241844-1 is not prime. Res64: 2EAEB21F3869116C Time : 0.0 sec. user=mdettweiler [2013-03-01 23:54:26] 789*2^1241844-1 is not prime. Res64: 01C82D39D23EDEE9 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:54:27] 609*2^1241845-1 is not prime. Res64: 27EC4BEC87BFED72 Time : 0.0 sec. user=mdettweiler [2013-03-01 23:54:28] 751*2^1241845-1 is not prime. Res64: 822CC9B9D34E3327 Time : 0.0 sec.