user=mdettweiler [2012-09-20 00:03:50] 777*2^1228960-1 is not prime. Res64: D675DEBC3D91AE85 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:03:51] 843*2^1228960-1 is not prime. Res64: 4C222888E47214B8 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:21:27] 727*2^1228961-1 is not prime. Res64: 0B8A592AAE630BDF Time : 0.0 sec. user=mdettweiler [2012-09-20 00:21:28] 747*2^1228961-1 is not prime. Res64: 3656F553EA9C85FD Time : 0.0 sec. user=mdettweiler [2012-09-20 00:24:23] 837*2^1228961-1 is not prime. Res64: 159174D1B32DFCC8 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:24:23] 861*2^1228961-1 is not prime. Res64: 354D16187EA17513 Time : 0.0 sec. user=vaughan [2012-09-20 00:29:32] 697*2^1228961-1 is not prime. Res64: B1765B58F4742D2A Time : 0.0 sec. user=mdettweiler [2012-09-20 00:42:04] 867*2^1228961-1 is not prime. Res64: B97F8FDF0078BA4A Time : 0.0 sec. user=mdettweiler [2012-09-20 00:42:04] 871*2^1228961-1 is not prime. Res64: 8E9B13A3256CA885 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:44:55] 633*2^1228962-1 is not prime. Res64: 2FB6B76C41BC5BF3 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:44:56] 635*2^1228962-1 is not prime. Res64: EDE89EE67DC2E9EA Time : 0.0 sec. user=mdettweiler [2012-09-20 01:02:37] 797*2^1228962-1 is not prime. Res64: 018F7450C61552B9 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:02:38] 693*2^1228963-1 is not prime. Res64: 914AFEF13725EDAF Time : 0.0 sec. user=mdettweiler [2012-09-20 01:05:28] 745*2^1228963-1 is not prime. Res64: 62CD1A536A39133C Time : 0.0 sec. user=mdettweiler [2012-09-20 01:05:29] 775*2^1228963-1 is not prime. Res64: 6E458E1FDA1E53F3 Time : 0.0 sec. user=vaughan [2012-09-20 01:07:18] 791*2^1228962-1 is not prime. Res64: 9B6B34D4A5E9878A Time : 0.0 sec. user=mdettweiler [2012-09-20 01:23:22] 891*2^1228963-1 is not prime. Res64: 47CEAEE4244A0FFE Time : 0.0 sec. user=mdettweiler [2012-09-20 01:23:22] 665*2^1228964-1 is not prime. Res64: E678ED4A43222CC1 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:26:07] 689*2^1228964-1 is not prime. Res64: 460C5A9175380B18 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:26:07] 899*2^1228964-1 is not prime. Res64: 4D03C804F3C22A48 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:43:56] 765*2^1228965-1 is not prime. Res64: B5C69F36248916D6 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:43:56] 777*2^1228965-1 is not prime. Res64: 996F1AC1BB719E16 Time : 0.0 sec. user=vaughan [2012-09-20 01:45:04] 929*2^1228964-1 is not prime. Res64: 4DE79289F00EADE6 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:46:40] 795*2^1228965-1 is not prime. Res64: 00B4E93BA8493821 Time : 0.0 sec. user=mdettweiler [2012-09-20 01:46:40] 979*2^1228965-1 is not prime. Res64: AA8C4F4F784C65A5 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:04:29] 997*2^1228965-1 is not prime. Res64: 40A5593B9D328F9A Time : 0.0 sec. user=mdettweiler [2012-09-20 02:04:31] 617*2^1228966-1 is not prime. Res64: 0A2BE37F363764E9 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:07:11] 755*2^1228966-1 is not prime. Res64: 58A5DFA401873BEC Time : 0.0 sec. user=mdettweiler [2012-09-20 02:07:13] 881*2^1228966-1 is not prime. Res64: 8BF42365C50854F4 Time : 0.0 sec. user=vaughan [2012-09-20 02:22:49] 663*2^1228966-1 is not prime. Res64: 9BBAE9AB8ACF5D36 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:25:26] 947*2^1228966-1 is not prime. Res64: FA34E57BBACA9FBF Time : 0.0 sec. user=mdettweiler [2012-09-20 02:25:27] 971*2^1228966-1 is not prime. Res64: A06A1E82B92D2FFD Time : 0.0 sec. user=mdettweiler [2012-09-20 02:27:52] 993*2^1228966-1 is not prime. Res64: 45823366D0C8DF1C Time : 0.0 sec. user=mdettweiler [2012-09-20 02:27:53] 1001*2^1228966-1 is not prime. Res64: 43FD7B5E715B4C60 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:45:59] 633*2^1228967-1 is not prime. Res64: EFA4EA6177887E89 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:46:00] 643*2^1228967-1 is not prime. Res64: 22E389F94E839667 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:48:24] 649*2^1228967-1 is not prime. Res64: 40819D166B0AA011 Time : 0.0 sec. user=mdettweiler [2012-09-20 02:48:26] 741*2^1228967-1 is not prime. Res64: 767F712C65755E2C Time : 0.0 sec. user=vaughan [2012-09-20 03:00:39] 603*2^1228967-1 is not prime. Res64: 4E28DB9926881D2E Time : 0.0 sec. user=mdettweiler [2012-09-20 03:06:46] 753*2^1228967-1 is not prime. Res64: DBE0194B6B54CDEC Time : 0.0 sec. user=mdettweiler [2012-09-20 03:06:46] 901*2^1228967-1 is not prime. Res64: ACF55F79CBD0B484 Time : 0.0 sec. user=mdettweiler [2012-09-20 03:08:58] 979*2^1228967-1 is not prime. Res64: 374A8AE92FD41DBA Time : 0.0 sec. user=mdettweiler [2012-09-20 03:09:01] 991*2^1228967-1 is not prime. Res64: 6DF0063B749CFEF5 Time : 0.0 sec. user=mdettweiler [2012-09-20 03:27:27] 747*2^1228968-1 is not prime. Res64: 7AAE02585450287C Time : 0.0 sec. user=mdettweiler [2012-09-20 03:27:27] 759*2^1228968-1 is not prime. Res64: 395C23B837F5A634 Time : 0.0 sec. user=mdettweiler [2012-09-20 03:29:38] 893*2^1228968-1 is not prime. Res64: 034886B47DB0A973 Time : 0.0 sec. user=mdettweiler [2012-09-20 03:29:39] 899*2^1228968-1 is not prime. Res64: F3B946052894AED8 Time : 0.0 sec. user=vaughan [2012-09-20 03:38:43] 699*2^1228968-1 is not prime. Res64: 6B67D77FE90D8BFB Time : 0.0 sec. user=mdettweiler [2012-09-20 03:48:00] 609*2^1228969-1 is not prime. Res64: EA08D1C1E3A66B2D Time : 0.0 sec. user=mdettweiler [2012-09-20 03:48:00] 691*2^1228969-1 is not prime. Res64: 88E714B3EABD33D2 Time : 0.0 sec. user=mdettweiler [2012-09-20 03:50:10] 817*2^1228969-1 is not prime. Res64: 2293EF436CA4B4FC Time : 0.0 sec. user=mdettweiler [2012-09-20 03:50:10] 831*2^1228969-1 is not prime. Res64: 42B1281009E709E8 Time : 0.0 sec. user=juhehe [2012-09-20 03:55:47] 905*2^1228968-1 is not prime. Res64: E5AC424032199E76 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:08:43] 847*2^1228969-1 is not prime. Res64: E6306AD469B20FD3 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:08:45] 867*2^1228969-1 is not prime. Res64: 5E67B6F729336F96 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:10:42] 985*2^1228969-1 is not prime. Res64: B991B04A0F43AFD9 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:10:43] 645*2^1228970-1 is not prime. Res64: 0224CDEB152BD833 Time : 0.0 sec. user=vaughan [2012-09-20 04:16:29] 841*2^1228969-1 is not prime. Res64: 9A91ACD4E593E8F0 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:29:21] 707*2^1228970-1 is not prime. Res64: 165EDA1862AE4C3E Time : 0.0 sec. user=mdettweiler [2012-09-20 04:29:22] 717*2^1228970-1 is not prime. Res64: A9E9E13A84EEF00F Time : 0.0 sec. user=mdettweiler [2012-09-20 04:31:15] 783*2^1228970-1 is not prime. Res64: A8CB3B8DEF0B25CB Time : 0.0 sec. user=mdettweiler [2012-09-20 04:31:16] 857*2^1228970-1 is not prime. Res64: 816263FAD3D11BC8 Time : 0.0 sec. user=juhehe [2012-09-20 04:33:06] 675*2^1228970-1 is not prime. Res64: CE3CD49106CBD848 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:49:54] 921*2^1228970-1 is not prime. Res64: C1629DB89F76FED6 Time : 0.0 sec. user=mdettweiler [2012-09-20 04:49:55] 927*2^1228970-1 is not prime. Res64: FACF968C2304934D Time : 0.0 sec. user=mdettweiler [2012-09-20 04:51:48] 945*2^1228970-1 is not prime. Res64: 2CA5D8E229BECAEF Time : 0.0 sec. user=mdettweiler [2012-09-20 04:51:49] 795*2^1228971-1 is not prime. Res64: 7E1C6817C48F4777 Time : 0.0 sec. user=vaughan [2012-09-20 04:54:28] 887*2^1228970-1 is not prime. Res64: 6E0FA59DDACD9979 Time : 0.0 sec. user=juhehe [2012-09-20 05:09:57] 859*2^1228971-1 is not prime. Res64: AE390F317E993EC1 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:10:29] 861*2^1228971-1 is not prime. Res64: D0FAE75D1A17A82F Time : 0.0 sec. user=mdettweiler [2012-09-20 05:10:30] 677*2^1228972-1 is not prime. Res64: 7C6B93F843E26A39 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:12:20] 855*2^1228972-1 is not prime. Res64: 41C90C227860DEAE Time : 0.0 sec. user=mdettweiler [2012-09-20 05:12:22] 903*2^1228972-1 is not prime. Res64: 59FE8E76F4A4A04D Time : 0.0 sec. user=mdettweiler [2012-09-20 05:31:03] 789*2^1228973-1 is not prime. Res64: 20E808FDEB54D59A Time : 0.0 sec. user=mdettweiler [2012-09-20 05:31:04] 837*2^1228973-1 is not prime. Res64: D0097C5B4F11CD49 Time : 0.0 sec. user=vaughan [2012-09-20 05:32:15] 607*2^1228973-1 is not prime. Res64: 11CF1572332F5FC1 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:32:57] 955*2^1228973-1 is not prime. Res64: 8C89D70775BA2C5D Time : 0.0 sec. user=mdettweiler [2012-09-20 05:32:58] 981*2^1228973-1 is not prime. Res64: 41BFD10C5096EF29 Time : 0.0 sec. user=gd_barnes [2012-09-20 05:33:54] 775*2^1228973-1 is not prime. Res64: 57B246FAD2927A3E Time : 0.0 sec. user=juhehe [2012-09-20 05:46:23] 759*2^1228973-1 is not prime. Res64: D09EBABB23BDA4B8 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:51:38] 621*2^1228974-1 is not prime. Res64: 9054A5A6665CA0D2 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:51:39] 651*2^1228974-1 is not prime. Res64: EF03BDEDA312CF56 Time : 0.0 sec. user=mdettweiler [2012-09-20 05:53:29] 725*2^1228974-1 is not prime. Res64: 6EE77F55D673599E Time : 0.0 sec. user=mdettweiler [2012-09-20 05:53:30] 765*2^1228974-1 is not prime. Res64: 2CD3A396784999CA Time : 0.0 sec. user=vaughan [2012-09-20 06:09:59] 707*2^1228974-1 is not prime. Res64: 2910336BA73BFB14 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:12:10] 833*2^1228974-1 is not prime. Res64: 0774B3A7DC5C17B7 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:12:11] 861*2^1228974-1 is not prime. Res64: 1F9A75E62DD9DB1B Time : 0.0 sec. user=mdettweiler [2012-09-20 06:14:01] 891*2^1228974-1 is not prime. Res64: 62E59082331687C7 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:14:03] 941*2^1228974-1 is not prime. Res64: 85F2DF2E510FB8A3 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:32:46] 675*2^1228975-1 is not prime. Res64: D2317A95BAFBD2ED Time : 0.0 sec. user=mdettweiler [2012-09-20 06:32:47] 693*2^1228975-1 is not prime. Res64: 49AC69F421A58FAC Time : 0.0 sec. user=mdettweiler [2012-09-20 06:34:39] 789*2^1228975-1 is not prime. Res64: 6206070E837CF3EA Time : 0.0 sec. user=mdettweiler [2012-09-20 06:34:40] 831*2^1228975-1 is not prime. Res64: 2AC1A9F6CE235D27 Time : 0.0 sec. user=vaughan [2012-09-20 06:48:05] 625*2^1228975-1 is not prime. Res64: 8E419B4A1E30A2E4 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:53:18] 913*2^1228975-1 is not prime. Res64: 77D0AD9D79F4B440 Time : 0.0 sec. user=mdettweiler [2012-09-20 06:53:19] 933*2^1228975-1 is not prime. Res64: 0D002E009DFB976A Time : 0.0 sec. user=mdettweiler [2012-09-20 06:55:11] 609*2^1228976-1 is not prime. Res64: A918AABBCA25C8FD Time : 0.0 sec. user=mdettweiler [2012-09-20 06:55:11] 669*2^1228976-1 is not prime. Res64: 8843C1E9722148CC Time : 0.0 sec. user=juhehe [2012-09-20 06:55:14] 853*2^1228975-1 is not prime. Res64: 4A393718970263EF Time : 0.0 sec. user=mdettweiler [2012-09-20 07:13:49] 869*2^1228976-1 is not prime. Res64: FD7C7055C6FB2965 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:13:51] 923*2^1228976-1 is not prime. Res64: B3FEF2B8C6D2E413 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:15:42] 927*2^1228976-1 is not prime. Res64: E26937BD5425AB6F Time : 0.0 sec. user=mdettweiler [2012-09-20 07:15:43] 945*2^1228976-1 is not prime. Res64: 4AD60087032BFDB5 Time : 0.0 sec. user=vaughan [2012-09-20 07:25:57] 759*2^1228976-1 is not prime. Res64: CAD95E7FE2BFE56A Time : 0.0 sec. user=gd_barnes [2012-09-20 07:27:03] 963*2^1228976-1 is not prime. Res64: 9E3B8481308E35DE Time : 0.0 sec. user=gd_barnes [2012-09-20 07:33:52] 969*2^1228976-1 is not prime. Res64: 83D876FF610776D4 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:34:28] 615*2^1228977-1 is not prime. Res64: B83925F2D9C065A7 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:34:29] 669*2^1228977-1 is not prime. Res64: 7D2BFE244A12BB84 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:36:17] 717*2^1228977-1 is not prime. Res64: 46EAF9988AC33D69 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:36:17] 849*2^1228977-1 is not prime. Res64: 70464C8C61688BCF Time : 0.0 sec. user=mdettweiler [2012-09-20 07:55:01] 889*2^1228977-1 is not prime. Res64: EA6B3B0D849C7708 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:55:01] 901*2^1228977-1 is not prime. Res64: D3BC697031632DD0 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:56:51] 611*2^1228978-1 is not prime. Res64: A2B2792EAD4AF476 Time : 0.0 sec. user=mdettweiler [2012-09-20 07:56:52] 657*2^1228978-1 is not prime. Res64: 0A0D21AB3A3AC2D8 Time : 0.0 sec. user=vaughan [2012-09-20 08:03:46] 865*2^1228977-1 is not prime. Res64: F08DEDF04A5D14FF Time : 0.0 sec. user=mdettweiler [2012-09-20 08:15:33] 665*2^1228978-1 is not prime. Res64: 63F6E8F3C65207F4 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:15:33] 671*2^1228978-1 is not prime. Res64: 908C73766B3ED11B Time : 0.0 sec. user=mdettweiler [2012-09-20 08:17:23] 681*2^1228978-1 is not prime. Res64: FE9CEF84B516D4D0 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:17:24] 687*2^1228978-1 is not prime. Res64: B4753DD3D681CCFC Time : 0.0 sec. user=mdettweiler [2012-09-20 08:36:07] 987*2^1228978-1 is not prime. Res64: 3B765597F7E97F55 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:36:08] 995*2^1228978-1 is not prime. Res64: B45404E41217E2E5 Time : 0.0 sec. user=juhehe [2012-09-20 08:36:24] 827*2^1228978-1 is not prime. Res64: FA8FF9029396C9D6 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:37:55] 615*2^1228979-1 is not prime. Res64: C96148930FA66D4B Time : 0.0 sec. user=mdettweiler [2012-09-20 08:37:56] 621*2^1228979-1 is not prime. Res64: 9539ED8BEF70722C Time : 0.0 sec. user=vaughan [2012-09-20 08:41:59] 833*2^1228978-1 is not prime. Res64: 7355FF82CCA4AEBD Time : 0.0 sec. user=mdettweiler [2012-09-20 08:56:43] 655*2^1228979-1 is not prime. Res64: F40F7544D7F5A159 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:56:43] 669*2^1228979-1 is not prime. Res64: 7B78CA5B9C35E91A Time : 0.0 sec. user=mdettweiler [2012-09-20 08:58:27] 711*2^1228979-1 is not prime. Res64: 05FDAF551A179092 Time : 0.0 sec. user=mdettweiler [2012-09-20 08:58:28] 745*2^1228979-1 is not prime. Res64: E6170B2810E9AD98 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:17:15] 825*2^1228979-1 is not prime. Res64: 7BFE57F59BDB8DC5 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:17:16] 879*2^1228979-1 is not prime. Res64: 99EE4EE7A942BE69 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:18:58] 885*2^1228979-1 is not prime. Res64: 756E4343BFEFE34C Time : 0.0 sec. user=mdettweiler [2012-09-20 09:18:59] 889*2^1228979-1 is not prime. Res64: 3627EC116C7D79DE Time : 0.0 sec. user=vaughan [2012-09-20 09:19:42] 775*2^1228979-1 is not prime. Res64: 8922BBCF8F6BF738 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:37:50] 895*2^1228979-1 is not prime. Res64: 4EBD6BA67657DDFB Time : 0.0 sec. user=mdettweiler [2012-09-20 09:37:51] 783*2^1228980-1 is not prime. Res64: BD68D82E51BDF9F8 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:39:30] 795*2^1228980-1 is not prime. Res64: 74633AD197905609 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:39:30] 797*2^1228980-1 is not prime. Res64: E9492D180674FF54 Time : 0.0 sec. user=vaughan [2012-09-20 09:57:29] 819*2^1228980-1 is not prime. Res64: A12BA5DE9173A87B Time : 0.0 sec. user=mdettweiler [2012-09-20 09:58:23] 625*2^1228981-1 is not prime. Res64: E8D74D562E53EF90 Time : 0.0 sec. user=mdettweiler [2012-09-20 09:58:24] 861*2^1228981-1 is not prime. Res64: 7ABBA4DE2FDACB9F Time : 0.0 sec. user=mdettweiler [2012-09-20 10:00:02] 603*2^1228982-1 is not prime. Res64: 441271B86283430E Time : 0.0 sec. user=mdettweiler [2012-09-20 10:00:04] 693*2^1228982-1 is not prime. Res64: 85C24889185AC2BE Time : 0.0 sec. user=juhehe [2012-09-20 10:17:46] 711*2^1228982-1 is not prime. Res64: 288DAB8C22E1D50C Time : 0.0 sec. user=mdettweiler [2012-09-20 10:18:55] 843*2^1228982-1 is not prime. Res64: ADB4BDBC3DFE9DEE Time : 0.0 sec. user=mdettweiler [2012-09-20 10:18:55] 951*2^1228982-1 is not prime. Res64: 2FE69254F5A54267 Time : 0.0 sec. user=mdettweiler [2012-09-20 10:20:36] 953*2^1228982-1 is not prime. Res64: 254151356A4FC703 Time : 0.0 sec. user=mdettweiler [2012-09-20 10:20:36] 649*2^1228983-1 is not prime. Res64: 12572112C79E505C Time : 0.0 sec. user=vaughan [2012-09-20 10:35:14] 741*2^1228982-1 is not prime. Res64: 0CB08D2C70F3E91A Time : 0.0 sec. user=mdettweiler [2012-09-20 10:39:29] 685*2^1228983-1 is not prime. Res64: A4267D98C8DF7E6E Time : 0.0 sec. user=mdettweiler [2012-09-20 10:39:30] 693*2^1228983-1 is not prime. Res64: 00609D9F9CCB6254 Time : 0.0 sec. user=mdettweiler [2012-09-20 10:41:09] 709*2^1228983-1 is not prime. Res64: F96FCE3EE6A2579E Time : 0.0 sec. user=mdettweiler [2012-09-20 10:41:10] 781*2^1228983-1 is not prime. Res64: B00307299FD79228 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:00:02] 949*2^1228983-1 is not prime. Res64: 63D32F90F7D2ADCA Time : 0.0 sec. user=mdettweiler [2012-09-20 11:00:04] 615*2^1228984-1 is not prime. Res64: 6A5091E5F1D95729 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:01:42] 675*2^1228984-1 is not prime. Res64: 877030FDBD75685E Time : 0.0 sec. user=mdettweiler [2012-09-20 11:01:43] 785*2^1228984-1 is not prime. Res64: B03FBCC2042682C6 Time : 0.0 sec. user=vaughan [2012-09-20 11:12:57] 913*2^1228983-1 is not prime. Res64: 935C1F89DBA34449 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:20:42] 869*2^1228984-1 is not prime. Res64: 68214AB2E1BB450B Time : 0.0 sec. user=mdettweiler [2012-09-20 11:20:43] 899*2^1228984-1 is not prime. Res64: 05C532FF75CF683A Time : 0.0 sec. user=mdettweiler [2012-09-20 11:22:21] 917*2^1228984-1 is not prime. Res64: 727F9034EF7400D3 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:22:21] 699*2^1228985-1 is not prime. Res64: 0B30CEB31189117F Time : 0.0 sec. user=mdettweiler [2012-09-20 11:41:29] 789*2^1228985-1 is not prime. Res64: F09361EB9F69A676 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:41:29] 831*2^1228985-1 is not prime. Res64: 018E06F3EE68516E Time : 0.0 sec. user=mdettweiler [2012-09-20 11:43:06] 855*2^1228985-1 is not prime. Res64: 653E2B6625FD3394 Time : 0.0 sec. user=mdettweiler [2012-09-20 11:43:06] 907*2^1228985-1 is not prime. Res64: 742DB6243D9D012E Time : 0.0 sec. user=vaughan [2012-09-20 11:50:46] 771*2^1228985-1 is not prime. Res64: 87C7274560B82A0E Time : 0.0 sec. user=mdettweiler [2012-09-20 12:02:32] 909*2^1228985-1 is not prime. Res64: 2572701AD467B105 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:02:33] 615*2^1228986-1 is not prime. Res64: B7E1F4A27342B981 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:04:09] 725*2^1228986-1 is not prime. Res64: BDA092BAD1D666EE Time : 0.0 sec. user=mdettweiler [2012-09-20 12:04:09] 867*2^1228986-1 is not prime. Res64: 31C15A6D77DAE4E5 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:23:39] 957*2^1228986-1 is not prime. Res64: C1AD6FBD0C082459 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:23:39] 631*2^1228987-1 is not prime. Res64: EEE4663F04DC562F Time : 0.0 sec. user=mdettweiler [2012-09-20 12:25:05] 651*2^1228987-1 is not prime. Res64: 8E598E58A08B5C58 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:25:05] 703*2^1228987-1 is not prime. Res64: B2ACAD75AA1F1C9D Time : 0.0 sec. user=vaughan [2012-09-20 12:28:30] 893*2^1228986-1 is not prime. Res64: 04C2355C7AEBFEE6 Time : 0.0 sec. user=juhehe [2012-09-20 12:31:28] 917*2^1228986-1 is not prime. Res64: 4F1E41DE94016F8A Time : 0.0 sec. user=mdettweiler [2012-09-20 12:44:38] 765*2^1228987-1 is not prime. Res64: CF5E0511AF50EFD7 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:44:38] 885*2^1228987-1 is not prime. Res64: EB655130C9C00E0D Time : 0.0 sec. user=mdettweiler [2012-09-20 12:46:01] 919*2^1228987-1 is not prime. Res64: 4B19FD6A50FAE866 Time : 0.0 sec. user=mdettweiler [2012-09-20 12:46:01] 623*2^1228988-1 is not prime. Res64: 1E675E6EE371C8FD Time : 0.0 sec. user=mdettweiler [2012-09-20 13:05:28] 669*2^1228988-1 is not prime. Res64: 036AB48C072D1FBD Time : 0.0 sec. user=mdettweiler [2012-09-20 13:05:29] 677*2^1228988-1 is not prime. Res64: 5C4177BCDAAACC8A Time : 0.0 sec. user=vaughan [2012-09-20 13:06:17] 665*2^1228988-1 is not prime. Res64: 005A35E1870282BD Time : 0.0 sec. user=mdettweiler [2012-09-20 13:06:55] 773*2^1228988-1 is not prime. Res64: 2D506339C12FAF59 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:06:57] 819*2^1228988-1 is not prime. Res64: C497079E64B3D143 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:26:34] 869*2^1228988-1 is not prime. Res64: 28A75B6EB975B610 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:26:34] 935*2^1228988-1 is not prime. Res64: 04991B5593E69C01 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:27:52] 627*2^1228989-1 is not prime. Res64: 21DB34EC828899FB Time : 0.0 sec. user=mdettweiler [2012-09-20 13:27:52] 675*2^1228989-1 is not prime. Res64: 24D48C37159311CB Time : 0.0 sec. user=vaughan [2012-09-20 13:44:08] 959*2^1228988-1 is not prime. Res64: 12B8AA2E7F633EF1 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:47:25] 679*2^1228989-1 is not prime. Res64: 12EB18447BBFA126 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:47:26] 685*2^1228989-1 is not prime. Res64: 8A2020DBAB694C8F Time : 0.0 sec. user=mdettweiler [2012-09-20 13:48:40] 765*2^1228989-1 is not prime. Res64: 6C2AA702EACDA393 Time : 0.0 sec. user=mdettweiler [2012-09-20 13:48:40] 865*2^1228989-1 is not prime. Res64: 79078EDA8BD36F9B Time : 0.0 sec. user=mdettweiler [2012-09-20 14:08:13] 675*2^1228990-1 is not prime. Res64: CF78EE361C29CA0F Time : 0.0 sec. user=mdettweiler [2012-09-20 14:08:15] 917*2^1228990-1 is not prime. Res64: D6D364E6D555A9B1 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:09:28] 951*2^1228990-1 is not prime. Res64: 7617B58E0F4E0CA5 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:09:28] 609*2^1228991-1 is not prime. Res64: AE5C9A319BC894B3 Time : 0.0 sec. user=juhehe [2012-09-20 14:12:24] 889*2^1228989-1 is not prime. Res64: 46DE0F6BE09A35A6 Time : 0.0 sec. user=vaughan [2012-09-20 14:21:54] 651*2^1228990-1 is not prime. Res64: D8350B18C99B7AEA Time : 0.0 sec. user=mdettweiler [2012-09-20 14:29:09] 741*2^1228991-1 is not prime. Res64: 83F2179D0C8ECEA4 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:29:09] 843*2^1228991-1 is not prime. Res64: 9203533E88EE5186 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:30:16] 939*2^1228991-1 is not prime. Res64: 0F4E8D54867AD21E Time : 0.0 sec. user=mdettweiler [2012-09-20 14:30:17] 693*2^1228992-1 is not prime. Res64: 66FBAF57C5CB2C49 Time : 0.0 sec. user=juhehe [2012-09-20 14:48:40] 725*2^1228992-1 is not prime. Res64: FC835E443DF25CE2 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:49:57] 903*2^1228992-1 is not prime. Res64: 3F91BF43BF3F653B Time : 0.0 sec. user=mdettweiler [2012-09-20 14:49:57] 915*2^1228992-1 is not prime. Res64: D89A04886C9444ED Time : 0.0 sec. user=mdettweiler [2012-09-20 14:51:04] 751*2^1228993-1 is not prime. Res64: 55F85E644BA3A881 Time : 0.0 sec. user=mdettweiler [2012-09-20 14:51:05] 765*2^1228993-1 is not prime. Res64: D98124DADEC2FD37 Time : 0.0 sec. user=vaughan [2012-09-20 14:59:42] 815*2^1228992-1 is not prime. Res64: 9122C0ADE45B9569 Time : 0.0 sec. user=mdettweiler [2012-09-20 15:10:46] 831*2^1228993-1 is not prime. Res64: 049F442EF2645A7F Time : 0.0 sec. user=mdettweiler [2012-09-20 15:10:47] 605*2^1228994-1 is not prime. Res64: C98BFF8C4140DC7A Time : 0.0 sec. user=mdettweiler [2012-09-20 15:11:53] 641*2^1228994-1 is not prime. Res64: 90857F0151BD7BD7 Time : 0.0 sec. user=mdettweiler [2012-09-20 15:11:54] 657*2^1228994-1 is not prime. Res64: 4E24C6CBF0EA667C Time : 0.0 sec. user=mdettweiler [2012-09-20 15:31:39] 945*2^1228994-1 is not prime. Res64: FFCCE8B77B5CD894 Time : 0.0 sec. user=mdettweiler [2012-09-20 15:31:39] 685*2^1228995-1 is not prime. Res64: 228D7B71E7B12BEF Time : 0.0 sec. user=mdettweiler [2012-09-20 15:32:48] 603*2^1228996-1 is not prime. Res64: 7CFC72D1B9A9FAED Time : 0.0 sec. user=mdettweiler [2012-09-20 15:32:48] 609*2^1228996-1 is not prime. Res64: 50A162892FB70B80 Time : 0.0 sec. user=vaughan [2012-09-20 15:37:28] 783*2^1228994-1 is not prime. Res64: 4329E9A8D48C22C4 Time : 0.0 sec. user=mdettweiler [2012-09-20 15:52:29] 905*2^1228996-1 is not prime. Res64: 842C6D8788398E2C Time : 0.0 sec. user=mdettweiler [2012-09-20 15:52:29] 939*2^1228996-1 is not prime. Res64: D06020670090E861 Time : 0.0 sec. user=mdettweiler [2012-09-20 15:53:36] 999*2^1228996-1 is not prime. Res64: 28D98553857CB1ED Time : 0.0 sec. user=mdettweiler [2012-09-20 15:53:36] 627*2^1228997-1 is not prime. Res64: 003E3E62DB26BE49 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:13:17] 981*2^1228997-1 is not prime. Res64: FF4702B4B56B07F0 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:13:19] 985*2^1228997-1 is not prime. Res64: 2776D615648C6FFB Time : 0.0 sec. user=mdettweiler [2012-09-20 16:14:24] 737*2^1228998-1 is not prime. Res64: 2C15606FA2B3B73D Time : 0.0 sec. user=mdettweiler [2012-09-20 16:14:26] 861*2^1228998-1 is not prime. Res64: 965535CEFB996ADA Time : 0.0 sec. user=vaughan [2012-09-20 16:15:15] 819*2^1228997-1 is not prime. Res64: 3796D7D18D66717F Time : 0.0 sec. user=mdettweiler [2012-09-20 16:34:15] 885*2^1228998-1 is not prime. Res64: C2AAAC66D4262442 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:34:17] 933*2^1228998-1 is not prime. Res64: F0D9987A1738BA1C Time : 0.0 sec. user=mdettweiler [2012-09-20 16:35:18] 619*2^1228999-1 is not prime. Res64: 1C0C6C1F743F84F3 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:35:19] 625*2^1228999-1 is not prime. Res64: A7583EF5754A0A73 Time : 0.0 sec. user=vaughan [2012-09-20 16:53:03] 663*2^1228999-1 is not prime. Res64: 5643A063C99B4DA5 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:55:18] 813*2^1228999-1 is not prime. Res64: 810D0326CE70BD99 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:55:18] 829*2^1228999-1 is not prime. Res64: 3AD59482D82FC998 Time : 0.0 sec. user=mdettweiler [2012-09-20 16:56:09] 841*2^1228999-1 is not prime. Res64: 71F6ABC6AFE6A31E Time : 0.0 sec. user=mdettweiler [2012-09-20 16:56:09] 885*2^1228999-1 is not prime. Res64: 99763B8A4CFF1FF5 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:16:05] 975*2^1228999-1 is not prime. Res64: 22BEA9A622A07516 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:16:06] 603*2^1229000-1 is not prime. Res64: 59F32D128B883851 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:16:56] 615*2^1229000-1 is not prime. Res64: 83589EDA07F59535 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:16:57] 935*2^1229000-1 is not prime. Res64: 4900D4598A90DFA0 Time : 0.0 sec. user=vaughan [2012-09-20 17:30:48] 943*2^1228999-1 is not prime. Res64: 56B33FD7BCF45FE4 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:36:59] 977*2^1229000-1 is not prime. Res64: C20AF5ACE74FD026 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:36:59] 835*2^1229001-1 is not prime. Res64: 2BFB16B006525F29 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:37:45] 847*2^1229001-1 is not prime. Res64: 3A39774AA8BCA5CD Time : 0.0 sec. user=mdettweiler [2012-09-20 17:37:45] 867*2^1229001-1 is not prime. Res64: 8983B9C41D02B3F1 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:57:47] 969*2^1229001-1 is not prime. Res64: B4616E190A9ACA79 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:57:47] 975*2^1229001-1 is not prime. Res64: 7772B6EE8FFB3091 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:58:33] 603*2^1229002-1 is not prime. Res64: C07A956DD7037EB4 Time : 0.0 sec. user=mdettweiler [2012-09-20 17:58:34] 617*2^1229002-1 is not prime. Res64: DD0BE65A76DC57D9 Time : 0.0 sec. user=vaughan [2012-09-20 18:08:35] 921*2^1229001-1 is not prime. Res64: 014D06FB09902EED Time : 0.0 sec. user=mdettweiler [2012-09-20 18:18:36] 635*2^1229002-1 is not prime. Res64: 683678547F81B816 Time : 0.0 sec. user=mdettweiler [2012-09-20 18:18:36] 645*2^1229002-1 is not prime. Res64: B9474BF05271253A Time : 0.0 sec. user=mdettweiler [2012-09-20 18:19:21] 701*2^1229002-1 is not prime. Res64: 550AA36F2360CA30 Time : 0.0 sec. user=mdettweiler [2012-09-20 18:19:22] 815*2^1229002-1 is not prime. Res64: 6138ABE88BF506A8 Time : 0.0 sec. user=mdettweiler [2012-09-20 18:39:28] 975*2^1229002-1 is not prime. Res64: 58AD7734D0E3B606 Time : 0.0 sec. user=mdettweiler [2012-09-20 18:39:29] 619*2^1229003-1 is not prime. Res64: 661511A4067CBC4F Time : 0.0 sec. user=mdettweiler [2012-09-20 18:40:10] 621*2^1229003-1 is not prime. Res64: 7B1E2E0A811EE6F1 Time : 0.0 sec. user=mdettweiler [2012-09-20 18:40:10] 915*2^1229003-1 is not prime. Res64: F0710B9797DAEC5B Time : 0.0 sec. user=vaughan [2012-09-20 18:46:27] 827*2^1229002-1 is not prime. Res64: ACB67B4321249547 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:00:17] 985*2^1229003-1 is not prime. Res64: 621F4E4FD901FCE4 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:00:18] 605*2^1229004-1 is not prime. Res64: DBDC200556892093 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:00:59] 705*2^1229004-1 is not prime. Res64: 10838E5DE738730D Time : 0.0 sec. user=mdettweiler [2012-09-20 19:01:00] 725*2^1229004-1 is not prime. Res64: 4979C815E317D3EE Time : 0.0 sec. user=mdettweiler [2012-09-20 19:21:09] 625*2^1229005-1 is not prime. Res64: 32E23E37C799CE04 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:21:10] 729*2^1229005-1 is not prime. Res64: B92A7E668DB93254 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:21:50] 741*2^1229005-1 is not prime. Res64: 9E096E1177F0A4D4 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:21:50] 799*2^1229005-1 is not prime. Res64: 0384B5B32BB1BAC5 Time : 0.0 sec. user=vaughan [2012-09-20 19:24:12] 795*2^1229004-1 is not prime. Res64: 55A6DEF7675285AD Time : 0.0 sec. user=mdettweiler [2012-09-20 19:42:02] 919*2^1229005-1 is not prime. Res64: EE33461AA6E0D2B8 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:42:03] 957*2^1229005-1 is not prime. Res64: 6BF4EDC4530D6A42 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:42:41] 985*2^1229005-1 is not prime. Res64: D455A2968C568809 Time : 0.0 sec. user=mdettweiler [2012-09-20 19:42:42] 617*2^1229006-1 is not prime. Res64: 68D4821AAF3E2C24 Time : 0.0 sec. user=vaughan [2012-09-20 20:01:59] 675*2^1229006-1 is not prime. Res64: 504A858D960396AC Time : 0.0 sec. user=mdettweiler [2012-09-20 20:02:50] 693*2^1229006-1 is not prime. Res64: A7622639252FB8A8 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:02:51] 705*2^1229006-1 is not prime. Res64: 07DE3F37DDAA5A61 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:03:25] 743*2^1229006-1 is not prime. Res64: D3030AA3BDACF305 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:03:26] 825*2^1229006-1 is not prime. Res64: BE9B3E2BFB565F52 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:23:41] 893*2^1229006-1 is not prime. Res64: E499B9B3A199FFA5 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:23:42] 675*2^1229007-1 is not prime. Res64: E81A81665077EAE7 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:24:18] 703*2^1229007-1 is not prime. Res64: 7CCB13A815712B46 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:24:18] 735*2^1229007-1 is not prime. Res64: 0B1128AAF4B2568E Time : 0.0 sec. user=vaughan [2012-09-20 20:40:19] 887*2^1229006-1 is not prime. Res64: C94B7CFD13D65CA2 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:44:33] 739*2^1229007-1 is not prime. Res64: DB3A0CB402C95FA7 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:44:34] 919*2^1229007-1 is not prime. Res64: 75DF2ED3A0DE18AD Time : 0.0 sec. user=mdettweiler [2012-09-20 20:45:11] 933*2^1229007-1 is not prime. Res64: F83AC50AF4848FC0 Time : 0.0 sec. user=mdettweiler [2012-09-20 20:45:12] 657*2^1229008-1 is not prime. Res64: 5F8A4480084ED07A Time : 0.0 sec. user=mdettweiler [2012-09-20 21:05:27] 915*2^1229008-1 is not prime. Res64: 7A9B5F543D464B01 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:05:29] 847*2^1229009-1 is not prime. Res64: 45D8B1D794B539AE Time : 0.0 sec. user=mdettweiler [2012-09-20 21:06:02] 907*2^1229009-1 is not prime. Res64: 96445C82D14134E3 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:06:03] 969*2^1229009-1 is not prime. Res64: 7330307191D82FF6 Time : 0.0 sec. user=vaughan [2012-09-20 21:18:13] 797*2^1229008-1 is not prime. Res64: 18A25B37D07ADD01 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:26:29] 633*2^1229010-1 is not prime. Res64: B596490D4EF9A67D Time : 0.0 sec. user=mdettweiler [2012-09-20 21:26:29] 711*2^1229010-1 is not prime. Res64: 5AA0EA5B0C6C1C10 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:26:54] 851*2^1229010-1 is not prime. Res64: 6869CBF3A05A4F7C Time : 0.0 sec. user=mdettweiler [2012-09-20 21:26:55] 861*2^1229010-1 is not prime. Res64: 65F70F363BCCBE26 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:47:01] 645*2^1229011-1 is not prime. Res64: DCB8BE3410922209 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:47:01] 793*2^1229011-1 is not prime. Res64: 1124129B69CA9406 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:47:28] 805*2^1229011-1 is not prime. Res64: A4B8D60E6F1D0B18 Time : 0.0 sec. user=mdettweiler [2012-09-20 21:47:28] 861*2^1229011-1 is not prime. Res64: 3EB62ABDB69AB1D3 Time : 0.0 sec. user=vaughan [2012-09-20 21:56:02] 619*2^1229011-1 is not prime. Res64: 4B8D813D061B32E5 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:07:34] 615*2^1229012-1 is not prime. Res64: 0D316FDF14523709 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:07:35] 759*2^1229012-1 is not prime. Res64: 8B1A3DB88E20956C Time : 0.0 sec. user=mdettweiler [2012-09-20 22:08:00] 977*2^1229012-1 is not prime. Res64: C579C80E0E1C0803 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:08:01] 609*2^1229013-1 is not prime. Res64: 231786893F78B767 Time : 0.0 sec. user=juhehe [2012-09-20 22:13:39] 909*2^1229011-1 is not prime. Res64: 22BF6183D0E55754 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:28:09] 769*2^1229013-1 is not prime. Res64: 380960A17F3A6F04 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:28:09] 795*2^1229013-1 is not prime. Res64: 064B29E98832F112 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:28:37] 805*2^1229013-1 is not prime. Res64: 0CC8F083756CFC3D Time : 0.0 sec. user=mdettweiler [2012-09-20 22:28:38] 829*2^1229013-1 is not prime. Res64: B013EC2F3453C105 Time : 0.0 sec. user=gd_barnes [2012-09-20 22:31:46] 735*2^1229013-1 is not prime. Res64: BD48C272948CDD3B Time : 0.0 sec. user=vaughan [2012-09-20 22:33:46] 625*2^1229013-1 is not prime. Res64: F1685115B5B75F1E Time : 0.0 sec. user=mdettweiler [2012-09-20 22:48:46] 657*2^1229014-1 is not prime. Res64: 735B7D75C8DE9822 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:48:47] 765*2^1229014-1 is not prime. Res64: 9B5A40BE0914646F Time : 0.0 sec. user=mdettweiler [2012-09-20 22:49:09] 785*2^1229014-1 is not prime. Res64: EBF3EC330E4A9A61 Time : 0.0 sec. user=mdettweiler [2012-09-20 22:49:10] 971*2^1229014-1 is not prime. Res64: B64B958D6D878553 Time : 0.0 sec. user=juhehe [2012-09-20 22:50:26] 891*2^1229013-1 is not prime. Res64: FF5C1E108A1E65F4 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:09:19] 661*2^1229015-1 is not prime. Res64: D61D543D61E06169 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:09:20] 771*2^1229015-1 is not prime. Res64: 58C9247E157828CE Time : 0.0 sec. user=mdettweiler [2012-09-20 23:09:41] 861*2^1229015-1 is not prime. Res64: 3F73D23ACE10A7A3 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:09:42] 909*2^1229015-1 is not prime. Res64: 40F96C0085AE89D8 Time : 0.0 sec. user=vaughan [2012-09-20 23:11:33] 655*2^1229015-1 is not prime. Res64: A7A1660BDD91F4F4 Time : 0.0 sec. user=juhehe [2012-09-20 23:26:57] 921*2^1229015-1 is not prime. Res64: 0E7DC08171DC93C5 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:30:02] 991*2^1229015-1 is not prime. Res64: E9E2E7C580E13AA5 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:30:04] 633*2^1229016-1 is not prime. Res64: 0A6EFB4276D0D233 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:30:21] 723*2^1229016-1 is not prime. Res64: CB2103BC49A126F0 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:30:22] 857*2^1229016-1 is not prime. Res64: DED92598219848AC Time : 0.0 sec. user=vaughan [2012-09-20 23:49:20] 887*2^1229016-1 is not prime. Res64: 89E92CFFF8EAE59C Time : 0.0 sec. user=mdettweiler [2012-09-20 23:50:41] 687*2^1229017-1 is not prime. Res64: 6CFC2D29A83C2C88 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:50:41] 691*2^1229017-1 is not prime. Res64: AC839DD951CF0BDB Time : 0.0 sec. user=mdettweiler [2012-09-20 23:50:56] 729*2^1229017-1 is not prime. Res64: CAC3A8F6DA3D5062 Time : 0.0 sec. user=mdettweiler [2012-09-20 23:50:57] 741*2^1229017-1 is not prime. Res64: B023F224F605311C Time : 0.0 sec.