user=mdettweiler [2012-01-27 00:01:35] 695*2^1002880-1 is not prime. Res64: 9E1C29EAE722A1DB Time : 0.0 sec. user=mdettweiler [2012-01-27 00:01:35] 717*2^1002880-1 is not prime. Res64: 6F02B8383DE098DE Time : 0.0 sec. user=mdettweiler [2012-01-27 00:03:22] 921*2^1002879-1 is not prime. Res64: ADFAE3E5FC3B9D57 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:03:23] 635*2^1002880-1 is not prime. Res64: 2EA7798A39916AAC Time : 0.0 sec. user=mdettweiler [2012-01-27 00:03:54] 875*2^1002880-1 is not prime. Res64: DCCC9856BEF13CC1 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:03:54] 915*2^1002880-1 is not prime. Res64: 3281D161B2173210 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:06:33] 697*2^1002881-1 is not prime. Res64: 5ECC5AE7EA7F719E Time : 0.0 sec. user=mdettweiler [2012-01-27 00:06:34] 747*2^1002881-1 is not prime. Res64: 6AFEBAB67EC72982 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:23:39] 861*2^1002881-1 is not prime. Res64: E5ADD712065CCDC1 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:23:40] 955*2^1002881-1 is not prime. Res64: 89952DF407BE43CA Time : 0.0 sec. user=mdettweiler [2012-01-27 00:23:48] 683*2^1002882-1 is not prime. Res64: 591A5EA752F313F6 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:23:49] 713*2^1002882-1 is not prime. Res64: 0DA8DF978F4ADA25 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:26:24] 735*2^1002882-1 is not prime. Res64: 0ACA642702D0CD01 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:26:25] 791*2^1002882-1 is not prime. Res64: 0A0C7ED0F09FB50A Time : 0.0 sec. user=mdettweiler [2012-01-27 00:27:46] 987*2^1002881-1 is not prime. Res64: DD8429102B786EDD Time : 0.0 sec. user=mdettweiler [2012-01-27 00:27:47] 991*2^1002881-1 is not prime. Res64: 1CA53C8BF483697E Time : 0.0 sec. user=mdettweiler [2012-01-27 00:34:36] 711*2^1002857-1 is not prime. Res64: 821293AD1C067EF3 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:34:37] 735*2^1002857-1 is not prime. Res64: BF0ADD0EAF67C72A Time : 0.0 sec. user=mdettweiler [2012-01-27 00:45:53] 797*2^1002882-1 is not prime. Res64: 6CDA76EA84EE0AAD Time : 0.0 sec. user=mdettweiler [2012-01-27 00:45:54] 923*2^1002882-1 is not prime. Res64: EE65992D6C644C5B Time : 0.0 sec. user=mdettweiler [2012-01-27 00:45:56] 941*2^1002882-1 is not prime. Res64: FB761B55449DBDCC Time : 0.0 sec. user=mdettweiler [2012-01-27 00:45:57] 709*2^1002883-1 is not prime. Res64: 3A46D5D696D744FF Time : 0.0 sec. user=mdettweiler [2012-01-27 00:46:15] 751*2^1002883-1 is not prime. Res64: CC325FDA5B3CD69E Time : 0.0 sec. user=mdettweiler [2012-01-27 00:46:16] 775*2^1002883-1 is not prime. Res64: D9CB797289269B9F Time : 0.0 sec. user=mdettweiler [2012-01-27 00:49:51] 895*2^1002883-1 is not prime. Res64: C3CE819814A12722 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:49:52] 915*2^1002883-1 is not prime. Res64: 373566ABB818D444 Time : 0.0 sec. user=mdettweiler [2012-01-27 00:51:32] 865*2^1002857-1 is not prime. Res64: 8CF3B7CFAA11CA6A Time : 0.0 sec. user=mdettweiler [2012-01-27 00:51:33] 879*2^1002857-1 is not prime. Res64: 1907718F8112A5AD Time : 0.0 sec. user=mdettweiler [2012-01-27 01:05:41] 749*2^1002884-1 is not prime. Res64: 8214122496C17CFD Time : 0.0 sec. user=mdettweiler [2012-01-27 01:05:43] 843*2^1002884-1 is not prime. Res64: 49AF947080058B6A Time : 0.0 sec. user=mdettweiler [2012-01-27 01:05:48] 903*2^1002884-1 is not prime. Res64: 0C10C6BAA48D9F82 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:05:49] 607*2^1002885-1 is not prime. Res64: 2361C39BE459FAC6 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:06:00] 805*2^1002885-1 is not prime. Res64: 13E546AF0D01295D Time : 0.0 sec. user=mdettweiler [2012-01-27 01:06:04] 895*2^1002885-1 is not prime. Res64: F007F4F3B9FD2D49 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:11:54] 975*2^1002885-1 is not prime. Res64: AD660FA603E1B6D0 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:11:55] 741*2^1002886-1 is not prime. Res64: 761417AD54617857 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:16:55] 951*2^1002859-1 is not prime. Res64: 5FC20BB4505ADB9B Time : 0.0 sec. user=mdettweiler [2012-01-27 01:16:55] 973*2^1002859-1 is not prime. Res64: BB12E50072F249D7 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:25:54] 609*2^1002887-1 is not prime. Res64: 7117C809DD4D17AE Time : 0.0 sec. user=mdettweiler [2012-01-27 01:25:55] 651*2^1002887-1 is not prime. Res64: 7B22ACB6B7FE2413 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:28:01] 867*2^1002886-1 is not prime. Res64: 3389AF41932678AD Time : 0.0 sec. user=mdettweiler [2012-01-27 01:28:01] 917*2^1002886-1 is not prime. Res64: F48073EB422ABA13 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:28:04] 801*2^1002886-1 is not prime. Res64: 7AAE63D104EAF586 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:28:05] 971*2^1002886-1 is not prime. Res64: F77036A694010A1E Time : 0.0 sec. user=mdettweiler [2012-01-27 01:31:40] 729*2^1002887-1 is not prime. Res64: 33B640DFB0FE3043 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:31:41] 813*2^1002887-1 is not prime. Res64: 3FF10E9675A9F66C Time : 0.0 sec. user=MyDogBuster [2012-01-27 01:32:30] 669*2^1002887-1 is not prime. Res64: 0C2FE454FD783ACB Time : 0.0 sec. user=mdettweiler [2012-01-27 01:47:51] 809*2^1002888-1 is not prime. Res64: 71E074572FA351D1 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:47:52] 887*2^1002888-1 is not prime. Res64: 27D1D6E31F5ED4CA Time : 0.0 sec. user=mdettweiler [2012-01-27 01:48:02] 901*2^1002887-1 is not prime. Res64: D5A909E10D8FB2EE Time : 0.0 sec. user=mdettweiler [2012-01-27 01:48:03] 985*2^1002887-1 is not prime. Res64: 551B35AC4463B4ED Time : 0.0 sec. user=mdettweiler [2012-01-27 01:50:08] 899*2^1002888-1 is not prime. Res64: 8AF7DC0B33D5C198 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:50:09] 915*2^1002888-1 is not prime. Res64: 5160CEBCA13772A8 Time : 0.0 sec. user=mdettweiler [2012-01-27 01:53:46] 957*2^1002888-1 is not prime. Res64: 5875DE903E8C816E Time : 0.0 sec. user=mdettweiler [2012-01-27 01:53:47] 609*2^1002889-1 is not prime. Res64: 3A5071F71F37A3BF Time : 0.0 sec. user=mdettweiler [2012-01-27 01:59:34] 939*2^1002883-1 is not prime. Res64: 20734C60B62D5DAA Time : 0.0 sec. user=mdettweiler [2012-01-27 01:59:34] 665*2^1002884-1 is not prime. Res64: 9AEF9415F8267086 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:07:40] 639*2^1002889-1 is not prime. Res64: B0973780207E5E05 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:07:42] 679*2^1002889-1 is not prime. Res64: 9D2F98F99F270C30 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:07:47] 765*2^1002889-1 is not prime. Res64: 3054A529DB1667DE Time : 0.0 sec. user=mdettweiler [2012-01-27 02:07:48] 799*2^1002889-1 is not prime. Res64: C967DD262764FD2C Time : 0.0 sec. user=mdettweiler [2012-01-27 02:08:02] 773*2^1002886-1 is not prime. Res64: 03E9C10A7F5B9F8C Time : 0.0 sec. user=mdettweiler [2012-01-27 02:08:04] 785*2^1002886-1 is not prime. Res64: A45BC8991C33ED86 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:09:54] 829*2^1002889-1 is not prime. Res64: 274396DAD4016E2C Time : 0.0 sec. user=mdettweiler [2012-01-27 02:09:55] 635*2^1002890-1 is not prime. Res64: AA6DCA93F8D4C09A Time : 0.0 sec. user=mdettweiler [2012-01-27 02:13:38] 641*2^1002890-1 is not prime. Res64: E92313F2FEACC082 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:13:40] 701*2^1002890-1 is not prime. Res64: CD50E9996FCAF36F Time : 0.0 sec. user=mdettweiler [2012-01-27 02:27:38] 711*2^1002891-1 is not prime. Res64: 11D3DC48472FBDB4 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:27:38] 783*2^1002891-1 is not prime. Res64: 667F56F838E41F32 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:29:42] 647*2^1002892-1 is not prime. Res64: 86188633C31B20AC Time : 0.0 sec. user=mdettweiler [2012-01-27 02:29:43] 719*2^1002892-1 is not prime. Res64: D4A6EA4D592B3037 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:32:16] 931*2^1002891-1 is not prime. Res64: CC50D6EA7DD759A9 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:32:18] 949*2^1002891-1 is not prime. Res64: 4C2B5F36E894BAE7 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:33:27] 735*2^1002892-1 is not prime. Res64: 9DBACE60F96A402E Time : 0.0 sec. user=mdettweiler [2012-01-27 02:33:28] 743*2^1002892-1 is not prime. Res64: C8D0B2174A186B52 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:33:28] 841*2^1002887-1 is not prime. Res64: 9BB1A0BC29102919 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:33:30] 859*2^1002887-1 is not prime. Res64: B797C4C76CE792F4 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:47:29] 777*2^1002892-1 is not prime. Res64: 7D90B87EAAA8FCA6 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:47:30] 807*2^1002892-1 is not prime. Res64: 10FDB8243CF88C82 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:49:29] 813*2^1002892-1 is not prime. Res64: 9CA89690893A2489 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:49:30] 873*2^1002892-1 is not prime. Res64: A2B2EB12D86074FA Time : 0.0 sec. user=mdettweiler [2012-01-27 02:53:11] 831*2^1002893-1 is not prime. Res64: 05BC095182BA51F0 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:53:11] 847*2^1002893-1 is not prime. Res64: 3DD9487CE49E43EF Time : 0.0 sec. user=mdettweiler [2012-01-27 02:54:15] 929*2^1002892-1 is not prime. Res64: 23E01227584E0043 Time : 0.0 sec. user=mdettweiler [2012-01-27 02:54:16] 789*2^1002893-1 is not prime. Res64: 8E4A75E6332F8125 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:09:19] 645*2^1002895-1 is not prime. Res64: 024DBE1132A78E99 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:09:21] 679*2^1002895-1 is not prime. Res64: 71989907FA3EFBD7 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:09:35] 783*2^1002894-1 is not prime. Res64: 25A82CFDFA1121E6 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:09:36] 983*2^1002894-1 is not prime. Res64: 9F01818FEFB9615E Time : 0.0 sec. user=mdettweiler [2012-01-27 03:13:02] 685*2^1002895-1 is not prime. Res64: FD43339B67BA5CC9 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:13:06] 859*2^1002895-1 is not prime. Res64: 4668DA3ABCB4794B Time : 0.0 sec. user=mdettweiler [2012-01-27 03:16:36] 913*2^1002895-1 is not prime. Res64: B1240D25814070BF Time : 0.0 sec. user=mdettweiler [2012-01-27 03:16:36] 623*2^1002896-1 is not prime. Res64: 4DB4E8A774DB88E0 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:25:05] 783*2^1002890-1 is not prime. Res64: 7246B7FC98B50564 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:25:05] 951*2^1002890-1 is not prime. Res64: EBB3CAFD4CB631BB Time : 0.0 sec. user=mdettweiler [2012-01-27 03:29:14] 899*2^1002896-1 is not prime. Res64: C2D4BC7DC0159175 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:29:15] 649*2^1002897-1 is not prime. Res64: 87142AB67F470517 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:29:46] 699*2^1002897-1 is not prime. Res64: 62A2F4D94C2AAFC5 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:29:46] 819*2^1002897-1 is not prime. Res64: DA35DB371380BEC6 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:33:04] 861*2^1002897-1 is not prime. Res64: 2B1AA2D4F55A7911 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:33:05] 867*2^1002897-1 is not prime. Res64: 7CE52E4364D771D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:33:26] 951*2^1002891-1 is not prime. Res64: 18A5B2A48F0A3B63 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:33:29] 617*2^1002892-1 is not prime. Res64: 1A2057A0D4BCC531 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:38:40] 889*2^1002897-1 is not prime. Res64: C43F16605D6410C2 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:38:41] 937*2^1002897-1 is not prime. Res64: AB0B5FF01630029B Time : 0.0 sec. user=mdettweiler [2012-01-27 03:48:58] 801*2^1002898-1 is not prime. Res64: 227976DC1C9C3C1C Time : 0.0 sec. user=mdettweiler [2012-01-27 03:48:58] 825*2^1002898-1 is not prime. Res64: EBB5C663B5C6F268 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:49:31] 827*2^1002898-1 is not prime. Res64: 7E9218BB8BFF01EF Time : 0.0 sec. user=mdettweiler [2012-01-27 03:49:31] 857*2^1002898-1 is not prime. Res64: 2A050534A13814CC Time : 0.0 sec. user=mdettweiler [2012-01-27 03:50:16] 871*2^1002893-1 is not prime. Res64: 3ECDDA805B826A71 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:50:16] 621*2^1002894-1 is not prime. Res64: 54DA34B2FC73F189 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:55:08] 867*2^1002898-1 is not prime. Res64: CF9DDA1AFEC8F452 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:55:09] 957*2^1002898-1 is not prime. Res64: 6A4B65A3F6B87B51 Time : 0.0 sec. user=mdettweiler [2012-01-27 03:58:24] 741*2^1002899-1 is not prime. Res64: 2211FDCAB3DFA7DA Time : 0.0 sec. user=mdettweiler [2012-01-27 03:58:24] 745*2^1002899-1 is not prime. Res64: 181CD099BE86044B Time : 0.0 sec. user=mdettweiler [2012-01-27 04:08:43] 759*2^1002899-1 is not prime. Res64: 6039FBA1AD85D3A3 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:08:44] 813*2^1002899-1 is not prime. Res64: 11E1C0EFE61AF045 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:11:37] 843*2^1002899-1 is not prime. Res64: FB98D398BDBE85CE Time : 0.0 sec. user=mdettweiler [2012-01-27 04:11:38] 943*2^1002899-1 is not prime. Res64: C8483A7BAFFEF737 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:14:59] 887*2^1002900-1 is not prime. Res64: 54869EAA00C179E8 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:14:59] 649*2^1002901-1 is not prime. Res64: 6E6E4504D9C35C7A Time : 0.0 sec. user=mdettweiler [2012-01-27 04:18:09] 685*2^1002901-1 is not prime. Res64: 29E546238AFE1354 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:18:09] 691*2^1002901-1 is not prime. Res64: ED5B0FF3F70E673C Time : 0.0 sec. user=mdettweiler [2012-01-27 04:28:31] 789*2^1002901-1 is not prime. Res64: F7B28366B200D700 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:28:32] 847*2^1002901-1 is not prime. Res64: C5285FD9DAB65A8C Time : 0.0 sec. user=mdettweiler [2012-01-27 04:31:23] 861*2^1002901-1 is not prime. Res64: 021D1D4F330736A2 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:31:25] 871*2^1002901-1 is not prime. Res64: 8316AB053E3E778E Time : 0.0 sec. user=mdettweiler [2012-01-27 04:37:00] 877*2^1002901-1 is not prime. Res64: 3BFF6BF8CD561017 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:37:01] 961*2^1002901-1 is not prime. Res64: 94858457D2E31C95 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:37:55] 603*2^1002902-1 is not prime. Res64: B57124630F71B1F4 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:37:56] 771*2^1002902-1 is not prime. Res64: 12B7277415D39CE4 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:40:46] 645*2^1002898-1 is not prime. Res64: 04A8650D935326DF Time : 0.0 sec. user=mdettweiler [2012-01-27 04:40:46] 657*2^1002898-1 is not prime. Res64: 6476522FB42DF81D Time : 0.0 sec. user=mdettweiler [2012-01-27 04:48:20] 885*2^1002902-1 is not prime. Res64: 554D3D9636CCE5DB Time : 0.0 sec. user=mdettweiler [2012-01-27 04:48:21] 675*2^1002903-1 is not prime. Res64: 2F82D90E8AF73D72 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:49:14] 669*2^1002899-1 is not prime. Res64: F6EFC8908BD9A40E Time : 0.0 sec. user=mdettweiler [2012-01-27 04:49:14] 685*2^1002899-1 is not prime. Res64: 96CF9B3108E7FA2C Time : 0.0 sec. user=mdettweiler [2012-01-27 04:53:25] 723*2^1002903-1 is not prime. Res64: 1FC2A56DEB980D53 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:53:26] 913*2^1002903-1 is not prime. Res64: 51564E2C4950B9EC Time : 0.0 sec. user=mdettweiler [2012-01-27 04:57:44] 609*2^1002904-1 is not prime. Res64: B6A11EF7ED478B17 Time : 0.0 sec. user=mdettweiler [2012-01-27 04:57:45] 615*2^1002904-1 is not prime. Res64: 1B67A56AE29B7C65 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:01:22] 963*2^1002903-1 is not prime. Res64: 720ADF9A94437D9C Time : 0.0 sec. user=mdettweiler [2012-01-27 05:01:23] 985*2^1002903-1 is not prime. Res64: 3A580C184D26F575 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:06:06] 647*2^1002900-1 is not prime. Res64: 2B97A902A669FEF5 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:06:08] 779*2^1002900-1 is not prime. Res64: D36A8EF76AB0321E Time : 0.0 sec. user=mdettweiler [2012-01-27 05:08:11] 677*2^1002904-1 is not prime. Res64: D416D3D90175854B Time : 0.0 sec. user=mdettweiler [2012-01-27 05:08:12] 875*2^1002904-1 is not prime. Res64: A58C380182ED2150 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:15:30] 989*2^1002904-1 is not prime. Res64: 9FD95DCE0ACC3387 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:15:30] 657*2^1002905-1 is not prime. Res64: 0C621A306347D1C0 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:17:29] 685*2^1002905-1 is not prime. Res64: 9681081DA0036FAB Time : 0.0 sec. user=mdettweiler [2012-01-27 05:17:30] 729*2^1002905-1 is not prime. Res64: 8BB10876C854DCE3 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:21:15] 861*2^1002905-1 is not prime. Res64: 483D32DF5949C842 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:21:15] 909*2^1002905-1 is not prime. Res64: 7C23A73CBC25E44B Time : 0.0 sec. user=mdettweiler [2012-01-27 05:28:00] 713*2^1002906-1 is not prime. Res64: 6C70B935D37D6F31 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:28:00] 777*2^1002906-1 is not prime. Res64: 01C3B07CA2D2ED82 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:35:13] 905*2^1002906-1 is not prime. Res64: EFD3CEFC6C404B30 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:35:13] 615*2^1002907-1 is not prime. Res64: 2743EB9BE8D85E18 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:37:13] 769*2^1002907-1 is not prime. Res64: 78A051ACDEDAB3E4 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:37:14] 835*2^1002907-1 is not prime. Res64: 1312CD020243A185 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:41:00] 871*2^1002907-1 is not prime. Res64: BD1965B473243455 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:41:01] 891*2^1002907-1 is not prime. Res64: 85058E169B9E0812 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:50:03] 915*2^1002907-1 is not prime. Res64: 115BD9B328FF3432 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:50:03] 657*2^1002908-1 is not prime. Res64: BC2580C895582274 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:55:03] 837*2^1002908-1 is not prime. Res64: 00CB958E4943F70A Time : 0.0 sec. user=mdettweiler [2012-01-27 05:55:03] 867*2^1002908-1 is not prime. Res64: 497530CDEA34CE4B Time : 0.0 sec. user=mdettweiler [2012-01-27 05:56:40] 623*2^1002904-1 is not prime. Res64: 13A8E805C7EF57C0 Time : 0.0 sec. user=mdettweiler [2012-01-27 05:56:40] 645*2^1002904-1 is not prime. Res64: AE25086AF1EFAE47 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:00:46] 621*2^1002909-1 is not prime. Res64: 256A0F79846843AA Time : 0.0 sec. user=mdettweiler [2012-01-27 06:00:47] 649*2^1002909-1 is not prime. Res64: 495733444CAF9C71 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:01:32] 987*2^1002908-1 is not prime. Res64: CBAEE512B608CDCF Time : 0.0 sec. user=mdettweiler [2012-01-27 06:01:34] 995*2^1002908-1 is not prime. Res64: D12FB2EAAF419DA9 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:09:51] 781*2^1002909-1 is not prime. Res64: BB0E9C12B7BB612C Time : 0.0 sec. user=mdettweiler [2012-01-27 06:09:52] 885*2^1002909-1 is not prime. Res64: 2A781315BC6F047C Time : 0.0 sec. user=mdettweiler [2012-01-27 06:13:37] 899*2^1002904-1 is not prime. Res64: 5067FB956BB85101 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:13:37] 939*2^1002904-1 is not prime. Res64: DB7BA336575280B4 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:14:50] 895*2^1002909-1 is not prime. Res64: B1507CD30601CE04 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:14:50] 603*2^1002910-1 is not prime. Res64: 49AEB90BE312591D Time : 0.0 sec. user=mdettweiler [2012-01-27 06:20:37] 723*2^1002910-1 is not prime. Res64: A7BE4D01B1BB7F27 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:20:37] 863*2^1002910-1 is not prime. Res64: D3F40456759C6D1A Time : 0.0 sec. user=mdettweiler [2012-01-27 06:25:59] 923*2^1002910-1 is not prime. Res64: CB32225190AB9F39 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:26:00] 965*2^1002910-1 is not prime. Res64: C814348B6B9B329F Time : 0.0 sec. user=mdettweiler [2012-01-27 06:29:41] 669*2^1002911-1 is not prime. Res64: EFC6D54C1622A112 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:29:42] 759*2^1002911-1 is not prime. Res64: ADD40A9AC12510E4 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:34:40] 725*2^1002912-1 is not prime. Res64: CFBE97B5B1A682E9 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:34:40] 767*2^1002912-1 is not prime. Res64: 313060F359C736C4 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:38:59] 939*2^1002905-1 is not prime. Res64: 5122DA990399C615 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:38:59] 955*2^1002905-1 is not prime. Res64: 90F8C2A6989448EC Time : 0.0 sec. user=mdettweiler [2012-01-27 06:40:19] 797*2^1002912-1 is not prime. Res64: 60AF031F4C838A6C Time : 0.0 sec. user=mdettweiler [2012-01-27 06:40:19] 819*2^1002912-1 is not prime. Res64: 1D3CA5E34B6CA71E Time : 0.0 sec. user=mdettweiler [2012-01-27 06:48:05] 873*2^1002912-1 is not prime. Res64: C1B1FBE4CFA4CDD8 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:48:05] 929*2^1002912-1 is not prime. Res64: 1320FFD9356C7A0B Time : 0.0 sec. user=mdettweiler [2012-01-27 06:49:30] 607*2^1002913-1 is not prime. Res64: FB7BA8D46DB43436 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:49:31] 649*2^1002913-1 is not prime. Res64: C17150A229ECF637 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:54:28] 675*2^1002913-1 is not prime. Res64: ED61B5EB3BF7CD41 Time : 0.0 sec. user=mdettweiler [2012-01-27 06:54:28] 771*2^1002913-1 is not prime. Res64: 6F09D3713ECD9E61 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:00:07] 819*2^1002913-1 is not prime. Res64: 28F575C632EE0809 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:00:09] 835*2^1002913-1 is not prime. Res64: 523AE6353B79B4D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:07:53] 885*2^1002913-1 is not prime. Res64: F409F70EC3A25AC6 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:07:54] 641*2^1002914-1 is not prime. Res64: 65FAE214EED37D7A Time : 0.0 sec. user=mdettweiler [2012-01-27 07:11:33] 935*2^1002914-1 is not prime. Res64: 93067D40DB3166B0 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:11:35] 711*2^1002915-1 is not prime. Res64: 4D219217032A9B74 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:12:35] 657*2^1002910-1 is not prime. Res64: 050B31B6944E9722 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:12:35] 687*2^1002910-1 is not prime. Res64: 08B8153A4D618E59 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:14:16] 793*2^1002915-1 is not prime. Res64: F598B286F7B1E52B Time : 0.0 sec. user=mdettweiler [2012-01-27 07:14:17] 801*2^1002915-1 is not prime. Res64: ECC6073B546430DB Time : 0.0 sec. user=mdettweiler [2012-01-27 07:22:15] 903*2^1002915-1 is not prime. Res64: F02CB8FFDE35BA9D Time : 0.0 sec. user=mdettweiler [2012-01-27 07:22:16] 913*2^1002915-1 is not prime. Res64: 26FBE0A0D7314070 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:27:43] 699*2^1002916-1 is not prime. Res64: 8B0C8C1B59C50CAF Time : 0.0 sec. user=mdettweiler [2012-01-27 07:27:43] 803*2^1002916-1 is not prime. Res64: 29159CFCCF2A42AA Time : 0.0 sec. user=mdettweiler [2012-01-27 07:33:48] 855*2^1002916-1 is not prime. Res64: 72EEA5847297F30C Time : 0.0 sec. user=mdettweiler [2012-01-27 07:33:49] 923*2^1002916-1 is not prime. Res64: 78FE59AE0F807A9C Time : 0.0 sec. user=mdettweiler [2012-01-27 07:34:14] 691*2^1002917-1 is not prime. Res64: 12BEB32B6982C219 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:34:15] 729*2^1002917-1 is not prime. Res64: DE669B011ECAF1BC Time : 0.0 sec. user=mdettweiler [2012-01-27 07:38:06] 841*2^1002911-1 is not prime. Res64: 1D954D23256D6614 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:38:06] 913*2^1002911-1 is not prime. Res64: 92389B18941D2906 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:44:24] 957*2^1002917-1 is not prime. Res64: 41B832BA601213A1 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:44:24] 681*2^1002918-1 is not prime. Res64: 775E07724CDEC72F Time : 0.0 sec. user=mdettweiler [2012-01-27 07:47:32] 725*2^1002918-1 is not prime. Res64: 98AF19B866A2BC86 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:47:32] 797*2^1002918-1 is not prime. Res64: 760FDAF9CCD83266 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:54:56] 789*2^1002913-1 is not prime. Res64: 641DF3C24C92C025 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:54:56] 805*2^1002913-1 is not prime. Res64: 62C05B92A319BEAE Time : 0.0 sec. user=mdettweiler [2012-01-27 07:55:53] 891*2^1002918-1 is not prime. Res64: 543BD29A42D9DE4C Time : 0.0 sec. user=mdettweiler [2012-01-27 07:55:53] 941*2^1002918-1 is not prime. Res64: 2C50BBAF95C81983 Time : 0.0 sec. user=mdettweiler [2012-01-27 07:56:24] 963*2^1002918-1 is not prime. Res64: 41D99B710C86469C Time : 0.0 sec. user=mdettweiler [2012-01-27 07:56:25] 729*2^1002919-1 is not prime. Res64: 0DE2F17AD4C33AD6 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:06:32] 873*2^1002919-1 is not prime. Res64: 3E511F45AAA379C6 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:06:34] 975*2^1002919-1 is not prime. Res64: CB2026CB7EBC76E7 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:07:21] 615*2^1002920-1 is not prime. Res64: 33CE08009537924A Time : 0.0 sec. user=mdettweiler [2012-01-27 08:07:24] 665*2^1002920-1 is not prime. Res64: 35309CB9098E3197 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:15:42] 843*2^1002920-1 is not prime. Res64: BB90A2E3C4311A5C Time : 0.0 sec. user=mdettweiler [2012-01-27 08:15:43] 857*2^1002920-1 is not prime. Res64: C89ACD4A738806C9 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:20:43] 915*2^1002920-1 is not prime. Res64: BFE0896F39374C8D Time : 0.0 sec. user=mdettweiler [2012-01-27 08:20:44] 959*2^1002920-1 is not prime. Res64: 7EF2D6877AE79AE1 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:27:19] 705*2^1002921-1 is not prime. Res64: 8DC0870395042C2B Time : 0.0 sec. user=mdettweiler [2012-01-27 08:27:20] 745*2^1002921-1 is not prime. Res64: 73CE74C552F67D78 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:28:45] 999*2^1002920-1 is not prime. Res64: 8161B9894DE0DDAA Time : 0.0 sec. user=mdettweiler [2012-01-27 08:28:45] 625*2^1002921-1 is not prime. Res64: 385763E1B225395C Time : 0.0 sec. user=mdettweiler [2012-01-27 08:36:59] 933*2^1002916-1 is not prime. Res64: 66336C53FAC865DE Time : 0.0 sec. user=mdettweiler [2012-01-27 08:37:00] 631*2^1002917-1 is not prime. Res64: F490B42E94BDBD0F Time : 0.0 sec. user=mdettweiler [2012-01-27 08:37:45] 949*2^1002921-1 is not prime. Res64: 5C308958ACE0F535 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:37:45] 617*2^1002922-1 is not prime. Res64: E52C2787F1624870 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:40:33] 621*2^1002922-1 is not prime. Res64: FC519B518F0A3382 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:40:33] 677*2^1002922-1 is not prime. Res64: 955D3D17E404CF11 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:47:07] 717*2^1002922-1 is not prime. Res64: C00581F1C5E084FC Time : 0.0 sec. user=mdettweiler [2012-01-27 08:47:08] 731*2^1002922-1 is not prime. Res64: 84FAA1BB8A462E65 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:50:46] 891*2^1002922-1 is not prime. Res64: FF4DC3BAF56A7AE9 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:50:47] 917*2^1002922-1 is not prime. Res64: 08B241DA185097D6 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:53:59] 841*2^1002919-1 is not prime. Res64: 76FF590E6FEDF2D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:53:59] 861*2^1002919-1 is not prime. Res64: 914551B75FB8B304 Time : 0.0 sec. user=mdettweiler [2012-01-27 08:57:32] 739*2^1002923-1 is not prime. Res64: 316E4F757C07CE8F Time : 0.0 sec. user=mdettweiler [2012-01-27 08:57:32] 861*2^1002923-1 is not prime. Res64: 390B3A4F39161195 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:04:56] 913*2^1002923-1 is not prime. Res64: DE25ACB8317D165D Time : 0.0 sec. user=mdettweiler [2012-01-27 09:04:58] 981*2^1002923-1 is not prime. Res64: 5610260ED42B4C73 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:06:58] 719*2^1002924-1 is not prime. Res64: 0E3F05A915BB898F Time : 0.0 sec. user=mdettweiler [2012-01-27 09:06:59] 893*2^1002924-1 is not prime. Res64: 60A5AA0F04E5E1FC Time : 0.0 sec. user=mdettweiler [2012-01-27 09:10:35] 607*2^1002925-1 is not prime. Res64: 29359D70EB3C43E4 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:10:36] 651*2^1002925-1 is not prime. Res64: 541763037639180D Time : 0.0 sec. user=mdettweiler [2012-01-27 09:10:52] 689*2^1002920-1 is not prime. Res64: E9378DCC31827395 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:10:52] 767*2^1002920-1 is not prime. Res64: F27648B2503D3506 Time : 0.0 sec. user=MyDogBuster [2012-01-27 09:15:33] 721*2^1002925-1 is not prime. Res64: 8D525A73112D66DD Time : 0.0 sec. user=mdettweiler [2012-01-27 09:17:21] 849*2^1002925-1 is not prime. Res64: E2EBF28A2CCC2545 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:17:22] 885*2^1002925-1 is not prime. Res64: EEFDC9EF1B186CA1 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:26:50] 813*2^1002926-1 is not prime. Res64: 7A1A2EA5985FACE7 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:26:51] 769*2^1002927-1 is not prime. Res64: 8F45B31C9DAF1499 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:27:09] 951*2^1002925-1 is not prime. Res64: 318D441C324D49C9 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:27:10] 693*2^1002926-1 is not prime. Res64: CB999A210AF28D50 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:32:49] 825*2^1002927-1 is not prime. Res64: E9671EE57ADBF500 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:32:49] 955*2^1002927-1 is not prime. Res64: 06FB8FCB30C69CF8 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:37:11] 687*2^1002928-1 is not prime. Res64: 3CA4E7C3027464C1 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:37:11] 713*2^1002928-1 is not prime. Res64: AFB8EE664D071921 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:46:59] 685*2^1002929-1 is not prime. Res64: A2FBC1EA170D6317 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:47:00] 729*2^1002929-1 is not prime. Res64: 568365E727D7A2A8 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:51:11] 927*2^1002928-1 is not prime. Res64: E2D1B4C29C7FD6D5 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:51:11] 995*2^1002928-1 is not prime. Res64: DE1A1E43251C2F07 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:52:40] 829*2^1002929-1 is not prime. Res64: DDC8D5CE5C4D1877 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:52:40] 847*2^1002929-1 is not prime. Res64: 56C3F537D52BA191 Time : 0.0 sec. user=mdettweiler [2012-01-27 09:52:51] 615*2^1002923-1 is not prime. Res64: EB61863C4FA803EC Time : 0.0 sec. user=mdettweiler [2012-01-27 09:52:51] 675*2^1002923-1 is not prime. Res64: CA3371A7A7E79DEB Time : 0.0 sec. user=mdettweiler [2012-01-27 10:01:33] 925*2^1002929-1 is not prime. Res64: EC8449418C1B579F Time : 0.0 sec. user=mdettweiler [2012-01-27 10:01:35] 957*2^1002929-1 is not prime. Res64: BA5A2B1F1189B2C7 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:06:49] 723*2^1002930-1 is not prime. Res64: 995D693D81D3B309 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:06:49] 783*2^1002930-1 is not prime. Res64: 30B86F650CE11F02 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:09:50] 727*2^1002925-1 is not prime. Res64: FD7250BF52ABAEF0 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:09:51] 825*2^1002925-1 is not prime. Res64: 4FD75D2AE9DD132B Time : 0.0 sec. user=mdettweiler [2012-01-27 10:10:54] 791*2^1002930-1 is not prime. Res64: FF21A2939F235295 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:10:55] 797*2^1002930-1 is not prime. Res64: 5C48C99DC2C5D382 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:12:27] 875*2^1002930-1 is not prime. Res64: 2DCF38AC168EE280 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:12:27] 619*2^1002931-1 is not prime. Res64: 733B7CE2E8577C3A Time : 0.0 sec. user=mdettweiler [2012-01-27 10:21:25] 771*2^1002931-1 is not prime. Res64: 49CF31B964DAF837 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:21:26] 861*2^1002931-1 is not prime. Res64: 0A34E3A06EF04E2B Time : 0.0 sec. user=mdettweiler [2012-01-27 10:26:45] 629*2^1002928-1 is not prime. Res64: BF6E7070FD6A23FE Time : 0.0 sec. user=mdettweiler [2012-01-27 10:26:45] 635*2^1002928-1 is not prime. Res64: B9EFE9ECDBF2786C Time : 0.0 sec. user=mdettweiler [2012-01-27 10:29:01] 873*2^1002931-1 is not prime. Res64: E9CBC4BD1CF07F97 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:29:01] 925*2^1002931-1 is not prime. Res64: C282B122B3BD5465 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:30:49] 743*2^1002932-1 is not prime. Res64: EC0B282BD609AE09 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:30:49] 827*2^1002932-1 is not prime. Res64: 5F8B7BC2754D7194 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:34:33] 893*2^1002932-1 is not prime. Res64: F97D059DFB6E3375 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:34:33] 915*2^1002932-1 is not prime. Res64: E10CFA507F4EA3E0 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:41:13] 627*2^1002933-1 is not prime. Res64: 875BCF0FCF0E1FCB Time : 0.0 sec. user=mdettweiler [2012-01-27 10:41:14] 895*2^1002933-1 is not prime. Res64: D5E58A0092134C78 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:48:52] 635*2^1002934-1 is not prime. Res64: EFF17EBE161083CC Time : 0.0 sec. user=mdettweiler [2012-01-27 10:48:52] 695*2^1002934-1 is not prime. Res64: 508F6E0FCAB8F0F7 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:50:38] 765*2^1002934-1 is not prime. Res64: D413365E32818515 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:50:38] 773*2^1002934-1 is not prime. Res64: 212F4651FB4B9D77 Time : 0.0 sec. user=mdettweiler [2012-01-27 10:54:21] 825*2^1002934-1 is not prime. Res64: 417EC605289BB2AF Time : 0.0 sec. user=mdettweiler [2012-01-27 10:54:22] 827*2^1002934-1 is not prime. Res64: 291E02CBD008B533 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:03:20] 917*2^1002934-1 is not prime. Res64: 29D90643ADE23E8C Time : 0.0 sec. user=mdettweiler [2012-01-27 11:03:22] 609*2^1002935-1 is not prime. Res64: A9C6935FE50DC971 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:08:37] 753*2^1002935-1 is not prime. Res64: 3B907226E98B0B9C Time : 0.0 sec. user=mdettweiler [2012-01-27 11:08:38] 763*2^1002935-1 is not prime. Res64: 5AD72C82E11BCBCB Time : 0.0 sec. user=mdettweiler [2012-01-27 11:08:49] 625*2^1002931-1 is not prime. Res64: 2B8C833B173C643C Time : 0.0 sec. user=mdettweiler [2012-01-27 11:08:51] 639*2^1002931-1 is not prime. Res64: 7A000CEC3E6AD534 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:10:26] 783*2^1002935-1 is not prime. Res64: 268CCF4BC9FE33B7 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:10:27] 825*2^1002935-1 is not prime. Res64: 6B8BD915B973C118 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:16:25] 895*2^1002935-1 is not prime. Res64: C9EF0E0712D9CA16 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:16:25] 979*2^1002935-1 is not prime. Res64: 6193147BD055CBB1 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:23:23] 627*2^1002936-1 is not prime. Res64: 01FC1E4D2483994C Time : 0.0 sec. user=mdettweiler [2012-01-27 11:23:24] 705*2^1002936-1 is not prime. Res64: 725A40D28E6785FF Time : 0.0 sec. user=mdettweiler [2012-01-27 11:28:33] 717*2^1002936-1 is not prime. Res64: 35E2C6D99FBD129A Time : 0.0 sec. user=mdettweiler [2012-01-27 11:28:33] 765*2^1002936-1 is not prime. Res64: B446AF4E13DF657A Time : 0.0 sec. user=mdettweiler [2012-01-27 11:32:32] 893*2^1002936-1 is not prime. Res64: D41EC9A933A59792 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:32:32] 983*2^1002936-1 is not prime. Res64: B95227361E28F079 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:34:20] 979*2^1002931-1 is not prime. Res64: 52C0EC3D8E9060CE Time : 0.0 sec. user=mdettweiler [2012-01-27 11:34:20] 617*2^1002932-1 is not prime. Res64: 9D4B0ED6BFFB2634 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:36:14] 645*2^1002937-1 is not prime. Res64: D917453FBE23928E Time : 0.0 sec. user=mdettweiler [2012-01-27 11:36:14] 649*2^1002937-1 is not prime. Res64: 81CD0CE4AD97B463 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:43:11] 661*2^1002937-1 is not prime. Res64: 27B2F381D0256DC4 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:43:12] 867*2^1002937-1 is not prime. Res64: BC7FACBDDDDA2B3A Time : 0.0 sec. user=mdettweiler [2012-01-27 11:48:17] 603*2^1002938-1 is not prime. Res64: 4912004504F025AF Time : 0.0 sec. user=mdettweiler [2012-01-27 11:48:18] 633*2^1002938-1 is not prime. Res64: 9065648081418C01 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:52:18] 671*2^1002938-1 is not prime. Res64: 97111704E42F31B8 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:52:18] 827*2^1002938-1 is not prime. Res64: 650D479A05F20DA6 Time : 0.0 sec. user=mdettweiler [2012-01-27 11:56:02] 669*2^1002939-1 is not prime. Res64: 760D7F9CBBA09F7A Time : 0.0 sec. user=mdettweiler [2012-01-27 11:56:02] 685*2^1002939-1 is not prime. Res64: BA643E9E64C24B49 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:00:38] 955*2^1002933-1 is not prime. Res64: 1AEB585DA44F84AB Time : 0.0 sec. user=mdettweiler [2012-01-27 12:00:39] 985*2^1002933-1 is not prime. Res64: CC42B1C786EC7276 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:05:13] 835*2^1002939-1 is not prime. Res64: 98155C7A6627BD86 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:05:14] 961*2^1002939-1 is not prime. Res64: 1CDB2689E0F2C73E Time : 0.0 sec. user=mdettweiler [2012-01-27 12:08:07] 689*2^1002940-1 is not prime. Res64: 84D9D0AD9FFA5F78 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:08:08] 695*2^1002940-1 is not prime. Res64: 4AD3C2BAC7CBDB8A Time : 0.0 sec. user=mdettweiler [2012-01-27 12:12:06] 735*2^1002940-1 is not prime. Res64: A155E397E504D35C Time : 0.0 sec. user=mdettweiler [2012-01-27 12:12:10] 899*2^1002940-1 is not prime. Res64: 8A26FC7E5ADE4BED Time : 0.0 sec. user=mdettweiler [2012-01-27 12:18:00] 989*2^1002940-1 is not prime. Res64: 1EF63EC2380DD758 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:18:01] 651*2^1002941-1 is not prime. Res64: F8AE1C3369E76170 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:25:06] 679*2^1002941-1 is not prime. Res64: 0DB967B69EB70A52 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:25:07] 825*2^1002941-1 is not prime. Res64: E46609AD695DE36E Time : 0.0 sec. user=mdettweiler [2012-01-27 12:25:44] 815*2^1002936-1 is not prime. Res64: 0674703CCF7B9015 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:25:44] 849*2^1002936-1 is not prime. Res64: D87C192F3633DF05 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:30:10] 829*2^1002941-1 is not prime. Res64: 4A0F0767E71313F7 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:30:11] 957*2^1002941-1 is not prime. Res64: 44B16787731931D0 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:34:16] 967*2^1002941-1 is not prime. Res64: CFA1B4177F9CBB5F Time : 0.0 sec. user=mdettweiler [2012-01-27 12:34:17] 611*2^1002942-1 is not prime. Res64: C2EE3A6F5F86AF8B Time : 0.0 sec. user=mdettweiler [2012-01-27 12:37:49] 657*2^1002942-1 is not prime. Res64: AD671547E1194CAC Time : 0.0 sec. user=mdettweiler [2012-01-27 12:37:50] 677*2^1002942-1 is not prime. Res64: 3239FE0E2F1B5EEC Time : 0.0 sec. user=mdettweiler [2012-01-27 12:44:53] 683*2^1002942-1 is not prime. Res64: 7819BC2615BB63EE Time : 0.0 sec. user=mdettweiler [2012-01-27 12:44:53] 705*2^1002942-1 is not prime. Res64: C8572E50E9E225C8 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:49:59] 661*2^1002943-1 is not prime. Res64: 5C3C0F86036BFD9C Time : 0.0 sec. user=mdettweiler [2012-01-27 12:50:00] 663*2^1002943-1 is not prime. Res64: B1B2B6E31E9A7B07 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:54:01] 705*2^1002943-1 is not prime. Res64: 6042A698963B09D7 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:54:01] 723*2^1002943-1 is not prime. Res64: E763D32168CAFF68 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:57:35] 813*2^1002943-1 is not prime. Res64: 4B28BBAEFF9EBF0A Time : 0.0 sec. user=mdettweiler [2012-01-27 12:57:36] 895*2^1002943-1 is not prime. Res64: EEA54B907EB529C1 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:59:30] 935*2^1002938-1 is not prime. Res64: 4CE8AE9FD21BB8E8 Time : 0.0 sec. user=mdettweiler [2012-01-27 12:59:30] 649*2^1002939-1 is not prime. Res64: 7AF8CC66525F6DCF Time : 0.0 sec. user=mdettweiler [2012-01-27 13:07:12] 993*2^1002943-1 is not prime. Res64: CDF4EC47CE91D9B0 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:07:14] 657*2^1002944-1 is not prime. Res64: D504B3CA031D2E8C Time : 0.0 sec. user=mdettweiler [2012-01-27 13:10:04] 717*2^1002944-1 is not prime. Res64: 48B0A2FD316D2122 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:10:06] 903*2^1002944-1 is not prime. Res64: 03E8F894AB8C225C Time : 0.0 sec. user=mdettweiler [2012-01-27 13:16:20] 657*2^1002941-1 is not prime. Res64: 80634B5A608277BE Time : 0.0 sec. user=mdettweiler [2012-01-27 13:16:20] 675*2^1002941-1 is not prime. Res64: EB6CDC48A4EC15B7 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:17:44] 765*2^1002945-1 is not prime. Res64: 9CEB6CE22C1C103C Time : 0.0 sec. user=mdettweiler [2012-01-27 13:17:45] 861*2^1002945-1 is not prime. Res64: 53071EED18EABC5F Time : 0.0 sec. user=mdettweiler [2012-01-27 13:18:36] 909*2^1002944-1 is not prime. Res64: 770F9753DB8D006C Time : 0.0 sec. user=mdettweiler [2012-01-27 13:18:37] 983*2^1002944-1 is not prime. Res64: 4C655AD01DE56764 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:27:27] 611*2^1002946-1 is not prime. Res64: C21263E5B841D9EC Time : 0.0 sec. user=mdettweiler [2012-01-27 13:27:27] 741*2^1002946-1 is not prime. Res64: C2B94D7A9064DCD6 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:32:47] 857*2^1002946-1 is not prime. Res64: 8C29D798D725FEE0 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:32:47] 917*2^1002946-1 is not prime. Res64: 8B54380108BDCAEE Time : 0.0 sec. user=mdettweiler [2012-01-27 13:39:13] 651*2^1002947-1 is not prime. Res64: ADC90CFE132FD922 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:39:13] 669*2^1002947-1 is not prime. Res64: 3C30CE3EF8D1A7D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:42:53] 983*2^1002946-1 is not prime. Res64: 5F2307C2AA178B56 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:42:53] 987*2^1002946-1 is not prime. Res64: 5EEDC55F39210E75 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:48:00] 693*2^1002947-1 is not prime. Res64: 3068D6ADCC653514 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:48:00] 823*2^1002947-1 is not prime. Res64: 41C71287D4A234B8 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:49:54] 711*2^1002942-1 is not prime. Res64: 5A293167F0210988 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:49:55] 965*2^1002942-1 is not prime. Res64: DE275BCFB9B61DB5 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:53:06] 825*2^1002947-1 is not prime. Res64: 63D0FEFECABC0C8D Time : 0.0 sec. user=mdettweiler [2012-01-27 13:53:06] 841*2^1002947-1 is not prime. Res64: 1A1904759D57E973 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:59:30] 723*2^1002948-1 is not prime. Res64: BBBC3C010690DA57 Time : 0.0 sec. user=mdettweiler [2012-01-27 13:59:30] 839*2^1002948-1 is not prime. Res64: BBD355B061204427 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:07:37] 915*2^1002948-1 is not prime. Res64: 653771D1E498B624 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:07:40] 959*2^1002948-1 is not prime. Res64: BAD277F3226FC4C2 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:10:18] 987*2^1002948-1 is not prime. Res64: 374DF6A1AB3E2E50 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:10:19] 615*2^1002949-1 is not prime. Res64: FF8FCF0C69A6F641 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:15:21] 861*2^1002949-1 is not prime. Res64: B49FB69194FF8756 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:15:21] 945*2^1002949-1 is not prime. Res64: 3F5C4C6287F9D4B3 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:19:22] 711*2^1002950-1 is not prime. Res64: F59B746EFE82D0A3 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:19:22] 797*2^1002950-1 is not prime. Res64: F884491DFAE43D7B Time : 0.0 sec. user=mdettweiler [2012-01-27 14:23:46] 895*2^1002945-1 is not prime. Res64: D0ED7CE71212F041 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:23:47] 951*2^1002945-1 is not prime. Res64: 976BC18FFC20D664 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:29:48] 825*2^1002950-1 is not prime. Res64: 887C39F3464EDE06 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:29:49] 957*2^1002950-1 is not prime. Res64: 8052BDA9B4EEA3A2 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:30:15] 615*2^1002951-1 is not prime. Res64: E18AA1F7C171B3D3 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:30:16] 741*2^1002951-1 is not prime. Res64: 582310CDC26155E4 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:37:28] 783*2^1002951-1 is not prime. Res64: 328EE65077B839EE Time : 0.0 sec. user=mdettweiler [2012-01-27 14:37:28] 913*2^1002951-1 is not prime. Res64: 5504E81F538FC8D6 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:41:34] 975*2^1002951-1 is not prime. Res64: 26B6B212713CD783 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:41:34] 603*2^1002952-1 is not prime. Res64: E3B6226405671C18 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:49:06] 923*2^1002946-1 is not prime. Res64: 8864F488277261E2 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:49:06] 941*2^1002946-1 is not prime. Res64: 997D91FB7F10BA37 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:49:55] 665*2^1002952-1 is not prime. Res64: F2F68716E098765E Time : 0.0 sec. user=mdettweiler [2012-01-27 14:49:56] 759*2^1002952-1 is not prime. Res64: 6AEB23B6FCF20DA0 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:50:13] 825*2^1002952-1 is not prime. Res64: A47C0122EBB9F83A Time : 0.0 sec. user=mdettweiler [2012-01-27 14:50:14] 873*2^1002952-1 is not prime. Res64: 3195B7DA66E02411 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:59:44] 947*2^1002952-1 is not prime. Res64: 700D4CCDB7F89487 Time : 0.0 sec. user=mdettweiler [2012-01-27 14:59:44] 627*2^1002953-1 is not prime. Res64: 6132CF2BB807077C Time : 0.0 sec. user=mdettweiler [2012-01-27 15:01:30] 657*2^1002953-1 is not prime. Res64: 5DB0B5F035E25AD9 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:01:33] 675*2^1002953-1 is not prime. Res64: A28B772572B2383E Time : 0.0 sec. user=mdettweiler [2012-01-27 15:05:43] 681*2^1002949-1 is not prime. Res64: C294B85A1C8E26E3 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:05:45] 855*2^1002949-1 is not prime. Res64: 0BD1FAF3D7322FB4 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:10:02] 633*2^1002954-1 is not prime. Res64: 4D4DCD4E12AA516A Time : 0.0 sec. user=mdettweiler [2012-01-27 15:10:03] 711*2^1002954-1 is not prime. Res64: 74AF77E74B8BBC13 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:12:01] 981*2^1002953-1 is not prime. Res64: 0C3203FB5BC3B91A Time : 0.0 sec. user=mdettweiler [2012-01-27 15:12:02] 605*2^1002954-1 is not prime. Res64: F26D554F99A9C4A6 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:19:44] 747*2^1002954-1 is not prime. Res64: C06C3ADE3F22FDC3 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:19:44] 773*2^1002954-1 is not prime. Res64: 69BA52508F088D26 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:21:36] 825*2^1002954-1 is not prime. Res64: C6A065F7EC1C39EB Time : 0.0 sec. user=mdettweiler [2012-01-27 15:21:37] 851*2^1002954-1 is not prime. Res64: F84F0B4B0F457DE8 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:30:23] 601*2^1002955-1 is not prime. Res64: 867AA31A20E8B5A6 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:30:24] 603*2^1002955-1 is not prime. Res64: 8C9F0256859C9CBB Time : 0.0 sec. user=mdettweiler [2012-01-27 15:32:23] 801*2^1002955-1 is not prime. Res64: 8739D6D7DB60B9CB Time : 0.0 sec. user=mdettweiler [2012-01-27 15:32:23] 885*2^1002955-1 is not prime. Res64: 680DD7611403499E Time : 0.0 sec. user=mdettweiler [2012-01-27 15:39:31] 629*2^1002952-1 is not prime. Res64: A12A7359544E5B84 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:39:32] 645*2^1002952-1 is not prime. Res64: 074873375CEF6DD0 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:41:48] 707*2^1002956-1 is not prime. Res64: 343BB838BFCECE1C Time : 0.0 sec. user=mdettweiler [2012-01-27 15:41:49] 743*2^1002956-1 is not prime. Res64: 3DA5097AB5DFCF85 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:42:18] 961*2^1002955-1 is not prime. Res64: A03FA51015A1043F Time : 0.0 sec. user=mdettweiler [2012-01-27 15:42:19] 629*2^1002956-1 is not prime. Res64: 2E773BB37EDB29DE Time : 0.0 sec. user=mdettweiler [2012-01-27 15:50:28] 897*2^1002956-1 is not prime. Res64: 308EE5B93473ADD6 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:50:28] 899*2^1002956-1 is not prime. Res64: 237B2354C909C455 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:52:32] 903*2^1002956-1 is not prime. Res64: 284CD057A5A83A33 Time : 0.0 sec. user=mdettweiler [2012-01-27 15:52:32] 621*2^1002957-1 is not prime. Res64: 248A84023D2436A6 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:02:51] 723*2^1002958-1 is not prime. Res64: 13D12BD0E57332D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:02:54] 813*2^1002958-1 is not prime. Res64: B2A5973D89495AE0 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:04:26] 975*2^1002957-1 is not prime. Res64: 4364614E9F4A2CE3 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:04:26] 665*2^1002958-1 is not prime. Res64: 95CB53CA8E51D78A Time : 0.0 sec. user=mdettweiler [2012-01-27 16:13:19] 609*2^1002959-1 is not prime. Res64: 56AAE503010986DC Time : 0.0 sec. user=mdettweiler [2012-01-27 16:13:20] 859*2^1002959-1 is not prime. Res64: 6F40A64D968BFDA3 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:13:30] 847*2^1002953-1 is not prime. Res64: 4D81CA2CF602D220 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:13:31] 939*2^1002953-1 is not prime. Res64: 852AD784A659E0DD Time : 0.0 sec. user=mdettweiler [2012-01-27 16:15:35] 945*2^1002958-1 is not prime. Res64: 36B41602E81AAE96 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:15:35] 957*2^1002958-1 is not prime. Res64: BAD889E769135DA1 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:24:42] 633*2^1002960-1 is not prime. Res64: E0693C1C9A57B0A2 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:24:42] 879*2^1002960-1 is not prime. Res64: 17ECFFE1687F3E02 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:25:35] 865*2^1002959-1 is not prime. Res64: CD5922A56AF06E8D Time : 0.0 sec. user=mdettweiler [2012-01-27 16:25:35] 943*2^1002959-1 is not prime. Res64: 8545FC1E50D59A52 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:35:33] 717*2^1002961-1 is not prime. Res64: 02B0307B91EA58D4 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:35:33] 745*2^1002961-1 is not prime. Res64: 9D387C145D30C1CF Time : 0.0 sec. user=mdettweiler [2012-01-27 16:38:04] 917*2^1002960-1 is not prime. Res64: 4BA873E7328D6806 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:38:05] 975*2^1002960-1 is not prime. Res64: DFB5ED770B733FAB Time : 0.0 sec. user=mdettweiler [2012-01-27 16:38:58] 975*2^1002954-1 is not prime. Res64: 727D3FDBD4DCC8B6 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:38:58] 993*2^1002954-1 is not prime. Res64: 82542C86AE0BAF13 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:44:33] 775*2^1002961-1 is not prime. Res64: 855C53E85755DD43 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:44:33] 777*2^1002961-1 is not prime. Res64: F0EC354C357E983B Time : 0.0 sec. user=mdettweiler [2012-01-27 16:45:30] 811*2^1002961-1 is not prime. Res64: F39E940C7B367331 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:45:30] 829*2^1002961-1 is not prime. Res64: 399ED5CE83B49F06 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:57:44] 939*2^1002961-1 is not prime. Res64: AA20C9362B7E4E19 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:57:44] 603*2^1002962-1 is not prime. Res64: 9509E16E5D4C9C50 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:57:58] 677*2^1002962-1 is not prime. Res64: 907CF900018C5347 Time : 0.0 sec. user=mdettweiler [2012-01-27 16:57:58] 741*2^1002962-1 is not prime. Res64: EB3D3650F3B8249C Time : 0.0 sec. user=mdettweiler [2012-01-27 17:04:28] 735*2^1002963-1 is not prime. Res64: 2BB5B5FEF2FA28ED Time : 0.0 sec. user=mdettweiler [2012-01-27 17:04:29] 853*2^1002963-1 is not prime. Res64: 55202C538DF14487 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:07:48] 873*2^1002963-1 is not prime. Res64: 86EC0B71D98EAF5C Time : 0.0 sec. user=mdettweiler [2012-01-27 17:07:48] 985*2^1002963-1 is not prime. Res64: 95DED3822278C6B9 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:12:22] 915*2^1002957-1 is not prime. Res64: 39E0D2FBC25F2D60 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:12:23] 949*2^1002957-1 is not prime. Res64: 5012E8052F01BAE7 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:20:47] 695*2^1002964-1 is not prime. Res64: 05166E04F4325A18 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:20:48] 923*2^1002964-1 is not prime. Res64: EFB16955D829F72F Time : 0.0 sec. user=mdettweiler [2012-01-27 17:23:17] 959*2^1002964-1 is not prime. Res64: 48592610061E6AAD Time : 0.0 sec. user=mdettweiler [2012-01-27 17:23:17] 989*2^1002964-1 is not prime. Res64: 4B22DF3C207F862C Time : 0.0 sec. user=mdettweiler [2012-01-27 17:26:12] 655*2^1002965-1 is not prime. Res64: 2B2EAFFE747DE098 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:26:13] 679*2^1002965-1 is not prime. Res64: E5F0CA8BFD643FF9 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:29:21] 651*2^1002961-1 is not prime. Res64: 3CDFE6363791C52A Time : 0.0 sec. user=mdettweiler [2012-01-27 17:29:21] 705*2^1002961-1 is not prime. Res64: 50047DAA307D2DC1 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:31:43] 787*2^1002965-1 is not prime. Res64: 1DEE0CA860B4F089 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:31:43] 979*2^1002965-1 is not prime. Res64: 9FE292FAF4CA58AB Time : 0.0 sec. user=mdettweiler [2012-01-27 17:42:42] 833*2^1002966-1 is not prime. Res64: 2C7CBD2E959BA019 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:42:42] 861*2^1002966-1 is not prime. Res64: BC23892966DB7935 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:49:09] 903*2^1002966-1 is not prime. Res64: 02139B00B0AFF860 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:49:09] 941*2^1002966-1 is not prime. Res64: 39E72697AB5CD32E Time : 0.0 sec. user=mdettweiler [2012-01-27 17:51:47] 993*2^1002966-1 is not prime. Res64: 5A354435FD37638D Time : 0.0 sec. user=mdettweiler [2012-01-27 17:51:48] 639*2^1002967-1 is not prime. Res64: 52FE41CF2E08EF7D Time : 0.0 sec. user=mdettweiler [2012-01-27 17:54:53] 815*2^1002962-1 is not prime. Res64: D25F823FCB1283C4 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:54:53] 691*2^1002963-1 is not prime. Res64: 7AA3D694A174DDA5 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:57:10] 759*2^1002967-1 is not prime. Res64: B6476CBEBBA85375 Time : 0.0 sec. user=mdettweiler [2012-01-27 17:57:10] 909*2^1002967-1 is not prime. Res64: C570782B65EABA02 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:09:38] 925*2^1002967-1 is not prime. Res64: 2DACEA8EBFA2081F Time : 0.0 sec. user=mdettweiler [2012-01-27 18:09:39] 933*2^1002967-1 is not prime. Res64: CAE0E96CC301357A Time : 0.0 sec. user=mdettweiler [2012-01-27 18:10:11] 759*2^1002968-1 is not prime. Res64: 784FFFD047EA7102 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:10:12] 827*2^1002968-1 is not prime. Res64: 1A6BFC505895457B Time : 0.0 sec. user=mdettweiler [2012-01-27 18:14:15] 843*2^1002968-1 is not prime. Res64: 8B570411B3C49F40 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:14:15] 915*2^1002968-1 is not prime. Res64: 9656A7349FEF45BD Time : 0.0 sec. user=mdettweiler [2012-01-27 18:17:19] 627*2^1002969-1 is not prime. Res64: 1D9C5D039684E14A Time : 0.0 sec. user=mdettweiler [2012-01-27 18:17:19] 679*2^1002969-1 is not prime. Res64: 1C76FE7CB262263E Time : 0.0 sec. user=mdettweiler [2012-01-27 18:28:29] 707*2^1002966-1 is not prime. Res64: 11AC01FF447EDDBB Time : 0.0 sec. user=mdettweiler [2012-01-27 18:28:29] 795*2^1002966-1 is not prime. Res64: F86E06B18ECB8EC6 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:29:43] 705*2^1002969-1 is not prime. Res64: AFD88F12F594EEF0 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:29:43] 745*2^1002969-1 is not prime. Res64: 03D50DF4A690059F Time : 0.0 sec. user=mdettweiler [2012-01-27 18:30:14] 769*2^1002969-1 is not prime. Res64: EC306761B95DF01A Time : 0.0 sec. user=mdettweiler [2012-01-27 18:30:14] 865*2^1002969-1 is not prime. Res64: D22DEC1B31C1FF9D Time : 0.0 sec. user=mdettweiler [2012-01-27 18:36:27] 889*2^1002969-1 is not prime. Res64: 9AFD44F893E91A4A Time : 0.0 sec. user=mdettweiler [2012-01-27 18:36:27] 979*2^1002969-1 is not prime. Res64: A1D7D3B5B82CCA1B Time : 0.0 sec. user=mdettweiler [2012-01-27 18:37:19] 653*2^1002970-1 is not prime. Res64: 260A301F1E059AA5 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:37:19] 681*2^1002970-1 is not prime. Res64: 619A058DFD3F9BDC Time : 0.0 sec. user=mdettweiler [2012-01-27 18:45:28] 685*2^1002967-1 is not prime. Res64: 741E847CB4D4C638 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:45:28] 705*2^1002967-1 is not prime. Res64: 8FD92C10D5138CA5 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:49:38] 765*2^1002970-1 is not prime. Res64: 83BA007881C04237 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:49:38] 773*2^1002970-1 is not prime. Res64: 61049BCC55C01F40 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:50:21] 803*2^1002970-1 is not prime. Res64: 4F7CB5F9F3C6DD12 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:50:21] 821*2^1002970-1 is not prime. Res64: 699B8FFC0C2F4AA4 Time : 0.0 sec. user=mdettweiler [2012-01-27 18:58:45] 831*2^1002970-1 is not prime. Res64: 1307A1616B14222A Time : 0.0 sec. user=mdettweiler [2012-01-27 18:58:46] 933*2^1002970-1 is not prime. Res64: 5CE82DDD2048FE9C Time : 0.0 sec. user=mdettweiler [2012-01-27 19:01:52] 945*2^1002970-1 is not prime. Res64: 0C3E5DB759F8C8CB Time : 0.0 sec. user=mdettweiler [2012-01-27 19:01:54] 957*2^1002970-1 is not prime. Res64: 2477DCA6D9CC4393 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:09:37] 711*2^1002971-1 is not prime. Res64: EBF873F08012E578 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:09:39] 715*2^1002971-1 is not prime. Res64: 6D516A25CC446934 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:10:16] 741*2^1002971-1 is not prime. Res64: 0CEC015A03979670 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:10:19] 745*2^1002971-1 is not prime. Res64: 591CB61BB4FFF381 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:20:58] 895*2^1002971-1 is not prime. Res64: 18DBC6014999A83D Time : 0.0 sec. user=mdettweiler [2012-01-27 19:20:59] 913*2^1002971-1 is not prime. Res64: 25902E822A20F5E8 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:24:06] 955*2^1002971-1 is not prime. Res64: BEFBEB51904443D3 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:24:06] 627*2^1002972-1 is not prime. Res64: C11927B57A4F1974 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:28:06] 927*2^1002968-1 is not prime. Res64: 27F9927445C0E169 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:28:06] 999*2^1002968-1 is not prime. Res64: B0D828C0A6856E9D Time : 0.0 sec. user=mdettweiler [2012-01-27 19:29:43] 629*2^1002972-1 is not prime. Res64: 693ACC8621077DAA Time : 0.0 sec. user=mdettweiler [2012-01-27 19:29:43] 635*2^1002972-1 is not prime. Res64: 0A6380FE05627E32 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:30:20] 683*2^1002972-1 is not prime. Res64: D4862163075377EA Time : 0.0 sec. user=mdettweiler [2012-01-27 19:30:20] 723*2^1002972-1 is not prime. Res64: F5A56C93170FF9E7 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:43:20] 749*2^1002972-1 is not prime. Res64: 1C1FEDCA575F63ED Time : 0.0 sec. user=mdettweiler [2012-01-27 19:43:21] 959*2^1002972-1 is not prime. Res64: 2BEE08E867ED5C5A Time : 0.0 sec. user=mdettweiler [2012-01-27 19:44:02] 675*2^1002973-1 is not prime. Res64: 0D81437EC2DBAF59 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:44:02] 775*2^1002973-1 is not prime. Res64: 426482D272B5B76C Time : 0.0 sec. user=mdettweiler [2012-01-27 19:44:45] 687*2^1002970-1 is not prime. Res64: DA4F569BE9BECD51 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:44:45] 701*2^1002970-1 is not prime. Res64: 50006A7348CE7E35 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:50:16] 791*2^1002974-1 is not prime. Res64: F49E80ADF3C81D02 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:50:16] 875*2^1002974-1 is not prime. Res64: 13B72A9B73F9B3A5 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:51:58] 847*2^1002973-1 is not prime. Res64: 926BC27CE24AE722 Time : 0.0 sec. user=mdettweiler [2012-01-27 19:51:59] 999*2^1002973-1 is not prime. Res64: 2683EFA0DCD9C010 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:05:40] 897*2^1002974-1 is not prime. Res64: 514EC28C5F9F546B Time : 0.0 sec. user=mdettweiler [2012-01-27 20:05:42] 917*2^1002974-1 is not prime. Res64: 0F76853C72CEAD59 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:06:19] 953*2^1002974-1 is not prime. Res64: F2C9E4236695399C Time : 0.0 sec. user=mdettweiler [2012-01-27 20:06:20] 763*2^1002975-1 is not prime. Res64: 52932660F3395D68 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:10:15] 995*2^1002970-1 is not prime. Res64: FECD6252C4456CD6 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:10:16] 705*2^1002971-1 is not prime. Res64: 59B4FE7BE6963581 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:12:34] 895*2^1002975-1 is not prime. Res64: E2F7BD33E1F213E8 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:12:34] 921*2^1002975-1 is not prime. Res64: D6A9835A356044AE Time : 0.0 sec. user=mdettweiler [2012-01-27 20:14:19] 963*2^1002975-1 is not prime. Res64: 55D7E5B18643BB6C Time : 0.0 sec. user=mdettweiler [2012-01-27 20:14:19] 695*2^1002976-1 is not prime. Res64: 03A6D487F2FA2090 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:25:41] 777*2^1002976-1 is not prime. Res64: DA5E96EDF2C2B05D Time : 0.0 sec. user=mdettweiler [2012-01-27 20:25:42] 873*2^1002976-1 is not prime. Res64: 4025F95F85506731 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:26:20] 887*2^1002976-1 is not prime. Res64: 339CAB9424E8CB65 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:26:20] 615*2^1002977-1 is not prime. Res64: 64F91384259D5AC7 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:32:28] 697*2^1002977-1 is not prime. Res64: 7988D249890951E3 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:32:28] 837*2^1002977-1 is not prime. Res64: F3BF540599CA22CA Time : 0.0 sec. user=mdettweiler [2012-01-27 20:34:12] 871*2^1002977-1 is not prime. Res64: 4E02BCF74CDB3641 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:34:13] 621*2^1002978-1 is not prime. Res64: CE0AFA5224B54CF6 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:44:05] 801*2^1002973-1 is not prime. Res64: 74BE7F95F7063888 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:44:05] 817*2^1002973-1 is not prime. Res64: ACB44CD02A0BDCA1 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:45:48] 633*2^1002978-1 is not prime. Res64: 89041BF84E95C5A3 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:45:48] 641*2^1002978-1 is not prime. Res64: 02DA16B1194A33CC Time : 0.0 sec. user=mdettweiler [2012-01-27 20:46:25] 725*2^1002978-1 is not prime. Res64: 6CCB9D845570C61C Time : 0.0 sec. user=mdettweiler [2012-01-27 20:46:26] 815*2^1002978-1 is not prime. Res64: F8D7860CFFE92AAA Time : 0.0 sec. user=mdettweiler [2012-01-27 20:55:00] 905*2^1002978-1 is not prime. Res64: 08B7F5CE16E583D3 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:55:01] 923*2^1002978-1 is not prime. Res64: 23A4701239E94D54 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:56:46] 977*2^1002978-1 is not prime. Res64: 82AFE8376CAF89A7 Time : 0.0 sec. user=mdettweiler [2012-01-27 20:56:46] 793*2^1002979-1 is not prime. Res64: 8FBAB7681E111683 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:00:31] 765*2^1002975-1 is not prime. Res64: 4BF198B0A8FDD8FC Time : 0.0 sec. user=mdettweiler [2012-01-27 21:00:37] 891*2^1002975-1 is not prime. Res64: C0F5A96B129DC18F Time : 0.0 sec. user=mdettweiler [2012-01-27 21:06:05] 615*2^1002980-1 is not prime. Res64: 54CACFAADA719024 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:06:08] 635*2^1002980-1 is not prime. Res64: 1D63FBA3625D6A4E Time : 0.0 sec. user=mdettweiler [2012-01-27 21:06:33] 665*2^1002980-1 is not prime. Res64: EB70CAED41745C51 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:06:35] 687*2^1002980-1 is not prime. Res64: 35CD76350A13EA6F Time : 0.0 sec. user=mdettweiler [2012-01-27 21:15:16] 719*2^1002980-1 is not prime. Res64: 72175CF1E7B62344 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:15:19] 725*2^1002980-1 is not prime. Res64: 63C55FDC6AA444AE Time : 0.0 sec. user=mdettweiler [2012-01-27 21:19:37] 735*2^1002980-1 is not prime. Res64: BC294F2189302C8A Time : 0.0 sec. user=mdettweiler [2012-01-27 21:19:38] 999*2^1002980-1 is not prime. Res64: 8D5329BFDABD7F1B Time : 0.0 sec. user=mdettweiler [2012-01-27 21:25:43] 619*2^1002977-1 is not prime. Res64: 8469313C6BD5CBCD Time : 0.0 sec. user=mdettweiler [2012-01-27 21:25:43] 649*2^1002977-1 is not prime. Res64: FA0D30EEF42F71DD Time : 0.0 sec. user=mdettweiler [2012-01-27 21:26:38] 741*2^1002981-1 is not prime. Res64: 8F6C922A9D115561 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:26:39] 847*2^1002981-1 is not prime. Res64: 9EE9A15A537A34B6 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:29:38] 895*2^1002981-1 is not prime. Res64: A52395B31343EA84 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:29:38] 927*2^1002981-1 is not prime. Res64: 14691A065D22D69B Time : 0.0 sec. user=mdettweiler [2012-01-27 21:40:12] 975*2^1002981-1 is not prime. Res64: F935FC8909E0833F Time : 0.0 sec. user=mdettweiler [2012-01-27 21:40:12] 979*2^1002981-1 is not prime. Res64: 1531FEE52471065D Time : 0.0 sec. user=mdettweiler [2012-01-27 21:41:54] 987*2^1002981-1 is not prime. Res64: 7CF6555D986432C5 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:41:55] 621*2^1002982-1 is not prime. Res64: B899D7890E8B2F5D Time : 0.0 sec. user=mdettweiler [2012-01-27 21:46:38] 887*2^1002982-1 is not prime. Res64: 2792A60EE93EAE5E Time : 0.0 sec. user=mdettweiler [2012-01-27 21:46:38] 661*2^1002983-1 is not prime. Res64: 182330CE720C55C1 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:49:33] 675*2^1002983-1 is not prime. Res64: 7325EAD1B4D4AC79 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:49:33] 745*2^1002983-1 is not prime. Res64: 9B550311E1F581A3 Time : 0.0 sec. user=mdettweiler [2012-01-27 21:59:18] 801*2^1002979-1 is not prime. Res64: 5D2742E64001912A Time : 0.0 sec. user=mdettweiler [2012-01-27 21:59:19] 873*2^1002979-1 is not prime. Res64: CE605C9066955757 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:01:50] 605*2^1002984-1 is not prime. Res64: 03FB7AB5DAE45C1D Time : 0.0 sec. user=mdettweiler [2012-01-27 22:01:51] 615*2^1002984-1 is not prime. Res64: 61E47F1E0C771788 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:02:24] 813*2^1002983-1 is not prime. Res64: ABB88640DF12926C Time : 0.0 sec. user=mdettweiler [2012-01-27 22:02:25] 955*2^1002983-1 is not prime. Res64: 590A7E8894124729 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:06:33] 627*2^1002984-1 is not prime. Res64: 345D3DB8881A2346 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:06:34] 719*2^1002984-1 is not prime. Res64: 977056A367019286 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:09:26] 767*2^1002984-1 is not prime. Res64: CB3E053168D1EAB1 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:09:27] 825*2^1002984-1 is not prime. Res64: 0C276F8715A89FA9 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:16:10] 607*2^1002981-1 is not prime. Res64: 04D56D080E244BB9 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:16:10] 717*2^1002981-1 is not prime. Res64: D4E372A39A2E4C1B Time : 0.0 sec. user=mdettweiler [2012-01-27 22:21:43] 705*2^1002985-1 is not prime. Res64: 7E3E53E37A50D167 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:21:43] 789*2^1002985-1 is not prime. Res64: 0A80AE04521988D7 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:22:26] 861*2^1002985-1 is not prime. Res64: E713E93A5DF4CB45 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:22:27] 603*2^1002986-1 is not prime. Res64: 326BCDC3D90F4C91 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:26:31] 615*2^1002986-1 is not prime. Res64: FCC044BBACB56494 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:26:32] 633*2^1002986-1 is not prime. Res64: 3AC8605C50835C34 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:31:41] 657*2^1002986-1 is not prime. Res64: 7F2E33A5BAC00035 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:31:41] 921*2^1002986-1 is not prime. Res64: D2FD1D1A1538312D Time : 0.0 sec. user=mdettweiler [2012-01-27 22:41:02] 645*2^1002982-1 is not prime. Res64: 64ADDACB8D324A1B Time : 0.0 sec. user=mdettweiler [2012-01-27 22:41:03] 653*2^1002982-1 is not prime. Res64: 60A3FFC865B34041 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:42:31] 647*2^1002988-1 is not prime. Res64: 6189C7520EFB81DE Time : 0.0 sec. user=mdettweiler [2012-01-27 22:42:31] 665*2^1002988-1 is not prime. Res64: 71B826799F442DA1 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:43:54] 861*2^1002987-1 is not prime. Res64: 5664A83082B88D42 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:43:54] 973*2^1002987-1 is not prime. Res64: C2081D6D78B39622 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:46:30] 749*2^1002988-1 is not prime. Res64: 8D5EC86C65859ABA Time : 0.0 sec. user=mdettweiler [2012-01-27 22:46:30] 825*2^1002988-1 is not prime. Res64: 875F45FE0A524B15 Time : 0.0 sec. user=mdettweiler [2012-01-27 22:56:08] 927*2^1002988-1 is not prime. Res64: A5B52526E822FC9A Time : 0.0 sec. user=mdettweiler [2012-01-27 22:56:09] 957*2^1002988-1 is not prime. Res64: BE4D44074D080D08 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:02:29] 727*2^1002989-1 is not prime. Res64: A32A88103DC10908 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:02:30] 801*2^1002989-1 is not prime. Res64: 53BC97BC5D7B2BC3 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:06:09] 969*2^1002989-1 is not prime. Res64: C44E059AA746CBA4 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:06:11] 627*2^1002990-1 is not prime. Res64: 8F4A11FE11B493CB Time : 0.0 sec. user=mdettweiler [2012-01-27 23:06:33] 641*2^1002990-1 is not prime. Res64: A49E925466545C36 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:06:35] 777*2^1002990-1 is not prime. Res64: 225440AC69508BA4 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:16:04] 791*2^1002990-1 is not prime. Res64: 69ED79D605F5F30B Time : 0.0 sec. user=mdettweiler [2012-01-27 23:16:04] 845*2^1002990-1 is not prime. Res64: 8B8B1D6AEE880D1A Time : 0.0 sec. user=mdettweiler [2012-01-27 23:22:27] 663*2^1002991-1 is not prime. Res64: 691D6CDE16EACA77 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:22:27] 681*2^1002991-1 is not prime. Res64: 71F716FEC27CEE09 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:23:09] 899*2^1002984-1 is not prime. Res64: BC04D230A6C2AA8E Time : 0.0 sec. user=mdettweiler [2012-01-27 23:23:09] 927*2^1002984-1 is not prime. Res64: 9D88360C57590ADD Time : 0.0 sec. user=mdettweiler [2012-01-27 23:26:07] 693*2^1002991-1 is not prime. Res64: 2B84F2C52975108A Time : 0.0 sec. user=mdettweiler [2012-01-27 23:26:08] 741*2^1002991-1 is not prime. Res64: C0CD4FBE8E766C2E Time : 0.0 sec. user=mdettweiler [2012-01-27 23:26:40] 771*2^1002991-1 is not prime. Res64: 0B30179FE52DD8B0 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:26:40] 841*2^1002991-1 is not prime. Res64: 48585CD53F41305F Time : 0.0 sec. user=mdettweiler [2012-01-27 23:35:59] 861*2^1002991-1 is not prime. Res64: 0CF738617897FBEF Time : 0.0 sec. user=mdettweiler [2012-01-27 23:35:59] 885*2^1002991-1 is not prime. Res64: 06979284F2F42983 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:41:01] 1001*2^1002986-1 is not prime. Res64: 346170711F4B585D Time : 0.0 sec. user=mdettweiler [2012-01-27 23:41:01] 751*2^1002987-1 is not prime. Res64: 5ECF6ABC5FBA8895 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:44:51] 969*2^1002991-1 is not prime. Res64: 0FFC462F479555C3 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:44:51] 759*2^1002992-1 is not prime. Res64: E77E21BB30B1618F Time : 0.0 sec. user=mdettweiler [2012-01-27 23:46:09] 825*2^1002992-1 is not prime. Res64: 4C2557927A6B858B Time : 0.0 sec. user=mdettweiler [2012-01-27 23:46:09] 873*2^1002992-1 is not prime. Res64: 1DB8F7C511A7FDAD Time : 0.0 sec. user=mdettweiler [2012-01-27 23:46:41] 875*2^1002992-1 is not prime. Res64: 4D84E82192CE4E54 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:46:41] 879*2^1002992-1 is not prime. Res64: A6146DE6CA3EBBD3 Time : 0.0 sec. user=mdettweiler [2012-01-27 23:55:59] 669*2^1002993-1 is not prime. Res64: 269ED6FAEEC4349B Time : 0.0 sec. user=mdettweiler [2012-01-27 23:55:59] 699*2^1002993-1 is not prime. Res64: F7F2B1DF6D90486C Time : 0.0 sec.