user=mdettweiler [2012-08-28 00:14:02] 681*2^1227630-1 is not prime. Res64: F5C655802390005E Time : 0.0 sec. user=mdettweiler [2012-08-28 00:18:51] 885*2^1227631-1 is not prime. Res64: C3A4C1249AB4B1ED Time : 0.0 sec. user=mdettweiler [2012-08-28 00:18:52] 943*2^1227631-1 is not prime. Res64: 3B9689837A426273 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:18:52] 961*2^1227631-1 is not prime. Res64: CFD85749C269901A Time : 0.0 sec. user=mdettweiler [2012-08-28 00:18:53] 717*2^1227632-1 is not prime. Res64: 0CEB2C6E302DB7AC Time : 0.0 sec. user=vaughan [2012-08-28 00:19:58] 677*2^1227630-1 is not prime. Res64: 0E62068CD639F760 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:20:09] 945*2^1227630-1 is not prime. Res64: 2C4CB3276D3DC697 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:39:29] 609*2^1227633-1 is not prime. Res64: 44679BC41432EC70 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:39:29] 625*2^1227633-1 is not prime. Res64: 646BCAB84EB296FE Time : 0.0 sec. user=mdettweiler [2012-08-28 00:39:30] 681*2^1227633-1 is not prime. Res64: D32722C9AC8FA9E4 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:39:31] 727*2^1227633-1 is not prime. Res64: 79EB7562CD915A56 Time : 0.0 sec. user=mdettweiler [2012-08-28 00:43:42] 875*2^1227632-1 is not prime. Res64: DAADA5F481D4FE4E Time : 0.0 sec. user=mdettweiler [2012-08-28 00:49:44] 747*2^1227633-1 is not prime. Res64: CEFF80B5DEFAE4C6 Time : 0.0 sec. user=vaughan [2012-08-28 00:57:39] 741*2^1227633-1 is not prime. Res64: 84DF4481C6EC48E3 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:00:02] 765*2^1227633-1 is not prime. Res64: AD70586B6BD8CC94 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:00:03] 955*2^1227633-1 is not prime. Res64: A702B838E46050FA Time : 0.0 sec. user=mdettweiler [2012-08-28 01:00:04] 991*2^1227633-1 is not prime. Res64: 2AD6C6802FB23A5E Time : 0.0 sec. user=mdettweiler [2012-08-28 01:00:05] 999*2^1227633-1 is not prime. Res64: F79D21FF16E659A1 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:04:47] 791*2^1227630-1 is not prime. Res64: 5B131FA97C6CA664 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:04:49] 873*2^1227630-1 is not prime. Res64: 57FF9EFBE36C25FC Time : 0.0 sec. user=mdettweiler [2012-08-28 01:08:11] 1001*2^1227630-1 is not prime. Res64: 24D57994BCD9366B Time : 0.0 sec. user=mdettweiler [2012-08-28 01:08:12] 703*2^1227631-1 is not prime. Res64: 54301E6C1A0D24BB Time : 0.0 sec. user=mdettweiler [2012-08-28 01:09:55] 723*2^1227631-1 is not prime. Res64: BA206FA8AC9506CF Time : 0.0 sec. user=mdettweiler [2012-08-28 01:09:57] 751*2^1227631-1 is not prime. Res64: 24126C3E107281BF Time : 0.0 sec. user=mdettweiler [2012-08-28 01:12:01] 783*2^1227631-1 is not prime. Res64: E978AC60B9D87809 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:12:02] 813*2^1227631-1 is not prime. Res64: BE10663053D95473 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:13:12] 617*2^1227634-1 is not prime. Res64: 2A515A6B4D3D24BE Time : 0.0 sec. user=mdettweiler [2012-08-28 01:19:16] 635*2^1227634-1 is not prime. Res64: 11DA82D962461B31 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:20:37] 671*2^1227634-1 is not prime. Res64: FE212A1B35DE034A Time : 0.0 sec. user=mdettweiler [2012-08-28 01:20:37] 675*2^1227634-1 is not prime. Res64: B8A0EE92BE6BE78E Time : 0.0 sec. user=mdettweiler [2012-08-28 01:20:39] 815*2^1227634-1 is not prime. Res64: AADE98ADF0F39E3F Time : 0.0 sec. user=mdettweiler [2012-08-28 01:20:39] 861*2^1227634-1 is not prime. Res64: 03BA0BCA7AF9D81D Time : 0.0 sec. user=vaughan [2012-08-28 01:35:20] 657*2^1227634-1 is not prime. Res64: 8DB6666306DCB599 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:41:09] 799*2^1227637-1 is not prime. Res64: 4B2C471C418C6BE1 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:41:09] 817*2^1227637-1 is not prime. Res64: 6C1B75A77AAB248A Time : 0.0 sec. user=mdettweiler [2012-08-28 01:41:11] 819*2^1227637-1 is not prime. Res64: E293649C28940507 Time : 0.0 sec. user=mdettweiler [2012-08-28 01:41:12] 825*2^1227637-1 is not prime. Res64: 5BA96EAB98B6BA9D Time : 0.0 sec. user=mdettweiler [2012-08-28 01:43:02] 601*2^1227637-1 is not prime. Res64: EF6C8A67CD94D4DC Time : 0.0 sec. user=mdettweiler [2012-08-28 01:49:09] 645*2^1227637-1 is not prime. Res64: 126953B9D14CD9CF Time : 0.0 sec. user=gd_barnes [2012-08-28 02:01:34] 871*2^1227637-1 is not prime. Res64: 4EF16D208EDF0785 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:01:41] 843*2^1227638-1 is not prime. Res64: 188A4838D533936F Time : 0.0 sec. user=mdettweiler [2012-08-28 02:01:42] 861*2^1227638-1 is not prime. Res64: 804E699D90EFD52F Time : 0.0 sec. user=mdettweiler [2012-08-28 02:01:43] 897*2^1227638-1 is not prime. Res64: A42CF60608A7F116 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:01:45] 963*2^1227638-1 is not prime. Res64: 75643F084F35EF31 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:12:36] 741*2^1227639-1 is not prime. Res64: E0E5FE8FADBF8548 Time : 0.0 sec. user=vaughan [2012-08-28 02:13:01] 813*2^1227638-1 is not prime. Res64: 27931C2BE14E66E2 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:18:43] 795*2^1227639-1 is not prime. Res64: 78B52110D7639083 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:19:32] 975*2^1227634-1 is not prime. Res64: 0065010C2D7AEB09 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:19:33] 799*2^1227635-1 is not prime. Res64: D0313D5E440183A9 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:22:26] 823*2^1227639-1 is not prime. Res64: 91551B98980E2887 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:22:26] 635*2^1227640-1 is not prime. Res64: 57A77DE1F4488A7C Time : 0.0 sec. user=mdettweiler [2012-08-28 02:22:27] 735*2^1227640-1 is not prime. Res64: 2D76E610EE6FF5E4 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:22:27] 939*2^1227640-1 is not prime. Res64: 522A73A73F626D47 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:23:08] 913*2^1227635-1 is not prime. Res64: CA7CBAA9079CD0CF Time : 0.0 sec. user=mdettweiler [2012-08-28 02:23:08] 943*2^1227635-1 is not prime. Res64: 54F534FDCE92B628 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:24:39] 979*2^1227635-1 is not prime. Res64: 9A9D52A27C3EEA7F Time : 0.0 sec. user=mdettweiler [2012-08-28 02:24:39] 689*2^1227636-1 is not prime. Res64: A8F55159712C7D55 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:26:38] 767*2^1227636-1 is not prime. Res64: 5BB8E527D460E698 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:26:39] 783*2^1227636-1 is not prime. Res64: 33E1374143F2C281 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:42:19] 989*2^1227640-1 is not prime. Res64: D14E664B11FF5ACA Time : 0.0 sec. user=mdettweiler [2012-08-28 02:43:02] 615*2^1227642-1 is not prime. Res64: FACEFED9EDC58A16 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:43:03] 843*2^1227642-1 is not prime. Res64: 760C01F2B3E5A1D0 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:43:03] 683*2^1227642-1 is not prime. Res64: B84372CAD4BE37C9 Time : 0.0 sec. user=mdettweiler [2012-08-28 02:43:04] 615*2^1227643-1 is not prime. Res64: 273116505EA708BA Time : 0.0 sec. user=mdettweiler [2012-08-28 02:48:14] 717*2^1227641-1 is not prime. Res64: CA00C617BEB71674 Time : 0.0 sec. user=vaughan [2012-08-28 02:50:44] 601*2^1227641-1 is not prime. Res64: 2429A3DEA260B4E4 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:03:35] 945*2^1227644-1 is not prime. Res64: 9B9DC7F838E76573 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:03:36] 957*2^1227644-1 is not prime. Res64: A6B8F4A5F3C8A7A9 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:03:36] 959*2^1227644-1 is not prime. Res64: B15ECE3E9C98E3D4 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:03:37] 691*2^1227645-1 is not prime. Res64: DA4C18B21055748E Time : 0.0 sec. user=mdettweiler [2012-08-28 03:12:05] 897*2^1227644-1 is not prime. Res64: F3BE1A751084340A Time : 0.0 sec. user=juhehe [2012-08-28 03:15:54] 985*2^1227643-1 is not prime. Res64: CF1CC89A86B2BD5E Time : 0.0 sec. user=mdettweiler [2012-08-28 03:17:48] 727*2^1227645-1 is not prime. Res64: 2D2872D01669818D Time : 0.0 sec. user=mdettweiler [2012-08-28 03:24:14] 805*2^1227645-1 is not prime. Res64: EB94F8EAD745C459 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:24:14] 811*2^1227645-1 is not prime. Res64: 82A8A32100434130 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:24:14] 825*2^1227645-1 is not prime. Res64: E772CFD34F31EBE2 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:24:15] 847*2^1227645-1 is not prime. Res64: 45A9EF18CA982B2A Time : 0.0 sec. user=vaughan [2012-08-28 03:28:27] 735*2^1227645-1 is not prime. Res64: 005E8A46C136182D Time : 0.0 sec. user=mdettweiler [2012-08-28 03:34:11] 775*2^1227641-1 is not prime. Res64: 76B1D9F3E649BF30 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:34:12] 611*2^1227642-1 is not prime. Res64: B2490C25AE08B96A Time : 0.0 sec. user=mdettweiler [2012-08-28 03:37:50] 675*2^1227643-1 is not prime. Res64: C27A4353E2038B8F Time : 0.0 sec. user=mdettweiler [2012-08-28 03:37:52] 679*2^1227643-1 is not prime. Res64: 3923EB7EEF47840E Time : 0.0 sec. user=mdettweiler [2012-08-28 03:39:27] 789*2^1227643-1 is not prime. Res64: B3CBDDC2D6D1A014 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:39:29] 829*2^1227643-1 is not prime. Res64: 499B89652C8E9787 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:41:52] 951*2^1227645-1 is not prime. Res64: 2FD107769792A396 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:43:23] 835*2^1227643-1 is not prime. Res64: 5253683AB708FB20 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:43:23] 943*2^1227643-1 is not prime. Res64: 85951B46690C4B30 Time : 0.0 sec. user=mdettweiler [2012-08-28 03:44:50] 971*2^1227646-1 is not prime. Res64: D46AC570B69A744C Time : 0.0 sec. user=mdettweiler [2012-08-28 03:44:51] 993*2^1227646-1 is not prime. Res64: C0CCCD889D71CECB Time : 0.0 sec. user=mdettweiler [2012-08-28 03:44:51] 865*2^1227647-1 is not prime. Res64: 6EDE444308248BEF Time : 0.0 sec. user=mdettweiler [2012-08-28 03:44:52] 885*2^1227647-1 is not prime. Res64: 194E151E4E685914 Time : 0.0 sec. user=gd_barnes [2012-08-28 03:47:26] 653*2^1227646-1 is not prime. Res64: 851863B7438F73BD Time : 0.0 sec. user=gd_barnes [2012-08-28 03:48:23] 855*2^1227646-1 is not prime. Res64: AB4372FAE6360C87 Time : 0.0 sec. user=gd_barnes [2012-08-28 03:48:25] 867*2^1227646-1 is not prime. Res64: 7EF0E8DD409D18C0 Time : 0.0 sec. user=gd_barnes [2012-08-28 03:48:29] 705*2^1227646-1 is not prime. Res64: D710275CF56B822C Time : 0.0 sec. user=mdettweiler [2012-08-28 03:48:38] 917*2^1227646-1 is not prime. Res64: D262D07A24B01D2D Time : 0.0 sec. user=mdettweiler [2012-08-28 04:05:26] 741*2^1227649-1 is not prime. Res64: 5CF08A79A410EB8C Time : 0.0 sec. user=mdettweiler [2012-08-28 04:05:27] 799*2^1227649-1 is not prime. Res64: 08FAF16AE70F7555 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:05:28] 771*2^1227649-1 is not prime. Res64: 7B5A71ED961DF839 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:05:29] 885*2^1227649-1 is not prime. Res64: 4795148B36383C30 Time : 0.0 sec. user=vaughan [2012-08-28 04:06:08] 973*2^1227647-1 is not prime. Res64: BFB828C82C06A2E7 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:11:36] 999*2^1227648-1 is not prime. Res64: 03FADA50F139E6A4 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:18:13] 897*2^1227649-1 is not prime. Res64: 3992B6F31E2BBCDA Time : 0.0 sec. user=mdettweiler [2012-08-28 04:26:17] 957*2^1227649-1 is not prime. Res64: 29D2BAEAD1AD15B6 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:26:17] 999*2^1227649-1 is not prime. Res64: A394355449CE66E3 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:26:19] 615*2^1227650-1 is not prime. Res64: E6BFAB12DE5F2F3C Time : 0.0 sec. user=mdettweiler [2012-08-28 04:26:19] 633*2^1227650-1 is not prime. Res64: D3336D56F09AEA68 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:41:17] 741*2^1227650-1 is not prime. Res64: 92F7C2C48484EAA2 Time : 0.0 sec. user=vaughan [2012-08-28 04:43:52] 635*2^1227650-1 is not prime. Res64: FFF453320AB27B34 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:46:48] 785*2^1227650-1 is not prime. Res64: B9A532030F295F4D Time : 0.0 sec. user=mdettweiler [2012-08-28 04:46:49] 797*2^1227650-1 is not prime. Res64: C2A0C13CACC4A12C Time : 0.0 sec. user=mdettweiler [2012-08-28 04:46:51] 887*2^1227650-1 is not prime. Res64: 7A47D577F13D77E1 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:46:51] 927*2^1227650-1 is not prime. Res64: CF6CCB59D34E76C1 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:47:58] 753*2^1227650-1 is not prime. Res64: C8CF70284ED8D281 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:53:14] 981*2^1227647-1 is not prime. Res64: 7B488A509BCF0E4C Time : 0.0 sec. user=mdettweiler [2012-08-28 04:53:15] 629*2^1227648-1 is not prime. Res64: CA891B29F481CF67 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:54:40] 725*2^1227648-1 is not prime. Res64: C3CA9F8164C07211 Time : 0.0 sec. user=mdettweiler [2012-08-28 04:54:41] 803*2^1227648-1 is not prime. Res64: ED7DFC1B9CAE8BA7 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:02:07] 667*2^1227649-1 is not prime. Res64: 8C45967AC94084E5 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:02:08] 681*2^1227649-1 is not prime. Res64: B6C29FA90C989759 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:03:40] 825*2^1227648-1 is not prime. Res64: 881930C1D57978A0 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:03:41] 899*2^1227648-1 is not prime. Res64: 834821542FDF44A4 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:07:21] 601*2^1227651-1 is not prime. Res64: 4635F4D0EA6555B1 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:07:24] 615*2^1227652-1 is not prime. Res64: 5ECC3FED3CC011C8 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:07:26] 753*2^1227651-1 is not prime. Res64: 9C6EC3995908169E Time : 0.0 sec. user=mdettweiler [2012-08-28 05:07:28] 719*2^1227652-1 is not prime. Res64: 1A4869C0BE736618 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:11:07] 935*2^1227650-1 is not prime. Res64: 13B067CAB8132D0D Time : 0.0 sec. user=mdettweiler [2012-08-28 05:17:43] 819*2^1227652-1 is not prime. Res64: 3F071429DCE57A3F Time : 0.0 sec. user=vaughan [2012-08-28 05:21:34] 987*2^1227650-1 is not prime. Res64: ECAC0E27D466BD1D Time : 0.0 sec. user=mdettweiler [2012-08-28 05:28:06] 755*2^1227654-1 is not prime. Res64: 713E93C8E2CA597B Time : 0.0 sec. user=mdettweiler [2012-08-28 05:28:07] 863*2^1227654-1 is not prime. Res64: 562DC1F9DFB3CB74 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:28:11] 891*2^1227654-1 is not prime. Res64: 71233BD9FA09C9AF Time : 0.0 sec. user=mdettweiler [2012-08-28 05:28:12] 923*2^1227654-1 is not prime. Res64: 291B702A970C3338 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:40:44] 661*2^1227655-1 is not prime. Res64: 9BB8B5554B6125AB Time : 0.0 sec. user=mdettweiler [2012-08-28 05:47:16] 673*2^1227655-1 is not prime. Res64: D3D5A86BA9DD7D2D Time : 0.0 sec. user=mdettweiler [2012-08-28 05:48:40] 715*2^1227655-1 is not prime. Res64: C5BFA8DBDEEBA4A0 Time : 0.0 sec. user=mdettweiler [2012-08-28 05:48:40] 629*2^1227656-1 is not prime. Res64: 2B7AD1C87312AFAC Time : 0.0 sec. user=mdettweiler [2012-08-28 05:48:44] 743*2^1227656-1 is not prime. Res64: BFFF19E737A0CE7D Time : 0.0 sec. user=mdettweiler [2012-08-28 05:48:44] 873*2^1227656-1 is not prime. Res64: 084736468F10DBCE Time : 0.0 sec. user=vaughan [2012-08-28 05:59:18] 679*2^1227655-1 is not prime. Res64: B3C19CF459E87376 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:09:12] 685*2^1227657-1 is not prime. Res64: 5B4D955BB3C68C1A Time : 0.0 sec. user=mdettweiler [2012-08-28 06:09:13] 759*2^1227657-1 is not prime. Res64: 0C556D9089A46C10 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:09:16] 795*2^1227657-1 is not prime. Res64: 3B2ABDC61EBE5D58 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:09:17] 889*2^1227657-1 is not prime. Res64: 2BDD36A35055DC47 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:10:19] 875*2^1227656-1 is not prime. Res64: 9ED4C401108CB3FE Time : 0.0 sec. user=mdettweiler [2012-08-28 06:11:04] 615*2^1227653-1 is not prime. Res64: 26B864BFC686D37A Time : 0.0 sec. user=mdettweiler [2012-08-28 06:11:05] 619*2^1227653-1 is not prime. Res64: 6839690A018854C6 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:11:06] 899*2^1227652-1 is not prime. Res64: 0F40C6661473CD11 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:11:07] 983*2^1227652-1 is not prime. Res64: BD8EB965DC41BA1C Time : 0.0 sec. user=mdettweiler [2012-08-28 06:16:52] 983*2^1227656-1 is not prime. Res64: EA51E39F8B5A7370 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:17:31] 685*2^1227653-1 is not prime. Res64: 468DF6D9EC1A9A55 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:17:32] 735*2^1227653-1 is not prime. Res64: CD5729B3EB55777F Time : 0.0 sec. user=mdettweiler [2012-08-28 06:18:29] 789*2^1227653-1 is not prime. Res64: 8B143752B2DE506D Time : 0.0 sec. user=mdettweiler [2012-08-28 06:18:29] 867*2^1227653-1 is not prime. Res64: 6D54C6EE1734165C Time : 0.0 sec. user=mdettweiler [2012-08-28 06:29:52] 603*2^1227658-1 is not prime. Res64: B639F66D976B0061 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:29:53] 605*2^1227658-1 is not prime. Res64: AFAF6ACC654551EC Time : 0.0 sec. user=mdettweiler [2012-08-28 06:29:59] 621*2^1227658-1 is not prime. Res64: 9D9A320AF91B2508 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:30:00] 623*2^1227658-1 is not prime. Res64: C4CCCFDB93DB216B Time : 0.0 sec. user=vaughan [2012-08-28 06:37:01] 919*2^1227657-1 is not prime. Res64: D74DC878CE36D298 Time : 0.0 sec. user=mdettweiler [2012-08-28 06:41:24] 677*2^1227658-1 is not prime. Res64: 7B5043FB6F5ECFFC Time : 0.0 sec. user=mdettweiler [2012-08-28 06:48:57] 643*2^1227659-1 is not prime. Res64: A46C4118AEEC6F12 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:01:29] 669*2^1227660-1 is not prime. Res64: D73386C8F9D951CE Time : 0.0 sec. user=mdettweiler [2012-08-28 07:01:30] 699*2^1227660-1 is not prime. Res64: 7CF24645999BE785 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:01:35] 753*2^1227660-1 is not prime. Res64: 53769DD97B608BBD Time : 0.0 sec. user=mdettweiler [2012-08-28 07:01:36] 767*2^1227660-1 is not prime. Res64: F6E1A9531B593EE9 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:12:26] 879*2^1227660-1 is not prime. Res64: 475D063B5F2E4886 Time : 0.0 sec. user=vaughan [2012-08-28 07:14:43] 797*2^1227660-1 is not prime. Res64: B077D2555077FC17 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:19:57] 899*2^1227660-1 is not prime. Res64: B642CCB10E011883 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:22:10] 975*2^1227660-1 is not prime. Res64: 56726CFE7078CA03 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:22:11] 621*2^1227661-1 is not prime. Res64: 3E7FB8150159619F Time : 0.0 sec. user=mdettweiler [2012-08-28 07:22:11] 639*2^1227661-1 is not prime. Res64: BEEE86A1BE710281 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:22:12] 687*2^1227661-1 is not prime. Res64: 43DDE7EB2193D3EC Time : 0.0 sec. user=mdettweiler [2012-08-28 07:27:22] 705*2^1227658-1 is not prime. Res64: F73106545C353FDF Time : 0.0 sec. user=mdettweiler [2012-08-28 07:27:23] 887*2^1227658-1 is not prime. Res64: C20F476E3081DCEB Time : 0.0 sec. user=mdettweiler [2012-08-28 07:27:36] 601*2^1227659-1 is not prime. Res64: C20FDEA2F4D3844A Time : 0.0 sec. user=mdettweiler [2012-08-28 07:27:37] 609*2^1227659-1 is not prime. Res64: 5F019E0326BEEE7F Time : 0.0 sec. user=mdettweiler [2012-08-28 07:33:39] 735*2^1227659-1 is not prime. Res64: FC874BE37623A27D Time : 0.0 sec. user=mdettweiler [2012-08-28 07:33:40] 771*2^1227659-1 is not prime. Res64: 0ECCBAD826A67F9B Time : 0.0 sec. user=mdettweiler [2012-08-28 07:35:16] 939*2^1227659-1 is not prime. Res64: A8E9FB19BF7CA3CC Time : 0.0 sec. user=mdettweiler [2012-08-28 07:35:17] 955*2^1227659-1 is not prime. Res64: 586219349FB480BE Time : 0.0 sec. user=mdettweiler [2012-08-28 07:42:41] 627*2^1227662-1 is not prime. Res64: 820C0ED0224583A6 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:42:42] 693*2^1227662-1 is not prime. Res64: E752545DE9E0750E Time : 0.0 sec. user=mdettweiler [2012-08-28 07:42:42] 705*2^1227662-1 is not prime. Res64: 9F16C4F4E566A3FA Time : 0.0 sec. user=mdettweiler [2012-08-28 07:42:43] 791*2^1227662-1 is not prime. Res64: CE36CC5ECA0DCB66 Time : 0.0 sec. user=mdettweiler [2012-08-28 07:44:35] 747*2^1227661-1 is not prime. Res64: 542C4026D3B0824B Time : 0.0 sec. user=mdettweiler [2012-08-28 07:51:49] 895*2^1227661-1 is not prime. Res64: 3FE2696EAF0B358D Time : 0.0 sec. user=vaughan [2012-08-28 07:52:25] 811*2^1227661-1 is not prime. Res64: 7E88D3CCCD948BC6 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:03:12] 751*2^1227663-1 is not prime. Res64: 1BA12C510B1D5113 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:03:12] 853*2^1227663-1 is not prime. Res64: 76D1B138F18542EA Time : 0.0 sec. user=mdettweiler [2012-08-28 08:03:13] 775*2^1227663-1 is not prime. Res64: 2BBE83F82FA962D4 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:03:13] 609*2^1227664-1 is not prime. Res64: F1AC1007DF10AA25 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:16:10] 819*2^1227664-1 is not prime. Res64: 027EA298C3689E19 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:24:08] 827*2^1227664-1 is not prime. Res64: B03EF1D90FAE24D5 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:24:15] 915*2^1227664-1 is not prime. Res64: 9133ED00C4BB2BCC Time : 0.0 sec. user=mdettweiler [2012-08-28 08:24:15] 929*2^1227664-1 is not prime. Res64: 6CC0DE46B6F5D612 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:24:17] 939*2^1227664-1 is not prime. Res64: 89EB8CB7185EC50D Time : 0.0 sec. user=mdettweiler [2012-08-28 08:24:18] 995*2^1227664-1 is not prime. Res64: 073642C020BE1DE4 Time : 0.0 sec. user=vaughan [2012-08-28 08:30:07] 887*2^1227664-1 is not prime. Res64: 980068385765D00B Time : 0.0 sec. user=mdettweiler [2012-08-28 08:44:46] 691*2^1227665-1 is not prime. Res64: FEF3B13C55BB6E86 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:44:46] 787*2^1227665-1 is not prime. Res64: 22ACBDA64F423F6B Time : 0.0 sec. user=mdettweiler [2012-08-28 08:44:48] 861*2^1227665-1 is not prime. Res64: 7C004691E884D4E7 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:44:48] 937*2^1227665-1 is not prime. Res64: 83DFEC52C65C6ECC Time : 0.0 sec. user=mdettweiler [2012-08-28 08:45:01] 825*2^1227662-1 is not prime. Res64: EE96E2DC1731D3CE Time : 0.0 sec. user=mdettweiler [2012-08-28 08:45:01] 827*2^1227662-1 is not prime. Res64: 1019FDDAD4E4F525 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:45:30] 831*2^1227662-1 is not prime. Res64: 04B06D10A7F3DA41 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:45:31] 917*2^1227662-1 is not prime. Res64: E816D160B2DAE8D8 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:47:34] 607*2^1227665-1 is not prime. Res64: 50D8CFDD20B2DFE8 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:51:29] 1001*2^1227662-1 is not prime. Res64: B0F94A43612B0071 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:51:29] 613*2^1227663-1 is not prime. Res64: 80C2CEC14D65E687 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:53:03] 669*2^1227663-1 is not prime. Res64: D0E159EC5FB9E477 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:53:03] 685*2^1227663-1 is not prime. Res64: 5A44F37606D7A866 Time : 0.0 sec. user=mdettweiler [2012-08-28 08:56:43] 649*2^1227665-1 is not prime. Res64: 09A32B0016D393E0 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:05:17] 735*2^1227666-1 is not prime. Res64: FEECDFA0B5D8314C Time : 0.0 sec. user=mdettweiler [2012-08-28 09:05:20] 851*2^1227666-1 is not prime. Res64: A6943E491E93819C Time : 0.0 sec. user=mdettweiler [2012-08-28 09:05:21] 975*2^1227666-1 is not prime. Res64: AC6138774F689EAB Time : 0.0 sec. user=mdettweiler [2012-08-28 09:05:24] 681*2^1227667-1 is not prime. Res64: 870B47806C76AD11 Time : 0.0 sec. user=vaughan [2012-08-28 09:07:51] 969*2^1227665-1 is not prime. Res64: A7D5A53B3215CA0B Time : 0.0 sec. user=mdettweiler [2012-08-28 09:18:38] 819*2^1227667-1 is not prime. Res64: 771EBBE4D4F09C3D Time : 0.0 sec. user=mdettweiler [2012-08-28 09:26:22] 759*2^1227668-1 is not prime. Res64: 01AD4F43D6060CFC Time : 0.0 sec. user=mdettweiler [2012-08-28 09:26:23] 773*2^1227668-1 is not prime. Res64: 0CC25965032155A6 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:26:26] 789*2^1227668-1 is not prime. Res64: E245D9BC73F73B53 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:26:28] 813*2^1227668-1 is not prime. Res64: 4E7F62A5B62229EE Time : 0.0 sec. user=mdettweiler [2012-08-28 09:29:13] 735*2^1227668-1 is not prime. Res64: A7A1DC6E54BADB8F Time : 0.0 sec. user=mdettweiler [2012-08-28 09:36:55] 849*2^1227624-1 is not prime. Res64: D87823ADDA3FD18D Time : 0.0 sec. user=mdettweiler [2012-08-28 09:36:58] 773*2^1227624-1 is not prime. Res64: 7A37EB7257FB2849 Time : 0.0 sec. user=vaughan [2012-08-28 09:45:36] 963*2^1227668-1 is not prime. Res64: 56781C76EE387353 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:47:06] 627*2^1227669-1 is not prime. Res64: 688151373F8FAED2 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:47:07] 661*2^1227669-1 is not prime. Res64: DD109DFD6D40FF78 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:47:11] 685*2^1227669-1 is not prime. Res64: 8601AFD7DE2E86D7 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:47:11] 817*2^1227669-1 is not prime. Res64: F9AB10332400BCA2 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:49:30] 645*2^1227670-1 is not prime. Res64: 873A1F3DFEF06840 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:49:33] 743*2^1227670-1 is not prime. Res64: 91E87D5D9149F287 Time : 0.0 sec. user=mdettweiler [2012-08-28 09:51:02] 999*2^1227668-1 is not prime. Res64: A91E6D1356775881 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:02:48] 891*2^1227669-1 is not prime. Res64: ED7B742C26A66620 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:03:48] 699*2^1227667-1 is not prime. Res64: 8640B45C84C60F5D Time : 0.0 sec. user=mdettweiler [2012-08-28 10:03:49] 765*2^1227667-1 is not prime. Res64: AD2D70A2E64DDF6D Time : 0.0 sec. user=mdettweiler [2012-08-28 10:03:57] 971*2^1227670-1 is not prime. Res64: CA2EE4DB040696B3 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:04:00] 975*2^1227670-1 is not prime. Res64: 91EDA6E943E020F7 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:04:46] 775*2^1227667-1 is not prime. Res64: E01BA63861A3B009 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:04:47] 793*2^1227667-1 is not prime. Res64: 2BEC9F6AC49FF57B Time : 0.0 sec. user=mdettweiler [2012-08-28 10:07:52] 831*2^1227670-1 is not prime. Res64: 2446EA94070FF9C5 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:07:57] 843*2^1227670-1 is not prime. Res64: 1F107DAA7E300235 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:08:00] 861*2^1227670-1 is not prime. Res64: 95897659EFE16C46 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:08:03] 911*2^1227670-1 is not prime. Res64: 0D621A6EB041E2E8 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:10:45] 861*2^1227667-1 is not prime. Res64: 4D66C67FD9EDB333 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:10:45] 919*2^1227667-1 is not prime. Res64: DFC714754A1BFBDC Time : 0.0 sec. user=mdettweiler [2012-08-28 10:11:40] 615*2^1227668-1 is not prime. Res64: 38394EEDC65A42A9 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:11:40] 665*2^1227668-1 is not prime. Res64: D6E7E6534E44C3F0 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:17:02] 693*2^1227671-1 is not prime. Res64: 5D4FD2E32DDD15E9 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:17:05] 703*2^1227671-1 is not prime. Res64: 3A6949ACAE61EF42 Time : 0.0 sec. user=vaughan [2012-08-28 10:23:15] 827*2^1227670-1 is not prime. Res64: 94D2C6F4138F1D5B Time : 0.0 sec. user=mdettweiler [2012-08-28 10:24:44] 609*2^1227671-1 is not prime. Res64: C86C1DBC58A41052 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:28:48] 719*2^1227672-1 is not prime. Res64: FE1ED485B5C9D590 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:28:49] 879*2^1227672-1 is not prime. Res64: 9E5864B26E937417 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:28:50] 859*2^1227671-1 is not prime. Res64: C4589D37CB96B5BA Time : 0.0 sec. user=mdettweiler [2012-08-28 10:28:51] 999*2^1227672-1 is not prime. Res64: 52535558780353D7 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:30:01] 641*2^1227674-1 is not prime. Res64: 4AD8C1495623962E Time : 0.0 sec. user=mdettweiler [2012-08-28 10:30:05] 645*2^1227674-1 is not prime. Res64: 424D5D7167DE5123 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:35:57] 661*2^1227671-1 is not prime. Res64: 8DD422EE912F1FA8 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:43:01] 887*2^1227674-1 is not prime. Res64: C3447995F7FEC222 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:43:03] 923*2^1227674-1 is not prime. Res64: A55654B43EF8CCF1 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:49:26] 741*2^1227674-1 is not prime. Res64: 924DF921A32C71E6 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:49:27] 783*2^1227674-1 is not prime. Res64: 88D18FB4FA996A02 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:49:28] 831*2^1227674-1 is not prime. Res64: 9F0000A309E9E159 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:49:29] 885*2^1227674-1 is not prime. Res64: 16382097C35CEBF4 Time : 0.0 sec. user=juhehe [2012-08-28 10:50:51] 855*2^1227671-1 is not prime. Res64: 74C7B9022E41D925 Time : 0.0 sec. user=mdettweiler [2012-08-28 10:56:16] 705*2^1227675-1 is not prime. Res64: BE68CE4BDD16F6BB Time : 0.0 sec. user=mdettweiler [2012-08-28 10:56:18] 735*2^1227675-1 is not prime. Res64: B0866A5045B67BFD Time : 0.0 sec. user=mdettweiler [2012-08-28 11:00:54] 717*2^1227674-1 is not prime. Res64: D1CF894BFA353338 Time : 0.0 sec. user=vaughan [2012-08-28 11:00:57] 707*2^1227674-1 is not prime. Res64: 6EC2B54F3E991F34 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:09:20] 639*2^1227676-1 is not prime. Res64: 37803A53ACD46697 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:09:22] 833*2^1227676-1 is not prime. Res64: 57B27B5FA4B43A5D Time : 0.0 sec. user=mdettweiler [2012-08-28 11:10:06] 819*2^1227675-1 is not prime. Res64: 12666545FF09072E Time : 0.0 sec. user=mdettweiler [2012-08-28 11:10:07] 873*2^1227675-1 is not prime. Res64: BB1C8CBBDF160149 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:10:08] 895*2^1227675-1 is not prime. Res64: 88E5253D8FBA3E6D Time : 0.0 sec. user=mdettweiler [2012-08-28 11:10:09] 969*2^1227675-1 is not prime. Res64: 75AA549F0A218510 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:17:09] 651*2^1227675-1 is not prime. Res64: 819E2649B3D0E7D9 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:21:40] 673*2^1227671-1 is not prime. Res64: C82B3A0F7E95DC2E Time : 0.0 sec. user=mdettweiler [2012-08-28 11:21:40] 675*2^1227671-1 is not prime. Res64: 23B04E51D726D045 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:22:55] 813*2^1227671-1 is not prime. Res64: 20FAC1E3CFB17159 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:22:56] 829*2^1227671-1 is not prime. Res64: 36F6EF49D69C629A Time : 0.0 sec. user=mdettweiler [2012-08-28 11:23:03] 711*2^1227677-1 is not prime. Res64: BEA95B6A9002D6D6 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:23:05] 759*2^1227677-1 is not prime. Res64: 2F897C561B30DEBF Time : 0.0 sec. user=mdettweiler [2012-08-28 11:28:29] 687*2^1227673-1 is not prime. Res64: 4137D8C856F57F12 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:28:30] 705*2^1227673-1 is not prime. Res64: 976272FBDD6D0A9E Time : 0.0 sec. user=mdettweiler [2012-08-28 11:29:22] 715*2^1227673-1 is not prime. Res64: D834EAAE9D339BF2 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:29:23] 605*2^1227674-1 is not prime. Res64: E048CFAE5AC638AE Time : 0.0 sec. user=mdettweiler [2012-08-28 11:30:49] 769*2^1227677-1 is not prime. Res64: BF97EEB369A1AA88 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:30:50] 937*2^1227677-1 is not prime. Res64: 54C53BBA1E1ABAE9 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:30:50] 945*2^1227677-1 is not prime. Res64: DD85C609E259AE85 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:30:50] 651*2^1227678-1 is not prime. Res64: 8DB162B222F91A03 Time : 0.0 sec. user=juhehe [2012-08-28 11:33:41] 629*2^1227676-1 is not prime. Res64: 3700513C5067DDCE Time : 0.0 sec. user=mdettweiler [2012-08-28 11:36:12] 649*2^1227679-1 is not prime. Res64: F700BA307E476E92 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:36:14] 681*2^1227679-1 is not prime. Res64: A3C95413EA0473F9 Time : 0.0 sec. user=vaughan [2012-08-28 11:38:39] 615*2^1227677-1 is not prime. Res64: 8F342AB532167476 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:48:16] 905*2^1227676-1 is not prime. Res64: 122D8B393AADEC75 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:49:18] 649*2^1227681-1 is not prime. Res64: 82C99A1870665DAE Time : 0.0 sec. user=mdettweiler [2012-08-28 11:49:20] 739*2^1227681-1 is not prime. Res64: 9E4059C949887210 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:51:26] 883*2^1227679-1 is not prime. Res64: C553DD4920035CFA Time : 0.0 sec. user=mdettweiler [2012-08-28 11:51:26] 603*2^1227680-1 is not prime. Res64: E2B9588ABA2DC60C Time : 0.0 sec. user=mdettweiler [2012-08-28 11:51:28] 635*2^1227680-1 is not prime. Res64: 10C554F59F9BDAE2 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:51:28] 845*2^1227680-1 is not prime. Res64: C93F66350E206992 Time : 0.0 sec. user=mdettweiler [2012-08-28 11:58:56] 777*2^1227678-1 is not prime. Res64: AE4E87B4B97211A3 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:02:17] 889*2^1227681-1 is not prime. Res64: 3F0F22EF562934A0 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:02:21] 991*2^1227681-1 is not prime. Res64: 242E0C1C51BA12EE Time : 0.0 sec. user=mdettweiler [2012-08-28 12:12:02] 671*2^1227682-1 is not prime. Res64: 9C93D0D5B1CAA489 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:12:03] 675*2^1227682-1 is not prime. Res64: 2986FBE9B8F72745 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:12:05] 873*2^1227682-1 is not prime. Res64: B23A02BE3860C610 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:12:06] 885*2^1227682-1 is not prime. Res64: 3BA6F63AD696CF28 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:15:19] 631*2^1227683-1 is not prime. Res64: E6E381AC285AD4DD Time : 0.0 sec. user=mdettweiler [2012-08-28 12:15:23] 705*2^1227683-1 is not prime. Res64: DFDCDE69024A390D Time : 0.0 sec. user=vaughan [2012-08-28 12:16:21] 847*2^1227681-1 is not prime. Res64: 0EA195306E691C81 Time : 0.0 sec. user=juhehe [2012-08-28 12:16:32] 983*2^1227680-1 is not prime. Res64: 377A8DA0E57DBCB0 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:20:30] 861*2^1227681-1 is not prime. Res64: A2806C524A2324C3 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:28:18] 955*2^1227683-1 is not prime. Res64: ABEB08CA534E3748 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:28:24] 657*2^1227684-1 is not prime. Res64: 9D2206F895AD435C Time : 0.0 sec. user=mdettweiler [2012-08-28 12:31:19] 975*2^1227682-1 is not prime. Res64: EFA3A7AD3D3E115B Time : 0.0 sec. user=mdettweiler [2012-08-28 12:32:47] 859*2^1227683-1 is not prime. Res64: C08FBFF59A3810C5 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:32:47] 895*2^1227683-1 is not prime. Res64: 85DC8BDCEEF3190B Time : 0.0 sec. user=mdettweiler [2012-08-28 12:32:51] 943*2^1227683-1 is not prime. Res64: BC146B1897B2C42C Time : 0.0 sec. user=mdettweiler [2012-08-28 12:32:51] 949*2^1227683-1 is not prime. Res64: 6E3548449F8D90DB Time : 0.0 sec. user=mdettweiler [2012-08-28 12:38:42] 861*2^1227678-1 is not prime. Res64: 8E93BEACA8CCAC22 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:38:42] 893*2^1227678-1 is not prime. Res64: 97C38D2EAEC98B6B Time : 0.0 sec. user=mdettweiler [2012-08-28 12:39:43] 933*2^1227678-1 is not prime. Res64: DC5C201F1DCCB53F Time : 0.0 sec. user=mdettweiler [2012-08-28 12:39:43] 971*2^1227678-1 is not prime. Res64: 0B569193DF80FE02 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:41:20] 923*2^1227684-1 is not prime. Res64: 2C942460600A1B25 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:41:23] 619*2^1227685-1 is not prime. Res64: 74090A7B7B024BC9 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:45:34] 703*2^1227679-1 is not prime. Res64: A2AA2A12CEDC74E4 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:45:34] 745*2^1227679-1 is not prime. Res64: 420B2AEA614D6CDB Time : 0.0 sec. user=mdettweiler [2012-08-28 12:46:18] 751*2^1227679-1 is not prime. Res64: 5604E0B008B6BFE1 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:46:18] 789*2^1227679-1 is not prime. Res64: ED9ED899F10B2022 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:53:22] 699*2^1227685-1 is not prime. Res64: 11E04E032A0104E6 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:53:23] 885*2^1227685-1 is not prime. Res64: C8F0906B2448056F Time : 0.0 sec. user=mdettweiler [2012-08-28 12:53:26] 955*2^1227685-1 is not prime. Res64: 86D0CCE27BF0D17C Time : 0.0 sec. user=mdettweiler [2012-08-28 12:53:26] 705*2^1227686-1 is not prime. Res64: 308F488B21BF38F6 Time : 0.0 sec. user=vaughan [2012-08-28 12:54:03] 759*2^1227684-1 is not prime. Res64: 8C4CA9F06E6A38AC Time : 0.0 sec. user=mdettweiler [2012-08-28 12:54:19] 705*2^1227687-1 is not prime. Res64: E1344DEE99D26E90 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:54:21] 765*2^1227687-1 is not prime. Res64: 21FF04CCF3C4C872 Time : 0.0 sec. user=mdettweiler [2012-08-28 12:54:21] 809*2^1227684-1 is not prime. Res64: 1E56045BE3AD14E3 Time : 0.0 sec. user=juhehe [2012-08-28 13:00:17] 765*2^1227684-1 is not prime. Res64: C1A466C6EF752D7F Time : 0.0 sec. user=mdettweiler [2012-08-28 13:02:35] 649*2^1227685-1 is not prime. Res64: 3A823D7B0E923CD5 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:07:14] 855*2^1227688-1 is not prime. Res64: 4A093C0A47089B01 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:07:18] 887*2^1227688-1 is not prime. Res64: 32D3985FE2D3360B Time : 0.0 sec. user=mdettweiler [2012-08-28 13:13:57] 999*2^1227687-1 is not prime. Res64: 788F6A640BA58CC4 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:14:00] 687*2^1227688-1 is not prime. Res64: 175AC4193A7DFC79 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:14:01] 677*2^1227688-1 is not prime. Res64: 757142577EE83F36 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:14:01] 747*2^1227688-1 is not prime. Res64: BD263E2BD8282947 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:20:18] 811*2^1227689-1 is not prime. Res64: AE51E51747D9A390 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:20:19] 847*2^1227689-1 is not prime. Res64: 827831B269D2B6DD Time : 0.0 sec. user=mdettweiler [2012-08-28 13:27:10] 999*2^1227688-1 is not prime. Res64: EB141C026C4466AA Time : 0.0 sec. user=vaughan [2012-08-28 13:32:00] 843*2^1227688-1 is not prime. Res64: EABF0FBBE89BA7CE Time : 0.0 sec. user=mdettweiler [2012-08-28 13:33:18] 825*2^1227690-1 is not prime. Res64: 74B86D700645CF04 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:33:21] 777*2^1227690-1 is not prime. Res64: ABF9A97D54515263 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:34:38] 611*2^1227690-1 is not prime. Res64: 32514D75859C0C94 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:34:39] 755*2^1227690-1 is not prime. Res64: 2CFBD78A8EC1C79D Time : 0.0 sec. user=mdettweiler [2012-08-28 13:34:39] 969*2^1227689-1 is not prime. Res64: CA59915449E8B7C5 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:34:40] 767*2^1227690-1 is not prime. Res64: 809E61876A9DA57C Time : 0.0 sec. user=mdettweiler [2012-08-28 13:35:12] 645*2^1227689-1 is not prime. Res64: 823C4E4712B77DED Time : 0.0 sec. user=juhehe [2012-08-28 13:43:23] 615*2^1227689-1 is not prime. Res64: ACC40BD662735875 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:46:32] 963*2^1227690-1 is not prime. Res64: 1B11CFF1F0D89712 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:46:36] 927*2^1227690-1 is not prime. Res64: 962FF9358CEED5D5 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:17] 745*2^1227691-1 is not prime. Res64: 02F40554751A5DAC Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:17] 819*2^1227691-1 is not prime. Res64: 60575F995A093EF0 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:18] 849*2^1227691-1 is not prime. Res64: 1F66E02477BAC321 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:19] 925*2^1227691-1 is not prime. Res64: 165042DD99585C8D Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:38] 743*2^1227686-1 is not prime. Res64: AD81EB5431442B1D Time : 0.0 sec. user=mdettweiler [2012-08-28 13:55:39] 851*2^1227686-1 is not prime. Res64: D452C4EBAE8FCB88 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:56:29] 921*2^1227686-1 is not prime. Res64: 1DDDA2ED02CE60E0 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:56:30] 601*2^1227687-1 is not prime. Res64: 0844364B755AB673 Time : 0.0 sec. user=mdettweiler [2012-08-28 13:59:32] 961*2^1227691-1 is not prime. Res64: 82C3F68A79BF8E6E Time : 0.0 sec. user=mdettweiler [2012-08-28 13:59:34] 623*2^1227692-1 is not prime. Res64: 5BB7091CC782720A Time : 0.0 sec. user=mdettweiler [2012-08-28 13:59:39] 845*2^1227690-1 is not prime. Res64: BB1DFDC93BF27DF1 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:02:09] 829*2^1227687-1 is not prime. Res64: 1312BA7C8F45B61C Time : 0.0 sec. user=mdettweiler [2012-08-28 14:02:10] 831*2^1227687-1 is not prime. Res64: 9AC25DFEC0F25F88 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:03:12] 919*2^1227687-1 is not prime. Res64: 11B1D1AC92D26722 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:03:13] 933*2^1227687-1 is not prime. Res64: 8728BC1F6CBFFEEF Time : 0.0 sec. user=mdettweiler [2012-08-28 14:07:54] 951*2^1227691-1 is not prime. Res64: D46031AC8631E27C Time : 0.0 sec. user=vaughan [2012-08-28 14:09:46] 891*2^1227690-1 is not prime. Res64: 6923457015EC9611 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:12:31] 871*2^1227693-1 is not prime. Res64: 8E1A9750ACC8A941 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:12:32] 949*2^1227693-1 is not prime. Res64: 34F729F08BFA93F9 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:15:53] 635*2^1227692-1 is not prime. Res64: C3B97AC3A8A6FF88 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:15:54] 669*2^1227692-1 is not prime. Res64: 039EBD82DD8A95FA Time : 0.0 sec. user=mdettweiler [2012-08-28 14:15:56] 677*2^1227692-1 is not prime. Res64: 92CC8762D661548A Time : 0.0 sec. user=mdettweiler [2012-08-28 14:15:56] 855*2^1227692-1 is not prime. Res64: 6C86AF26067E8196 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:25:33] 619*2^1227695-1 is not prime. Res64: 8949F41845A4FFF1 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:25:35] 759*2^1227695-1 is not prime. Res64: 95D2BB307F572914 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:32:28] 617*2^1227694-1 is not prime. Res64: 588CABA284415F16 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:36:29] 781*2^1227695-1 is not prime. Res64: 20EA4A81AD270735 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:36:30] 909*2^1227695-1 is not prime. Res64: 5361E8B8C00E8ABE Time : 0.0 sec. user=mdettweiler [2012-08-28 14:36:32] 633*2^1227696-1 is not prime. Res64: 582BA7A36B243E3B Time : 0.0 sec. user=mdettweiler [2012-08-28 14:36:33] 735*2^1227696-1 is not prime. Res64: 05C6639F8A563802 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:38:42] 651*2^1227697-1 is not prime. Res64: 10A6A84450558226 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:38:44] 933*2^1227696-1 is not prime. Res64: 7A23B330002BC10A Time : 0.0 sec. user=mdettweiler [2012-08-28 14:40:47] 915*2^1227694-1 is not prime. Res64: 3BF2F4809A1C95F6 Time : 0.0 sec. user=vaughan [2012-08-28 14:47:29] 923*2^1227694-1 is not prime. Res64: 7DC992A29FDDD65D Time : 0.0 sec. user=mdettweiler [2012-08-28 14:51:40] 919*2^1227697-1 is not prime. Res64: 8FADEFE08C5C1E13 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:51:42] 931*2^1227697-1 is not prime. Res64: 156535E20E3FE457 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:57:08] 769*2^1227697-1 is not prime. Res64: 4DDF9A37ECD7BFBD Time : 0.0 sec. user=mdettweiler [2012-08-28 14:57:08] 777*2^1227697-1 is not prime. Res64: C4083B254544755B Time : 0.0 sec. user=mdettweiler [2012-08-28 14:57:11] 847*2^1227697-1 is not prime. Res64: B9C06EE68A051A17 Time : 0.0 sec. user=mdettweiler [2012-08-28 14:57:12] 895*2^1227697-1 is not prime. Res64: DD5ABE0B19BC3CBA Time : 0.0 sec. user=mdettweiler [2012-08-28 15:04:42] 731*2^1227698-1 is not prime. Res64: DD2F4DC7CE0F2296 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:04:44] 753*2^1227698-1 is not prime. Res64: 49B46068F8D73040 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:04:57] 741*2^1227697-1 is not prime. Res64: D30FC4330024BF77 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:13:28] 875*2^1227692-1 is not prime. Res64: BF4221E4D2B1236D Time : 0.0 sec. user=mdettweiler [2012-08-28 15:13:29] 987*2^1227692-1 is not prime. Res64: CEFD2953D00778EA Time : 0.0 sec. user=mdettweiler [2012-08-28 15:13:56] 641*2^1227698-1 is not prime. Res64: 8632D690EDDEC5E3 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:14:18] 679*2^1227693-1 is not prime. Res64: B4F0E5F77EB66060 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:14:18] 861*2^1227693-1 is not prime. Res64: C3E35E1BABF7F32C Time : 0.0 sec. user=mdettweiler [2012-08-28 15:17:57] 921*2^1227698-1 is not prime. Res64: 121898F7D7922E5B Time : 0.0 sec. user=mdettweiler [2012-08-28 15:17:59] 963*2^1227698-1 is not prime. Res64: E3026CAFDFD2026E Time : 0.0 sec. user=mdettweiler [2012-08-28 15:18:11] 773*2^1227698-1 is not prime. Res64: 35E7AF7F7A0B3C4A Time : 0.0 sec. user=mdettweiler [2012-08-28 15:18:11] 801*2^1227698-1 is not prime. Res64: 9AC009FFF9AB6D33 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:18:13] 845*2^1227698-1 is not prime. Res64: 87104438B4AF32A7 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:18:14] 875*2^1227698-1 is not prime. Res64: 578744CD727D83F9 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:19:29] 681*2^1227694-1 is not prime. Res64: A2E1A9DB5DC968FE Time : 0.0 sec. user=mdettweiler [2012-08-28 15:19:29] 773*2^1227694-1 is not prime. Res64: 978EAE164DB71E76 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:21:13] 887*2^1227694-1 is not prime. Res64: 6E4FEC572448D335 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:21:14] 903*2^1227694-1 is not prime. Res64: 36CA983E5FB54E80 Time : 0.0 sec. user=vaughan [2012-08-28 15:25:11] 705*2^1227698-1 is not prime. Res64: 13771C4C5376A9CD Time : 0.0 sec. user=mdettweiler [2012-08-28 15:30:59] 719*2^1227700-1 is not prime. Res64: 97222EA9C6B171EB Time : 0.0 sec. user=mdettweiler [2012-08-28 15:31:00] 903*2^1227699-1 is not prime. Res64: CB9D41FA40E1CE9B Time : 0.0 sec. user=mdettweiler [2012-08-28 15:37:03] 625*2^1227699-1 is not prime. Res64: F081C2466DF28516 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:38:56] 875*2^1227700-1 is not prime. Res64: 7B25C50D876383C4 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:38:56] 899*2^1227700-1 is not prime. Res64: 9010873F93482F89 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:38:59] 615*2^1227701-1 is not prime. Res64: 5D2414D87AA57FC3 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:38:59] 645*2^1227701-1 is not prime. Res64: C6502FE507A26500 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:44:02] 997*2^1227701-1 is not prime. Res64: E92CC1D9A35F4D6B Time : 0.0 sec. user=mdettweiler [2012-08-28 15:44:03] 889*2^1227701-1 is not prime. Res64: D07350F95486796C Time : 0.0 sec. user=mdettweiler [2012-08-28 15:45:54] 751*2^1227699-1 is not prime. Res64: CC6A8AE3352981E8 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:58:14] 705*2^1227703-1 is not prime. Res64: BEC2CB0B924834EF Time : 0.0 sec. user=mdettweiler [2012-08-28 15:58:14] 723*2^1227703-1 is not prime. Res64: 57DC7B3693D45023 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:59:41] 681*2^1227702-1 is not prime. Res64: 226001100BDEDC7D Time : 0.0 sec. user=mdettweiler [2012-08-28 15:59:41] 711*2^1227702-1 is not prime. Res64: C5554085B301E3DA Time : 0.0 sec. user=mdettweiler [2012-08-28 15:59:44] 755*2^1227702-1 is not prime. Res64: A4A3EEDB317E9BF6 Time : 0.0 sec. user=mdettweiler [2012-08-28 15:59:45] 625*2^1227703-1 is not prime. Res64: B1169342854F48CE Time : 0.0 sec. user=vaughan [2012-08-28 16:03:04] 871*2^1227701-1 is not prime. Res64: 3440381B37E83D15 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:09:25] 621*2^1227702-1 is not prime. Res64: A78736367DE4F2AE Time : 0.0 sec. user=mdettweiler [2012-08-28 16:11:14] 663*2^1227704-1 is not prime. Res64: BCF9CCBB0DAE8640 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:11:15] 999*2^1227703-1 is not prime. Res64: 16769DFDEEECE6D3 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:18:01] 895*2^1227703-1 is not prime. Res64: 61045D37C595BE43 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:20:27] 875*2^1227704-1 is not prime. Res64: 0ACCE2FC3CDDA00A Time : 0.0 sec. user=mdettweiler [2012-08-28 16:20:27] 969*2^1227704-1 is not prime. Res64: 24039559DC99C337 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:20:31] 657*2^1227705-1 is not prime. Res64: CB7742A99BEB1F9C Time : 0.0 sec. user=mdettweiler [2012-08-28 16:20:31] 669*2^1227705-1 is not prime. Res64: F03F4B3562084EE4 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:24:14] 795*2^1227705-1 is not prime. Res64: 829B99F99D4520EF Time : 0.0 sec. user=mdettweiler [2012-08-28 16:24:16] 871*2^1227705-1 is not prime. Res64: A16ADAEAB0531089 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:30:51] 675*2^1227699-1 is not prime. Res64: 18B0C503DC4F8706 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:30:51] 703*2^1227699-1 is not prime. Res64: 56B4C5EB62ABDD3A Time : 0.0 sec. user=mdettweiler [2012-08-28 16:31:34] 879*2^1227699-1 is not prime. Res64: 1FB1ABFB2EC7FE89 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:31:35] 895*2^1227699-1 is not prime. Res64: 3DC383A99CB510AF Time : 0.0 sec. user=mdettweiler [2012-08-28 16:36:52] 691*2^1227701-1 is not prime. Res64: 902DB05B61AEC23B Time : 0.0 sec. user=mdettweiler [2012-08-28 16:36:52] 715*2^1227701-1 is not prime. Res64: 71D7ACB8E72B9034 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:37:12] 743*2^1227706-1 is not prime. Res64: 497358F1381C8610 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:37:17] 801*2^1227706-1 is not prime. Res64: 0AAECCD3FD463382 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:38:18] 745*2^1227701-1 is not prime. Res64: FE52B504E8B0AF9C Time : 0.0 sec. user=mdettweiler [2012-08-28 16:38:18] 799*2^1227701-1 is not prime. Res64: 2B63E40B3BB6BAF5 Time : 0.0 sec. user=vaughan [2012-08-28 16:40:51] 709*2^1227705-1 is not prime. Res64: C9C04B59B25BE552 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:41:13] 997*2^1227705-1 is not prime. Res64: C58BFBB6520ADDE3 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:41:13] 635*2^1227706-1 is not prime. Res64: 2AC21A6CC5097731 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:41:16] 651*2^1227706-1 is not prime. Res64: 138C7F29127564E3 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:41:17] 735*2^1227706-1 is not prime. Res64: F4D4A4CF0359A0B2 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:41:25] 735*2^1227705-1 is not prime. Res64: 9D748BEB7FFCFF64 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:49:54] 921*2^1227705-1 is not prime. Res64: C13B194151120E2E Time : 0.0 sec. user=mdettweiler [2012-08-28 16:50:15] 703*2^1227707-1 is not prime. Res64: 405FEB62D303EBD8 Time : 0.0 sec. user=mdettweiler [2012-08-28 16:50:20] 979*2^1227707-1 is not prime. Res64: 57C3479CDD792817 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:01:59] 803*2^1227708-1 is not prime. Res64: 8618C45F1D61CFC0 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:02:00] 927*2^1227708-1 is not prime. Res64: 63639D9FE8CB774C Time : 0.0 sec. user=mdettweiler [2012-08-28 17:02:03] 929*2^1227708-1 is not prime. Res64: 6886AE26E6178046 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:02:04] 933*2^1227708-1 is not prime. Res64: 0EAB51C1BC1EA048 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:13:49] 945*2^1227708-1 is not prime. Res64: 47F948CDADAA45E0 Time : 0.0 sec. user=vaughan [2012-08-28 17:18:35] 725*2^1227708-1 is not prime. Res64: 694045AEB09A69B9 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:21:29] 999*2^1227708-1 is not prime. Res64: 8A5CC10DDD54AE93 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:22:55] 767*2^1227710-1 is not prime. Res64: 357402A90F24F111 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:22:55] 801*2^1227709-1 is not prime. Res64: 4E10CADD7AA9B7B5 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:22:55] 831*2^1227710-1 is not prime. Res64: ED0A5EADE722E30B Time : 0.0 sec. user=mdettweiler [2012-08-28 17:22:56] 817*2^1227709-1 is not prime. Res64: 690E89A0B6574EA3 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:43:40] 977*2^1227710-1 is not prime. Res64: BDE56204EC27B640 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:43:40] 1001*2^1227710-1 is not prime. Res64: 1603F0E9284B347D Time : 0.0 sec. user=mdettweiler [2012-08-28 17:43:41] 609*2^1227711-1 is not prime. Res64: 7BE8BFFB52BC432A Time : 0.0 sec. user=mdettweiler [2012-08-28 17:43:42] 621*2^1227711-1 is not prime. Res64: D3AADC509D447923 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:45:57] 851*2^1227710-1 is not prime. Res64: D85E6F8AC132AA8B Time : 0.0 sec. user=mdettweiler [2012-08-28 17:47:52] 843*2^1227706-1 is not prime. Res64: 1130E323EF449FBF Time : 0.0 sec. user=mdettweiler [2012-08-28 17:47:52] 891*2^1227706-1 is not prime. Res64: 510712417CACB47D Time : 0.0 sec. user=mdettweiler [2012-08-28 17:48:33] 957*2^1227706-1 is not prime. Res64: EBA8D9EBDEBFCF1F Time : 0.0 sec. user=mdettweiler [2012-08-28 17:48:33] 651*2^1227707-1 is not prime. Res64: EDF47E8AD485B2B3 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:53:22] 957*2^1227710-1 is not prime. Res64: 6AA3FD9027662439 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:53:52] 685*2^1227707-1 is not prime. Res64: DE4FEC478DA29E5C Time : 0.0 sec. user=mdettweiler [2012-08-28 17:53:52] 693*2^1227707-1 is not prime. Res64: 79EAB07F94AFE054 Time : 0.0 sec. user=mdettweiler [2012-08-28 17:55:07] 635*2^1227708-1 is not prime. Res64: C72ACEDAC35129FF Time : 0.0 sec. user=mdettweiler [2012-08-28 17:55:07] 683*2^1227708-1 is not prime. Res64: 55614D391B91A229 Time : 0.0 sec. user=vaughan [2012-08-28 17:56:16] 941*2^1227710-1 is not prime. Res64: 2A8DC194FEF5C86B Time : 0.0 sec. user=mdettweiler [2012-08-28 18:04:28] 945*2^1227711-1 is not prime. Res64: 106B8E5DE48D87CD Time : 0.0 sec. user=mdettweiler [2012-08-28 18:04:28] 895*2^1227711-1 is not prime. Res64: 73059B2E64BB5CA9 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:04:33] 951*2^1227711-1 is not prime. Res64: 9B5C3689A8915D4D Time : 0.0 sec. user=mdettweiler [2012-08-28 18:04:35] 901*2^1227711-1 is not prime. Res64: D43A0C5435C34E1A Time : 0.0 sec. user=mdettweiler [2012-08-28 18:17:38] 973*2^1227711-1 is not prime. Res64: E83B19D0E4F1D290 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:25:21] 909*2^1227712-1 is not prime. Res64: FA12B1FC1F593C18 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:26:03] 829*2^1227713-1 is not prime. Res64: 9D6DF17556F57807 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:26:03] 937*2^1227713-1 is not prime. Res64: 4831694872732093 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:26:11] 985*2^1227713-1 is not prime. Res64: 49225840EFB04EEC Time : 0.0 sec. user=mdettweiler [2012-08-28 18:26:11] 605*2^1227714-1 is not prime. Res64: 6F2C141AAAF299AD Time : 0.0 sec. user=vaughan [2012-08-28 18:33:57] 747*2^1227713-1 is not prime. Res64: 2A471CBBB91DF5A5 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:46:50] 875*2^1227714-1 is not prime. Res64: FE838BF64FE4CC60 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:46:50] 947*2^1227714-1 is not prime. Res64: 2514D473CCFEE2AF Time : 0.0 sec. user=mdettweiler [2012-08-28 18:46:58] 971*2^1227714-1 is not prime. Res64: 49D45ECFBFC5CF6D Time : 0.0 sec. user=mdettweiler [2012-08-28 18:46:58] 735*2^1227715-1 is not prime. Res64: 43007A6B2A44A102 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:50:07] 741*2^1227714-1 is not prime. Res64: 233A2275AFF2ADA7 Time : 0.0 sec. user=mdettweiler [2012-08-28 18:56:39] 815*2^1227714-1 is not prime. Res64: EC5D0ECC14408878 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:05:04] 665*2^1227712-1 is not prime. Res64: 32D8FBB6710F2CDA Time : 0.0 sec. user=mdettweiler [2012-08-28 19:05:04] 677*2^1227712-1 is not prime. Res64: D2C102B2E6A26BE8 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:05:37] 713*2^1227712-1 is not prime. Res64: 668311FDE2C7A1E7 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:05:42] 813*2^1227712-1 is not prime. Res64: F85984850AAB6B55 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:07:39] 759*2^1227715-1 is not prime. Res64: 2FA1E57F54354B21 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:07:40] 885*2^1227715-1 is not prime. Res64: BB414B4C21084AA0 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:07:45] 909*2^1227715-1 is not prime. Res64: DF210F4AD675B1BB Time : 0.0 sec. user=mdettweiler [2012-08-28 19:07:47] 675*2^1227716-1 is not prime. Res64: 9B3978E1B712294F Time : 0.0 sec. user=mdettweiler [2012-08-28 19:09:51] 639*2^1227709-1 is not prime. Res64: 77B3AAF7733AF6E4 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:09:59] 747*2^1227709-1 is not prime. Res64: 289D4401D5DD6EDF Time : 0.0 sec. user=mdettweiler [2012-08-28 19:11:10] 631*2^1227713-1 is not prime. Res64: A7F29AE13A85B6A1 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:11:11] 705*2^1227713-1 is not prime. Res64: 05B11F35DA5F7EEF Time : 0.0 sec. user=vaughan [2012-08-28 19:11:38] 751*2^1227715-1 is not prime. Res64: 43CEECE855D5F795 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:12:10] 735*2^1227713-1 is not prime. Res64: 191D2648BF4FFB86 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:12:11] 741*2^1227713-1 is not prime. Res64: 52CE6A18602F9DD0 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:22:20] 719*2^1227716-1 is not prime. Res64: 82CB3415E2A8B013 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:24:07] 663*2^1227718-1 is not prime. Res64: F79FCF6BC4894245 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:24:15] 665*2^1227718-1 is not prime. Res64: 442C1A0869933DCF Time : 0.0 sec. user=mdettweiler [2012-08-28 19:28:27] 957*2^1227716-1 is not prime. Res64: 28043877CF9EB4F4 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:28:45] 861*2^1227717-1 is not prime. Res64: 15A66CE20E283200 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:28:46] 895*2^1227717-1 is not prime. Res64: 29346CA4A3845DE1 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:28:49] 605*2^1227718-1 is not prime. Res64: 641A9395249DEDF7 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:28:50] 623*2^1227718-1 is not prime. Res64: BC1D64674A8DFBC4 Time : 0.0 sec. user=vaughan [2012-08-28 19:49:21] 705*2^1227718-1 is not prime. Res64: A45B75AA3C7E269E Time : 0.0 sec. user=mdettweiler [2012-08-28 19:49:34] 885*2^1227718-1 is not prime. Res64: D6DF64A1AAF6BD7C Time : 0.0 sec. user=mdettweiler [2012-08-28 19:49:35] 615*2^1227719-1 is not prime. Res64: A124763BD6BF9F51 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:49:37] 771*2^1227719-1 is not prime. Res64: EBC4DD8A05EF5A0C Time : 0.0 sec. user=mdettweiler [2012-08-28 19:49:38] 991*2^1227719-1 is not prime. Res64: FB0A5A9E5E063468 Time : 0.0 sec. user=mdettweiler [2012-08-28 19:54:11] 791*2^1227718-1 is not prime. Res64: 7475B32854921246 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:00:38] 861*2^1227718-1 is not prime. Res64: D4FB7C3FBE368688 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:10:21] 789*2^1227720-1 is not prime. Res64: 08AB2F4AD94FFB44 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:10:21] 825*2^1227720-1 is not prime. Res64: CBA799890B2E3DD3 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:10:24] 873*2^1227720-1 is not prime. Res64: 592052F0261614BA Time : 0.0 sec. user=mdettweiler [2012-08-28 20:10:25] 923*2^1227720-1 is not prime. Res64: D26FD8EFC6DAFB73 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:08] 741*2^1227717-1 is not prime. Res64: E62994FBF7A4667A Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:08] 751*2^1227717-1 is not prime. Res64: A6624DB458708E8D Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:20] 831*2^1227718-1 is not prime. Res64: 5A13DDACB3A70DB7 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:26] 829*2^1227717-1 is not prime. Res64: 123A13D088E76293 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:26] 831*2^1227717-1 is not prime. Res64: 2BAEF44616EAAC0C Time : 0.0 sec. user=mdettweiler [2012-08-28 20:22:41] 843*2^1227718-1 is not prime. Res64: DABE44105115DEF4 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:26:13] 929*2^1227720-1 is not prime. Res64: 705ED3BA000B2DD2 Time : 0.0 sec. user=vaughan [2012-08-28 20:27:03] 693*2^1227720-1 is not prime. Res64: B393061345D666B9 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:27:52] 681*2^1227718-1 is not prime. Res64: 33A380AC6A4D3AD6 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:27:52] 695*2^1227718-1 is not prime. Res64: 04F0E2C23B5609E0 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:29:07] 755*2^1227718-1 is not prime. Res64: EA1AEBB68D804FFD Time : 0.0 sec. user=mdettweiler [2012-08-28 20:29:08] 777*2^1227718-1 is not prime. Res64: 75C0C87F60BA39B2 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:31:19] 687*2^1227721-1 is not prime. Res64: 953AD19612FCDCD6 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:31:19] 771*2^1227721-1 is not prime. Res64: 5F0CC304ABF4B6A3 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:31:22] 847*2^1227721-1 is not prime. Res64: 5016395FEC74EE51 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:31:23] 855*2^1227721-1 is not prime. Res64: EB47D8120917B96D Time : 0.0 sec. user=mdettweiler [2012-08-28 20:33:11] 675*2^1227721-1 is not prime. Res64: 7874C4846563DEB3 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:35:06] 735*2^1227723-1 is not prime. Res64: B490A4A208C6F4DC Time : 0.0 sec. user=mdettweiler [2012-08-28 20:35:28] 969*2^1227723-1 is not prime. Res64: 541D5AB5C64B2FB0 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:47:55] 957*2^1227725-1 is not prime. Res64: 77A1ACF6ECE0F9BE Time : 0.0 sec. user=mdettweiler [2012-08-28 20:48:17] 611*2^1227726-1 is not prime. Res64: 9222974E8FCE056D Time : 0.0 sec. user=mdettweiler [2012-08-28 20:52:08] 989*2^1227724-1 is not prime. Res64: DC0A2499AA5B1BF3 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:52:08] 651*2^1227725-1 is not prime. Res64: C7D1706B4D86A142 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:52:12] 715*2^1227725-1 is not prime. Res64: F99AC7E3A5632D3E Time : 0.0 sec. user=mdettweiler [2012-08-28 20:52:12] 717*2^1227725-1 is not prime. Res64: FDAD091B1193C0C9 Time : 0.0 sec. user=mdettweiler [2012-08-28 20:57:36] 609*2^1227724-1 is not prime. Res64: C90758860DFD3BAB Time : 0.0 sec. user=mdettweiler [2012-08-28 21:00:45] 671*2^1227726-1 is not prime. Res64: 36CCE217AC99CD7E Time : 0.0 sec. user=mdettweiler [2012-08-28 21:01:06] 711*2^1227726-1 is not prime. Res64: AB2F5CFE477CE004 Time : 0.0 sec. user=vaughan [2012-08-28 21:04:44] 617*2^1227724-1 is not prime. Res64: 69E0A0C6DFE8AFF3 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:05:31] 799*2^1227725-1 is not prime. Res64: 27109FF54AE6726C Time : 0.0 sec. user=mdettweiler [2012-08-28 21:12:55] 713*2^1227726-1 is not prime. Res64: 93252FD2CBD49B03 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:12:56] 861*2^1227726-1 is not prime. Res64: C029CE744BF44D40 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:12:59] 867*2^1227726-1 is not prime. Res64: 45A8F113327A3602 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:13:01] 947*2^1227726-1 is not prime. Res64: 03EDA64699DF42DD Time : 0.0 sec. user=mdettweiler [2012-08-28 21:13:55] 619*2^1227727-1 is not prime. Res64: 56B0345DE5B5C1FF Time : 0.0 sec. user=mdettweiler [2012-08-28 21:14:17] 729*2^1227727-1 is not prime. Res64: 1CFC3C8A28C0EA9C Time : 0.0 sec. user=mdettweiler [2012-08-28 21:26:37] 909*2^1227728-1 is not prime. Res64: BBECB318D32D44E7 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:26:59] 681*2^1227729-1 is not prime. Res64: 9173E87AB082CCD8 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:29:11] 609*2^1227727-1 is not prime. Res64: 069AC6B580D12600 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:33:52] 635*2^1227728-1 is not prime. Res64: 6F00270ED24BF9F0 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:33:53] 659*2^1227728-1 is not prime. Res64: 632EC503EE72D6C0 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:33:59] 747*2^1227728-1 is not prime. Res64: 0CBEDC8F0ACD0FC4 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:33:59] 773*2^1227728-1 is not prime. Res64: 06CBBB8DA204C7E5 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:38:09] 973*2^1227727-1 is not prime. Res64: 624A694C0CDB3B1F Time : 0.0 sec. user=mdettweiler [2012-08-28 21:39:22] 769*2^1227729-1 is not prime. Res64: ED1A6D94938727DA Time : 0.0 sec. user=mdettweiler [2012-08-28 21:39:44] 807*2^1227729-1 is not prime. Res64: 26EE1210319FA59D Time : 0.0 sec. user=mdettweiler [2012-08-28 21:40:12] 853*2^1227723-1 is not prime. Res64: B66B464544EC2896 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:40:13] 871*2^1227723-1 is not prime. Res64: 243A302B74718905 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:41:11] 987*2^1227721-1 is not prime. Res64: 43C4CDD44C238655 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:41:12] 825*2^1227722-1 is not prime. Res64: 103E0BA4EF610401 Time : 0.0 sec. user=vaughan [2012-08-28 21:42:26] 933*2^1227727-1 is not prime. Res64: D98B30DB5B9FE69A Time : 0.0 sec. user=mdettweiler [2012-08-28 21:45:51] 695*2^1227724-1 is not prime. Res64: 805D475A83BB4F97 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:45:52] 869*2^1227724-1 is not prime. Res64: 97DBD4D8D46FB2CA Time : 0.0 sec. user=mdettweiler [2012-08-28 21:47:35] 873*2^1227724-1 is not prime. Res64: 6EFABCD14DDD63A1 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:47:36] 959*2^1227724-1 is not prime. Res64: 2D900E83E011C99B Time : 0.0 sec. user=mdettweiler [2012-08-28 21:52:12] 651*2^1227731-1 is not prime. Res64: ABD55DD90E345096 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:52:33] 663*2^1227731-1 is not prime. Res64: 3FCDFB5DF11CE157 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:54:40] 645*2^1227730-1 is not prime. Res64: 07681BBC2A988263 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:54:40] 657*2^1227730-1 is not prime. Res64: A684F83FBB5330F0 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:54:46] 675*2^1227730-1 is not prime. Res64: 57EB50B0DD8E19A7 Time : 0.0 sec. user=mdettweiler [2012-08-28 21:54:46] 743*2^1227730-1 is not prime. Res64: BC8BB9659FB33ECE Time : 0.0 sec. user=mdettweiler [2012-08-28 22:01:00] 817*2^1227729-1 is not prime. Res64: 916CFDE643EED400 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:05:06] 609*2^1227733-1 is not prime. Res64: 28BD65FA58D34E51 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:05:26] 615*2^1227733-1 is not prime. Res64: 106CD3CDDAB80E87 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:10:12] 801*2^1227730-1 is not prime. Res64: 4843DD19B264B2CB Time : 0.0 sec. user=mdettweiler [2012-08-28 22:15:27] 621*2^1227733-1 is not prime. Res64: E9C659B6E7DCEFED Time : 0.0 sec. user=mdettweiler [2012-08-28 22:15:27] 835*2^1227733-1 is not prime. Res64: 82B8C35FCFA94948 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:15:33] 867*2^1227733-1 is not prime. Res64: D00E119E73A21662 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:15:34] 961*2^1227733-1 is not prime. Res64: D20A27186647127D Time : 0.0 sec. user=mdettweiler [2012-08-28 22:18:00] 987*2^1227733-1 is not prime. Res64: 290C27C31017FAB2 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:18:21] 623*2^1227734-1 is not prime. Res64: 1C663A6EACABE3D2 Time : 0.0 sec. user=vaughan [2012-08-28 22:20:08] 609*2^1227732-1 is not prime. Res64: 6AAE149E2CCB57A6 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:30:49] 675*2^1227735-1 is not prime. Res64: EC595FA0FB1029B3 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:31:09] 679*2^1227735-1 is not prime. Res64: 3A0F66761B5E87B8 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:32:56] 985*2^1227733-1 is not prime. Res64: B1E9C1C522E7E4AE Time : 0.0 sec. user=mdettweiler [2012-08-28 22:36:14] 875*2^1227734-1 is not prime. Res64: E97DB05869DCF821 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:36:15] 885*2^1227734-1 is not prime. Res64: 44CDC8C676DEF59E Time : 0.0 sec. user=mdettweiler [2012-08-28 22:36:20] 921*2^1227734-1 is not prime. Res64: F7C9FBB2C8B70D7C Time : 0.0 sec. user=mdettweiler [2012-08-28 22:36:21] 669*2^1227735-1 is not prime. Res64: 2209609D79600E23 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:42:05] 651*2^1227734-1 is not prime. Res64: 5010D1BCDF00CF04 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:43:37] 775*2^1227735-1 is not prime. Res64: ABC6554AFC9819FE Time : 0.0 sec. user=mdettweiler [2012-08-28 22:43:54] 823*2^1227735-1 is not prime. Res64: E8710B87D0DFC7D1 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:56:24] 711*2^1227731-1 is not prime. Res64: EDA6CAB2B5590931 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:56:24] 825*2^1227731-1 is not prime. Res64: B4EE6E281C18F1D3 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:56:28] 777*2^1227736-1 is not prime. Res64: E11DC1C2187DE82D Time : 0.0 sec. user=mdettweiler [2012-08-28 22:56:45] 855*2^1227736-1 is not prime. Res64: AA6FD75AA7E47D3B Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:01] 909*2^1227735-1 is not prime. Res64: 6E3281D430E36AF7 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:01] 603*2^1227736-1 is not prime. Res64: A085F388020291E2 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:06] 717*2^1227736-1 is not prime. Res64: 62C14FF75EBF74DE Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:07] 743*2^1227736-1 is not prime. Res64: 2162F8C8B2EC3ED4 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:07] 939*2^1227731-1 is not prime. Res64: 8324C5597C7F0179 Time : 0.0 sec. user=mdettweiler [2012-08-28 22:57:08] 999*2^1227731-1 is not prime. Res64: 2D19D7459A17CF80 Time : 0.0 sec. user=vaughan [2012-08-28 22:57:50] 765*2^1227735-1 is not prime. Res64: B26A806F16A0E786 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:02:06] 765*2^1227732-1 is not prime. Res64: 744D93579E85C52B Time : 0.0 sec. user=mdettweiler [2012-08-28 23:02:07] 887*2^1227732-1 is not prime. Res64: EDA081CC0E677894 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:03:45] 977*2^1227732-1 is not prime. Res64: 65FA3407E002E702 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:03:45] 987*2^1227732-1 is not prime. Res64: F20EB944AE2A869C Time : 0.0 sec. user=mdettweiler [2012-08-28 23:04:46] 825*2^1227735-1 is not prime. Res64: 55C9A20B3E1913BD Time : 0.0 sec. user=mdettweiler [2012-08-28 23:09:25] 729*2^1227737-1 is not prime. Res64: 17A78F285B41AE31 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:09:44] 805*2^1227737-1 is not prime. Res64: 695C703D3A8F25CB Time : 0.0 sec. user=mdettweiler [2012-08-28 23:14:13] 765*2^1227736-1 is not prime. Res64: 6F9FBE3C3CEE209A Time : 0.0 sec. user=mdettweiler [2012-08-28 23:17:47] 819*2^1227737-1 is not prime. Res64: 2344BBDAFAB0E165 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:17:48] 867*2^1227737-1 is not prime. Res64: 41E466203B17ED86 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:17:53] 909*2^1227737-1 is not prime. Res64: 3290020A363FCF61 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:17:53] 657*2^1227738-1 is not prime. Res64: D8E67BF88E2D5F2B Time : 0.0 sec. user=vaughan [2012-08-28 23:35:31] 725*2^1227738-1 is not prime. Res64: 316A6037DF7D62B4 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:35:55] 857*2^1227216-1 is not prime. Res64: 26A16977494CE562 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:38:40] 649*2^1227217-1 is not prime. Res64: 32435A0A2BC9E9D8 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:38:40] 667*2^1227217-1 is not prime. Res64: 64578C4455032020 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:38:45] 699*2^1227217-1 is not prime. Res64: 79445F9B3D375777 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:38:45] 715*2^1227217-1 is not prime. Res64: D0F7145527E9A656 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:47:01] 873*2^1227216-1 is not prime. Res64: C39DA8C670FB4546 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:59:20] 777*2^1227738-1 is not prime. Res64: 7AD532220F7F0CAD Time : 0.0 sec. user=mdettweiler [2012-08-28 23:59:20] 927*2^1227738-1 is not prime. Res64: CEB358DD408E267F Time : 0.0 sec. user=mdettweiler [2012-08-28 23:59:21] 971*2^1227738-1 is not prime. Res64: B404682C6F8FAA59 Time : 0.0 sec. user=mdettweiler [2012-08-28 23:59:22] 603*2^1227739-1 is not prime. Res64: 488F6D6A5664634C Time : 0.0 sec.