user=mdettweiler [2012-09-28 00:01:44] 705*2^1229634-1 is not prime. Res64: D23B6F0DE172AB1C Time : 0.0 sec. user=mdettweiler [2012-09-28 00:12:32] 693*2^1229635-1 is not prime. Res64: 872DEC41D3D3DBAD Time : 0.0 sec. user=mdettweiler [2012-09-28 00:12:33] 735*2^1229635-1 is not prime. Res64: 012CC9BB69D2E8AE Time : 0.0 sec. user=mdettweiler [2012-09-28 00:22:16] 765*2^1229635-1 is not prime. Res64: FE0C96BB33873741 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:22:17] 849*2^1229635-1 is not prime. Res64: C0EF963C475A50C6 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:33:12] 853*2^1229635-1 is not prime. Res64: 6615434181422BD3 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:33:13] 859*2^1229635-1 is not prime. Res64: C54060F356C0AE24 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:42:50] 669*2^1229636-1 is not prime. Res64: EF7E2E480789F99C Time : 0.0 sec. user=mdettweiler [2012-09-28 00:42:50] 735*2^1229636-1 is not prime. Res64: D96C116557423A36 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:53:45] 767*2^1229636-1 is not prime. Res64: CB1F58C52550D3B1 Time : 0.0 sec. user=mdettweiler [2012-09-28 00:53:45] 963*2^1229636-1 is not prime. Res64: 2AD4DCC4BB361AFE Time : 0.0 sec. user=vaughan [2012-09-28 00:59:37] 951*2^1229635-1 is not prime. Res64: 4901F027A95BF6D9 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:03:25] 969*2^1229636-1 is not prime. Res64: C21856EFAE0DB453 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:03:29] 625*2^1229637-1 is not prime. Res64: 19CD530C447FBD4C Time : 0.0 sec. user=mdettweiler [2012-09-28 01:14:18] 669*2^1229637-1 is not prime. Res64: B5E9C3FE93CD0329 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:14:20] 727*2^1229637-1 is not prime. Res64: 838A258753D771E6 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:24:38] 795*2^1229637-1 is not prime. Res64: 916AFCFAC6CAF075 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:24:39] 849*2^1229637-1 is not prime. Res64: 108288B2594174FD Time : 0.0 sec. user=mdettweiler [2012-09-28 01:34:55] 945*2^1229637-1 is not prime. Res64: 94C9123EEDB6D25A Time : 0.0 sec. user=mdettweiler [2012-09-28 01:34:56] 605*2^1229638-1 is not prime. Res64: 986161DFC6C43A47 Time : 0.0 sec. user=vaughan [2012-09-28 01:37:25] 751*2^1229637-1 is not prime. Res64: E63CEE1813465E65 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:45:17] 621*2^1229638-1 is not prime. Res64: 410607C64BFB5A5C Time : 0.0 sec. user=mdettweiler [2012-09-28 01:45:20] 695*2^1229638-1 is not prime. Res64: 318AE59B2CAC3C9C Time : 0.0 sec. user=mdettweiler [2012-09-28 01:55:28] 813*2^1229638-1 is not prime. Res64: C9D56DC5D5323C00 Time : 0.0 sec. user=mdettweiler [2012-09-28 01:55:28] 843*2^1229638-1 is not prime. Res64: D379CD64433C9898 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:05:58] 887*2^1229638-1 is not prime. Res64: 341C794C4563E734 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:05:59] 609*2^1229639-1 is not prime. Res64: B554F0DC2D9F0E6C Time : 0.0 sec. user=vaughan [2012-09-28 02:15:14] 845*2^1229638-1 is not prime. Res64: 30F5B1CD0262037D Time : 0.0 sec. user=mdettweiler [2012-09-28 02:16:00] 643*2^1229639-1 is not prime. Res64: A3C43A3210B445CB Time : 0.0 sec. user=mdettweiler [2012-09-28 02:16:02] 661*2^1229639-1 is not prime. Res64: 4A8F7E717FB21E26 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:26:38] 693*2^1229639-1 is not prime. Res64: DFC8A3402E963E31 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:26:39] 711*2^1229639-1 is not prime. Res64: 9F69570EBB9DA759 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:36:35] 895*2^1229639-1 is not prime. Res64: BA207E179CC7936E Time : 0.0 sec. user=mdettweiler [2012-09-28 02:36:37] 779*2^1229640-1 is not prime. Res64: 6B534880C9426496 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:47:13] 825*2^1229640-1 is not prime. Res64: F54161C7A8F0952C Time : 0.0 sec. user=mdettweiler [2012-09-28 02:47:14] 863*2^1229640-1 is not prime. Res64: F8374CF2C74C331C Time : 0.0 sec. user=vaughan [2012-09-28 02:53:09] 775*2^1229639-1 is not prime. Res64: 2B182FA75788BE99 Time : 0.0 sec. user=mdettweiler [2012-09-28 02:57:18] 625*2^1229641-1 is not prime. Res64: 949557B736E7395F Time : 0.0 sec. user=mdettweiler [2012-09-28 02:57:19] 777*2^1229641-1 is not prime. Res64: 72FB04C87B8C5982 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:08:08] 789*2^1229641-1 is not prime. Res64: AF5B8A36310324D9 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:08:10] 829*2^1229641-1 is not prime. Res64: C770494C3677A4EA Time : 0.0 sec. user=mdettweiler [2012-09-28 03:17:50] 937*2^1229641-1 is not prime. Res64: 93BC8A680366862D Time : 0.0 sec. user=mdettweiler [2012-09-28 03:17:52] 955*2^1229641-1 is not prime. Res64: 40FAB791F01A2B55 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:28:46] 987*2^1229641-1 is not prime. Res64: 863F3207508B4BA8 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:28:47] 743*2^1229642-1 is not prime. Res64: D3E5A3A9F72D54EF Time : 0.0 sec. user=vaughan [2012-09-28 03:31:02] 931*2^1229641-1 is not prime. Res64: E683B3F494BA74A4 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:38:29] 755*2^1229642-1 is not prime. Res64: 602536037BC560C0 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:38:32] 767*2^1229642-1 is not prime. Res64: E0F511F4826FBB3B Time : 0.0 sec. user=mdettweiler [2012-09-28 03:49:19] 923*2^1229642-1 is not prime. Res64: 28DA33992D4DA6AA Time : 0.0 sec. user=mdettweiler [2012-09-28 03:49:20] 663*2^1229643-1 is not prime. Res64: E0EB73A92EA25337 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:59:29] 861*2^1229643-1 is not prime. Res64: 49F56E4FAEBA9117 Time : 0.0 sec. user=mdettweiler [2012-09-28 03:59:29] 943*2^1229643-1 is not prime. Res64: 40CF5ECE018CE718 Time : 0.0 sec. user=vaughan [2012-09-28 04:08:54] 783*2^1229643-1 is not prime. Res64: 029DD86C8A37FB99 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:09:54] 803*2^1229644-1 is not prime. Res64: 3D484BA13E83DF8C Time : 0.0 sec. user=mdettweiler [2012-09-28 04:09:55] 655*2^1229645-1 is not prime. Res64: A3918B57115423A9 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:16:23] 611*2^1229646-1 is not prime. Res64: 9C6BA798076A1447 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:20:02] 735*2^1229645-1 is not prime. Res64: C32060F6068C21DD Time : 0.0 sec. user=mdettweiler [2012-09-28 04:20:03] 741*2^1229645-1 is not prime. Res64: AD595CEA63EF51E9 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:30:28] 703*2^1229647-1 is not prime. Res64: 1FDD0DE6C2D456FF Time : 0.0 sec. user=mdettweiler [2012-09-28 04:30:29] 829*2^1229647-1 is not prime. Res64: A3DDE8645EB54E55 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:40:39] 841*2^1229647-1 is not prime. Res64: 42599ACD22C5FEFA Time : 0.0 sec. user=mdettweiler [2012-09-28 04:40:39] 623*2^1229648-1 is not prime. Res64: F05EFAC41C16F828 Time : 0.0 sec. user=vaughan [2012-09-28 04:46:42] 815*2^1229646-1 is not prime. Res64: F459D8C5BAEA97AB Time : 0.0 sec. user=mdettweiler [2012-09-28 04:51:05] 665*2^1229648-1 is not prime. Res64: 0C6D7E2B5DADF4A2 Time : 0.0 sec. user=mdettweiler [2012-09-28 04:51:05] 713*2^1229648-1 is not prime. Res64: A86703682CE91C9D Time : 0.0 sec. user=mdettweiler [2012-09-28 05:01:13] 845*2^1229648-1 is not prime. Res64: A7FA3580A1A0CBE4 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:01:16] 875*2^1229648-1 is not prime. Res64: 5D958A187917BEE9 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:11:37] 609*2^1229649-1 is not prime. Res64: FD203EAB5F673B7E Time : 0.0 sec. user=mdettweiler [2012-09-28 05:11:39] 625*2^1229649-1 is not prime. Res64: C646137EF55B947F Time : 0.0 sec. user=mdettweiler [2012-09-28 05:21:57] 627*2^1229649-1 is not prime. Res64: 7086156876D04CB8 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:21:58] 639*2^1229649-1 is not prime. Res64: 448B6FDC9B36EE25 Time : 0.0 sec. user=vaughan [2012-09-28 05:24:29] 935*2^1229648-1 is not prime. Res64: AB297B7018B908BA Time : 0.0 sec. user=mdettweiler [2012-09-28 05:32:16] 681*2^1229649-1 is not prime. Res64: 2A8F2124DEB3CBE8 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:32:17] 795*2^1229649-1 is not prime. Res64: 4D9FE8C237851316 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:42:33] 817*2^1229649-1 is not prime. Res64: BD3018F59330A2B9 Time : 0.0 sec. user=mdettweiler [2012-09-28 05:42:34] 865*2^1229649-1 is not prime. Res64: DF7A5B3925A60ECE Time : 0.0 sec. user=mdettweiler [2012-09-28 05:52:49] 921*2^1229649-1 is not prime. Res64: 74029842E3044E2B Time : 0.0 sec. user=mdettweiler [2012-09-28 05:52:50] 997*2^1229649-1 is not prime. Res64: 8EE2EA8EB03D2318 Time : 0.0 sec. user=vaughan [2012-09-28 06:02:16] 867*2^1229649-1 is not prime. Res64: C7969466E81AC2E6 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:03:06] 999*2^1229649-1 is not prime. Res64: B665CA243D8FECB3 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:03:07] 695*2^1229650-1 is not prime. Res64: 2E90315F39D6155A Time : 0.0 sec. user=mdettweiler [2012-09-28 06:13:21] 777*2^1229650-1 is not prime. Res64: 52D5A47EA8696D41 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:13:22] 843*2^1229650-1 is not prime. Res64: EDD24977EE02DE2C Time : 0.0 sec. user=mdettweiler [2012-09-28 06:23:40] 975*2^1229650-1 is not prime. Res64: 488A9F84D870AB18 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:23:41] 987*2^1229650-1 is not prime. Res64: B334ECB9B6E92FFE Time : 0.0 sec. user=mdettweiler [2012-09-28 06:33:58] 733*2^1229651-1 is not prime. Res64: 749605EFD941EAD9 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:33:58] 843*2^1229651-1 is not prime. Res64: 534BD85AC9381C19 Time : 0.0 sec. user=vaughan [2012-09-28 06:40:24] 941*2^1229650-1 is not prime. Res64: 36080E2C90297E7F Time : 0.0 sec. user=mdettweiler [2012-09-28 06:44:16] 969*2^1229651-1 is not prime. Res64: E566FEDCDE9B89CE Time : 0.0 sec. user=mdettweiler [2012-09-28 06:44:17] 633*2^1229652-1 is not prime. Res64: 79B879758AEF689E Time : 0.0 sec. user=mdettweiler [2012-09-28 06:54:31] 665*2^1229652-1 is not prime. Res64: 92A4CDDC57685A81 Time : 0.0 sec. user=mdettweiler [2012-09-28 06:54:31] 935*2^1229652-1 is not prime. Res64: E2095D90AF69F12A Time : 0.0 sec. user=mdettweiler [2012-09-28 07:04:49] 987*2^1229652-1 is not prime. Res64: 7DE2327C9A19C781 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:04:49] 999*2^1229652-1 is not prime. Res64: 4045A144A579ACE7 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:15:04] 847*2^1229653-1 is not prime. Res64: CE3FC74E7BBA89C0 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:15:09] 889*2^1229653-1 is not prime. Res64: 3F52860122DC2B5B Time : 0.0 sec. user=vaughan [2012-09-28 07:18:10] 957*2^1229652-1 is not prime. Res64: E5B5C038D4FF81DE Time : 0.0 sec. user=mdettweiler [2012-09-28 07:25:25] 915*2^1229653-1 is not prime. Res64: 3E4E8DA7CDB64600 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:25:25] 925*2^1229653-1 is not prime. Res64: 613A61AAF74A88F9 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:35:54] 605*2^1229654-1 is not prime. Res64: EEC32EC0DBD39A08 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:35:55] 623*2^1229654-1 is not prime. Res64: FE550950D4FB8968 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:45:59] 755*2^1229654-1 is not prime. Res64: F01841147F7B01D6 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:46:00] 833*2^1229654-1 is not prime. Res64: B81FDD43356DF61B Time : 0.0 sec. user=vaughan [2012-09-28 07:55:57] 663*2^1229654-1 is not prime. Res64: AEC7FD0949997315 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:56:27] 857*2^1229654-1 is not prime. Res64: EA484B4381A8FC08 Time : 0.0 sec. user=mdettweiler [2012-09-28 07:56:28] 885*2^1229654-1 is not prime. Res64: 084E3516665411C4 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:06:33] 887*2^1229654-1 is not prime. Res64: CA05B600F3169422 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:06:36] 903*2^1229654-1 is not prime. Res64: 0796E62592C9BC9E Time : 0.0 sec. user=mdettweiler [2012-09-28 08:17:00] 669*2^1229655-1 is not prime. Res64: 4EEDADE75F1E17E0 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:17:01] 819*2^1229655-1 is not prime. Res64: C49833906F2E6C30 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:27:15] 891*2^1229655-1 is not prime. Res64: 4891DA0667E06075 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:27:16] 645*2^1229656-1 is not prime. Res64: 007C87CCD239F15E Time : 0.0 sec. user=vaughan [2012-09-28 08:33:44] 935*2^1229654-1 is not prime. Res64: 757EF2FB01C5A303 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:37:32] 657*2^1229656-1 is not prime. Res64: 41FF3016ADF42FB6 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:37:33] 693*2^1229656-1 is not prime. Res64: C3F4E5226660B230 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:47:51] 695*2^1229656-1 is not prime. Res64: 274AE675BE6FD9FF Time : 0.0 sec. user=mdettweiler [2012-09-28 08:47:52] 707*2^1229656-1 is not prime. Res64: 39BAB885FE16C740 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:58:09] 825*2^1229656-1 is not prime. Res64: 91D3835E3E1F7616 Time : 0.0 sec. user=mdettweiler [2012-09-28 08:58:09] 875*2^1229656-1 is not prime. Res64: 885C5B8FA7AA251D Time : 0.0 sec. user=mdettweiler [2012-09-28 09:08:24] 923*2^1229656-1 is not prime. Res64: 526FDFB3A09ED267 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:08:25] 675*2^1229657-1 is not prime. Res64: DF4369791ADC6A03 Time : 0.0 sec. user=vaughan [2012-09-28 09:11:31] 755*2^1229656-1 is not prime. Res64: 5C3549F97966718B Time : 0.0 sec. user=mdettweiler [2012-09-28 09:18:42] 685*2^1229657-1 is not prime. Res64: C39F33BDA9FADEF1 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:18:42] 795*2^1229657-1 is not prime. Res64: B3F569FF2307FD87 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:28:58] 945*2^1229657-1 is not prime. Res64: 9A3400D6E48A72D3 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:28:59] 997*2^1229657-1 is not prime. Res64: 3A97854CEBE3D276 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:39:17] 803*2^1229658-1 is not prime. Res64: 4B3DF984B58086B8 Time : 0.0 sec. user=mdettweiler [2012-09-28 09:39:18] 843*2^1229658-1 is not prime. Res64: 350DE0C97FFC79AD Time : 0.0 sec. user=vaughan [2012-09-28 09:49:26] 647*2^1229658-1 is not prime. Res64: 2531C521D053C09B Time : 0.0 sec. user=mdettweiler [2012-09-28 09:49:30] 875*2^1229658-1 is not prime. Res64: 16045A30F39390FC Time : 0.0 sec. user=mdettweiler [2012-09-28 09:49:31] 681*2^1229659-1 is not prime. Res64: 0B39DE901D5AD46C Time : 0.0 sec. user=mdettweiler [2012-09-28 09:59:49] 685*2^1229659-1 is not prime. Res64: EA3E22E41F3D087B Time : 0.0 sec. user=mdettweiler [2012-09-28 09:59:50] 745*2^1229659-1 is not prime. Res64: 44752ACF53606122 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:10:03] 829*2^1229659-1 is not prime. Res64: 9B16BC0E8F8D087E Time : 0.0 sec. user=mdettweiler [2012-09-28 10:10:06] 853*2^1229659-1 is not prime. Res64: 43133DA56221CFDB Time : 0.0 sec. user=mdettweiler [2012-09-28 10:20:21] 883*2^1229659-1 is not prime. Res64: 0E966E8D0EC019EF Time : 0.0 sec. user=mdettweiler [2012-09-28 10:20:22] 985*2^1229659-1 is not prime. Res64: BD2853373DB9BA4B Time : 0.0 sec. user=vaughan [2012-09-28 10:27:10] 793*2^1229659-1 is not prime. Res64: 75B5B007E9655395 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:30:56] 687*2^1229660-1 is not prime. Res64: DC5F72D819437F0D Time : 0.0 sec. user=mdettweiler [2012-09-28 10:30:56] 795*2^1229660-1 is not prime. Res64: CB79E43B413286C7 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:40:55] 827*2^1229660-1 is not prime. Res64: 65C2E68BA7E76B80 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:40:56] 897*2^1229660-1 is not prime. Res64: 103C65E968B23854 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:51:27] 957*2^1229660-1 is not prime. Res64: E9D8F964DA75CE69 Time : 0.0 sec. user=mdettweiler [2012-09-28 10:51:28] 977*2^1229660-1 is not prime. Res64: 1A0E78E62F51C57B Time : 0.0 sec. user=mdettweiler [2012-09-28 11:01:28] 999*2^1229660-1 is not prime. Res64: 270829500C86E597 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:01:30] 615*2^1229661-1 is not prime. Res64: 31AFB0C28B6B23E7 Time : 0.0 sec. user=vaughan [2012-09-28 11:04:55] 899*2^1229660-1 is not prime. Res64: 9EA86878D058E779 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:11:59] 669*2^1229661-1 is not prime. Res64: 56DB8CC1126D45A1 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:12:00] 679*2^1229661-1 is not prime. Res64: 09376383F00EC137 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:22:19] 805*2^1229661-1 is not prime. Res64: 85C1EAF870B93BA9 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:22:19] 817*2^1229661-1 is not prime. Res64: 69539BE7B5193F1B Time : 0.0 sec. user=mdettweiler [2012-09-28 11:32:36] 865*2^1229661-1 is not prime. Res64: F33459456CDD0F60 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:32:36] 951*2^1229661-1 is not prime. Res64: 6A154D4F6455A9D4 Time : 0.0 sec. user=vaughan [2012-09-28 11:42:47] 849*2^1229661-1 is not prime. Res64: AED8E53FB6211B70 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:42:54] 671*2^1229662-1 is not prime. Res64: FBBDE307257D604E Time : 0.0 sec. user=mdettweiler [2012-09-28 11:42:55] 755*2^1229662-1 is not prime. Res64: A6F8EE3495614450 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:53:09] 833*2^1229662-1 is not prime. Res64: C2669D40ECD6CA17 Time : 0.0 sec. user=mdettweiler [2012-09-28 11:53:09] 945*2^1229662-1 is not prime. Res64: 6E0F0D154EFF9BA3 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:03:28] 685*2^1229663-1 is not prime. Res64: 605CCBC63317B3E0 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:03:30] 901*2^1229663-1 is not prime. Res64: B676347DAF196676 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:13:41] 915*2^1229663-1 is not prime. Res64: 5A97D5421271A8D2 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:13:41] 949*2^1229663-1 is not prime. Res64: D48E5EA919A9B013 Time : 0.0 sec. user=vaughan [2012-09-28 12:20:36] 663*2^1229663-1 is not prime. Res64: DB1F787B61AD3A49 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:24:38] 759*2^1229664-1 is not prime. Res64: 76457E413E3476D0 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:24:39] 803*2^1229664-1 is not prime. Res64: 5C9385F23A40CEC5 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:34:28] 893*2^1229664-1 is not prime. Res64: 9EA94D0B0076DB30 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:34:28] 903*2^1229664-1 is not prime. Res64: 2CD64AF54D7DF63B Time : 0.0 sec. user=mdettweiler [2012-09-28 12:45:25] 771*2^1229665-1 is not prime. Res64: AE8739A26C396AF0 Time : 0.0 sec. user=mdettweiler [2012-09-28 12:45:26] 799*2^1229665-1 is not prime. Res64: 715B8A7238B3EF7D Time : 0.0 sec. user=mdettweiler [2012-09-28 12:55:20] 999*2^1229665-1 is not prime. Res64: 789DE3B264502E4F Time : 0.0 sec. user=mdettweiler [2012-09-28 12:55:21] 623*2^1229666-1 is not prime. Res64: 9ED376AF10FEE498 Time : 0.0 sec. user=vaughan [2012-09-28 12:58:23] 969*2^1229664-1 is not prime. Res64: C97B608A19BBE6A7 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:06:13] 713*2^1229666-1 is not prime. Res64: B0582DCADFD6EC84 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:06:14] 735*2^1229666-1 is not prime. Res64: 66C16DF6D0BE2356 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:16:17] 755*2^1229666-1 is not prime. Res64: 96FEF6F5CC2569DE Time : 0.0 sec. user=mdettweiler [2012-09-28 13:16:18] 767*2^1229666-1 is not prime. Res64: AF0301E796A691D9 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:27:46] 887*2^1229666-1 is not prime. Res64: 10A7CFB3F00DCBD9 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:27:46] 935*2^1229666-1 is not prime. Res64: ABA144C359D2D825 Time : 0.0 sec. user=vaughan [2012-09-28 13:36:22] 857*2^1229666-1 is not prime. Res64: 200A11CAE4C787C7 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:38:13] 735*2^1229667-1 is not prime. Res64: E3E82114DB3B47FE Time : 0.0 sec. user=mdettweiler [2012-09-28 13:38:14] 859*2^1229667-1 is not prime. Res64: F900F09704E2E8C2 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:49:27] 885*2^1229667-1 is not prime. Res64: B8F19B2B5293BB6F Time : 0.0 sec. user=mdettweiler [2012-09-28 13:49:27] 891*2^1229667-1 is not prime. Res64: CBEC04101AF694D3 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:59:26] 961*2^1229667-1 is not prime. Res64: 6274CDC5553ED058 Time : 0.0 sec. user=mdettweiler [2012-09-28 13:59:27] 665*2^1229668-1 is not prime. Res64: 095193D6492CFAC9 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:10:44] 743*2^1229668-1 is not prime. Res64: 6C9A613C3426052B Time : 0.0 sec. user=mdettweiler [2012-09-28 14:10:45] 827*2^1229668-1 is not prime. Res64: AA306D36532F29D1 Time : 0.0 sec. user=vaughan [2012-09-28 14:14:09] 895*2^1229667-1 is not prime. Res64: 3F6B798F04344FC9 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:20:32] 845*2^1229668-1 is not prime. Res64: 73870688C3DE1BFD Time : 0.0 sec. user=mdettweiler [2012-09-28 14:20:32] 975*2^1229668-1 is not prime. Res64: C8DE55E98D1806C9 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:31:40] 999*2^1229668-1 is not prime. Res64: 3F398C0BF5A19E97 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:31:40] 747*2^1229669-1 is not prime. Res64: 55E0E5B0E9E49D67 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:41:19] 799*2^1229669-1 is not prime. Res64: D714E650F0967251 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:41:20] 829*2^1229669-1 is not prime. Res64: 352B7642871F9F62 Time : 0.0 sec. user=vaughan [2012-09-28 14:52:01] 759*2^1229669-1 is not prime. Res64: F1CBE47FB23DEF28 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:52:29] 861*2^1229669-1 is not prime. Res64: BEC4519C789DF7D5 Time : 0.0 sec. user=mdettweiler [2012-09-28 14:52:29] 885*2^1229669-1 is not prime. Res64: 16BF6EB0EA9DED07 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:02:09] 713*2^1229670-1 is not prime. Res64: 3E19257B99C21226 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:02:11] 873*2^1229670-1 is not prime. Res64: CF1BA55D2ECB0C9C Time : 0.0 sec. user=mdettweiler [2012-09-28 15:13:15] 645*2^1229671-1 is not prime. Res64: 8EC3FDA71126CD29 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:13:16] 649*2^1229671-1 is not prime. Res64: 31DCDBAB0FBF9E65 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:23:40] 811*2^1229671-1 is not prime. Res64: 6742DBD6C0B64921 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:23:40] 813*2^1229671-1 is not prime. Res64: EE1332685F73388B Time : 0.0 sec. user=vaughan [2012-09-28 15:29:50] 933*2^1229670-1 is not prime. Res64: FE5286F9DF9250FB Time : 0.0 sec. user=mdettweiler [2012-09-28 15:34:08] 843*2^1229671-1 is not prime. Res64: 8E78AD53965767E3 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:34:09] 885*2^1229671-1 is not prime. Res64: B0AAD03508BB586F Time : 0.0 sec. user=mdettweiler [2012-09-28 15:44:32] 699*2^1229672-1 is not prime. Res64: A9B1D69BA0F4EE4D Time : 0.0 sec. user=mdettweiler [2012-09-28 15:44:33] 873*2^1229672-1 is not prime. Res64: 67F71DB20463C037 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:55:11] 679*2^1229673-1 is not prime. Res64: 5FB6B307C509A7E8 Time : 0.0 sec. user=mdettweiler [2012-09-28 15:55:11] 727*2^1229673-1 is not prime. Res64: EB849D2760124F96 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:06:09] 741*2^1229673-1 is not prime. Res64: 4F65E4B5FBE1551F Time : 0.0 sec. user=mdettweiler [2012-09-28 16:06:09] 835*2^1229673-1 is not prime. Res64: E58E615F13C5C88D Time : 0.0 sec. user=vaughan [2012-09-28 16:07:36] 649*2^1229673-1 is not prime. Res64: F9743F8911931329 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:17:10] 861*2^1229673-1 is not prime. Res64: FA88FFD0B163405F Time : 0.0 sec. user=mdettweiler [2012-09-28 16:17:10] 919*2^1229673-1 is not prime. Res64: 3CAAF34C46229C54 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:28:24] 945*2^1229673-1 is not prime. Res64: 40D46EA888301C49 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:28:24] 979*2^1229673-1 is not prime. Res64: 54C9265F40919FA7 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:39:18] 657*2^1229674-1 is not prime. Res64: 54A7789141834DA9 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:39:19] 663*2^1229674-1 is not prime. Res64: 9F96C4BA97EE4A07 Time : 0.0 sec. user=vaughan [2012-09-28 16:45:21] 621*2^1229674-1 is not prime. Res64: 8930A010DC1347D9 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:50:14] 675*2^1229674-1 is not prime. Res64: 30B14AC0B7210559 Time : 0.0 sec. user=mdettweiler [2012-09-28 16:50:14] 755*2^1229674-1 is not prime. Res64: 16DA94DEE55A2BAD Time : 0.0 sec. user=mdettweiler [2012-09-28 17:00:37] 773*2^1229674-1 is not prime. Res64: 307739E5C84C970A Time : 0.0 sec. user=mdettweiler [2012-09-28 17:00:37] 783*2^1229674-1 is not prime. Res64: 83E0BFE266960EE8 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:11:32] 947*2^1229674-1 is not prime. Res64: 966184B4D0DDBEE3 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:11:32] 957*2^1229674-1 is not prime. Res64: 650BE00E53216048 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:22:25] 643*2^1229675-1 is not prime. Res64: CD4AB0FC9E1D7659 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:22:25] 651*2^1229675-1 is not prime. Res64: 6B762542B460B726 Time : 0.0 sec. user=vaughan [2012-09-28 17:23:07] 915*2^1229674-1 is not prime. Res64: 0137B19932227980 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:33:12] 679*2^1229675-1 is not prime. Res64: 36E10D9039110649 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:33:13] 735*2^1229675-1 is not prime. Res64: 2D45EDB2CF98F2EF Time : 0.0 sec. user=mdettweiler [2012-09-28 17:44:07] 921*2^1229675-1 is not prime. Res64: B8AD3285F52536F5 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:44:07] 939*2^1229675-1 is not prime. Res64: B1D2FA6F3979010E Time : 0.0 sec. user=mdettweiler [2012-09-28 17:54:49] 735*2^1229676-1 is not prime. Res64: AF36A7D0993A2781 Time : 0.0 sec. user=mdettweiler [2012-09-28 17:54:49] 749*2^1229676-1 is not prime. Res64: E7ECE361EE8AF947 Time : 0.0 sec. user=vaughan [2012-09-28 18:00:54] 669*2^1229676-1 is not prime. Res64: EA0CAEC0083E38EC Time : 0.0 sec. user=mdettweiler [2012-09-28 18:05:20] 789*2^1229676-1 is not prime. Res64: 2AE9ECA6F4CF8A91 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:05:22] 839*2^1229676-1 is not prime. Res64: 484C23BE0A4563B5 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:15:50] 873*2^1229676-1 is not prime. Res64: 099D5099D58348E2 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:15:51] 879*2^1229676-1 is not prime. Res64: C2A5A76309B4D37A Time : 0.0 sec. user=mdettweiler [2012-09-28 18:26:05] 927*2^1229676-1 is not prime. Res64: 871BF2EC7745D83D Time : 0.0 sec. user=mdettweiler [2012-09-28 18:26:06] 639*2^1229677-1 is not prime. Res64: A088700C5797F063 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:36:33] 685*2^1229677-1 is not prime. Res64: 0DF8E6E1CB7CC727 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:36:34] 825*2^1229677-1 is not prime. Res64: 82DB0D9FFBF365A6 Time : 0.0 sec. user=vaughan [2012-09-28 18:38:49] 903*2^1229676-1 is not prime. Res64: 9105BFBCBC319BB7 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:46:41] 829*2^1229677-1 is not prime. Res64: CD3967F1B66DBC8E Time : 0.0 sec. user=mdettweiler [2012-09-28 18:46:42] 831*2^1229677-1 is not prime. Res64: DE1B8F0A865D7F7F Time : 0.0 sec. user=mdettweiler [2012-09-28 18:57:06] 897*2^1229677-1 is not prime. Res64: FC0297B562EE3CD0 Time : 0.0 sec. user=mdettweiler [2012-09-28 18:57:07] 937*2^1229677-1 is not prime. Res64: EE2CC20E64F91D29 Time : 0.0 sec. user=mdettweiler [2012-09-28 19:07:14] 665*2^1229678-1 is not prime. Res64: AB0671B03CC2B2AE Time : 0.0 sec. user=mdettweiler [2012-09-28 19:07:16] 687*2^1229678-1 is not prime. Res64: 3AE806ACAABC132A Time : 0.0 sec. user=vaughan [2012-09-28 19:16:37] 635*2^1229678-1 is not prime. Res64: A4AC5CCCEB77BEA3 Time : 0.0 sec. user=mdettweiler [2012-09-28 19:18:02] 753*2^1229678-1 is not prime. Res64: 962740A30F45E37E Time : 0.0 sec. user=mdettweiler [2012-09-28 19:27:50] 867*2^1229678-1 is not prime. Res64: 0BDAB6FE5D8AB847 Time : 0.0 sec. user=mdettweiler [2012-09-28 19:27:51] 993*2^1229678-1 is not prime. Res64: BF3D64BE2FADAC96 Time : 0.0 sec. user=mdettweiler [2012-09-28 19:47:40] 843*2^1229678-1 is not prime. Res64: 5FFA64F1C89A5CDB Time : 0.0 sec. user=mdettweiler [2012-09-28 19:48:25] 885*2^1229679-1 is not prime. Res64: 57D2F812BB1CFED4 Time : 0.0 sec. user=mdettweiler [2012-09-28 19:48:26] 913*2^1229679-1 is not prime. Res64: 2BB74E91F4566B7F Time : 0.0 sec. user=vaughan [2012-09-28 19:55:49] 769*2^1229679-1 is not prime. Res64: 910A5B13B79925CD Time : 0.0 sec. user=mdettweiler [2012-09-28 20:08:12] 615*2^1229680-1 is not prime. Res64: 94B473B28F929524 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:08:15] 755*2^1229680-1 is not prime. Res64: A753539336F6765E Time : 0.0 sec. user=mdettweiler [2012-09-28 20:08:57] 899*2^1229680-1 is not prime. Res64: C913B77F514578D3 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:08:59] 989*2^1229680-1 is not prime. Res64: 2A3140ACF4FE8FF5 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:28:50] 781*2^1229681-1 is not prime. Res64: 90C7A733B0FC9421 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:28:52] 799*2^1229681-1 is not prime. Res64: 28AC3071175793A7 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:29:38] 635*2^1229682-1 is not prime. Res64: 81021597107DA116 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:29:39] 657*2^1229682-1 is not prime. Res64: 29289237372E6582 Time : 0.0 sec. user=vaughan [2012-09-28 20:33:38] 715*2^1229681-1 is not prime. Res64: 5F6A34F344243D38 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:49:34] 717*2^1229682-1 is not prime. Res64: 8AEC0A0901B9DE5A Time : 0.0 sec. user=mdettweiler [2012-09-28 20:49:35] 825*2^1229682-1 is not prime. Res64: 9CD46E7122CF7D42 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:50:13] 609*2^1229683-1 is not prime. Res64: E669822426D82B07 Time : 0.0 sec. user=mdettweiler [2012-09-28 20:50:14] 699*2^1229683-1 is not prime. Res64: 421402CCF6E008CB Time : 0.0 sec. user=mdettweiler [2012-09-28 21:10:19] 615*2^1229684-1 is not prime. Res64: 02CB6E685E72B584 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:10:21] 725*2^1229684-1 is not prime. Res64: 298FAAB4549E4BD9 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:10:57] 789*2^1229684-1 is not prime. Res64: A5FCF93550632235 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:10:58] 855*2^1229684-1 is not prime. Res64: AA36AEF409480B34 Time : 0.0 sec. user=vaughan [2012-09-28 21:11:25] 793*2^1229683-1 is not prime. Res64: 536664C40BCCD2BE Time : 0.0 sec. user=mdettweiler [2012-09-28 21:30:56] 875*2^1229684-1 is not prime. Res64: F4F5702662C53C04 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:30:56] 819*2^1229685-1 is not prime. Res64: 8C3A0B0F2E1EDECD Time : 0.0 sec. user=mdettweiler [2012-09-28 21:31:32] 847*2^1229685-1 is not prime. Res64: DB51E5530C406138 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:31:32] 895*2^1229685-1 is not prime. Res64: 1141EAA53E1F6CAC Time : 0.0 sec. user=vaughan [2012-09-28 21:49:09] 969*2^1229685-1 is not prime. Res64: 585AF0272D285F6B Time : 0.0 sec. user=mdettweiler [2012-09-28 21:51:30] 717*2^1229686-1 is not prime. Res64: FA66D973FA0FCE96 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:51:31] 741*2^1229686-1 is not prime. Res64: 6715B7F9BAE92D3C Time : 0.0 sec. user=mdettweiler [2012-09-28 21:52:05] 743*2^1229686-1 is not prime. Res64: F0A24A943D0E2AD2 Time : 0.0 sec. user=mdettweiler [2012-09-28 21:52:05] 861*2^1229686-1 is not prime. Res64: 7A456ABBCE8CFC74 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:12:03] 923*2^1229686-1 is not prime. Res64: ABE7045F8494F015 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:12:04] 957*2^1229686-1 is not prime. Res64: 61CBB45118152773 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:12:37] 619*2^1229687-1 is not prime. Res64: 62388896EA676741 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:12:37] 661*2^1229687-1 is not prime. Res64: 66DE355B64CC4FD4 Time : 0.0 sec. user=vaughan [2012-09-28 22:27:00] 917*2^1229686-1 is not prime. Res64: 96911B2CFD12F63C Time : 0.0 sec. user=mdettweiler [2012-09-28 22:32:43] 673*2^1229687-1 is not prime. Res64: 9DF8AC99404F7E73 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:32:44] 693*2^1229687-1 is not prime. Res64: 3A2404EA63C66C9D Time : 0.0 sec. user=mdettweiler [2012-09-28 22:33:09] 711*2^1229687-1 is not prime. Res64: F514C68F1ADBDE63 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:33:10] 715*2^1229687-1 is not prime. Res64: 334D49EEB12A1626 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:53:15] 763*2^1229687-1 is not prime. Res64: 56ACECCA0F94C60C Time : 0.0 sec. user=mdettweiler [2012-09-28 22:53:16] 823*2^1229687-1 is not prime. Res64: 583DED1351524BB6 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:53:42] 657*2^1229688-1 is not prime. Res64: 987ACC65F0C63936 Time : 0.0 sec. user=mdettweiler [2012-09-28 22:53:42] 689*2^1229688-1 is not prime. Res64: 26712C7527DB847A Time : 0.0 sec. user=vaughan [2012-09-28 23:04:50] 729*2^1229687-1 is not prime. Res64: D89FAA190411B6D0 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:13:48] 765*2^1229688-1 is not prime. Res64: 69B73B10A9700976 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:13:49] 767*2^1229688-1 is not prime. Res64: DC8C92E4AC6DD16A Time : 0.0 sec. user=mdettweiler [2012-09-28 23:14:14] 999*2^1229688-1 is not prime. Res64: 25D8426F8952AD32 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:14:15] 609*2^1229689-1 is not prime. Res64: F7984DB4C99F1F20 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:34:28] 841*2^1229689-1 is not prime. Res64: 82440919A145ADB1 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:34:28] 861*2^1229689-1 is not prime. Res64: A8431A35FD711212 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:34:50] 665*2^1229690-1 is not prime. Res64: E55A98C9B327F611 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:34:50] 687*2^1229690-1 is not prime. Res64: AC0B509895AE8FB2 Time : 0.0 sec. user=vaughan [2012-09-28 23:42:39] 661*2^1229689-1 is not prime. Res64: 4FD1C805880CD9BD Time : 0.0 sec. user=mdettweiler [2012-09-28 23:55:01] 717*2^1229690-1 is not prime. Res64: 0B625CF44512B494 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:55:02] 767*2^1229690-1 is not prime. Res64: B5CAACCAED83F6DC Time : 0.0 sec. user=mdettweiler [2012-09-28 23:55:23] 797*2^1229690-1 is not prime. Res64: B8CBA0F9CA947682 Time : 0.0 sec. user=mdettweiler [2012-09-28 23:55:23] 885*2^1229690-1 is not prime. Res64: 11D7ED0ABA94321A Time : 0.0 sec.