user=mdettweiler [2012-08-19 00:14:59] 717*2^1226712-1 is not prime. Res64: 5E5D4AB45F3A9DA2 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:15:00] 719*2^1226712-1 is not prime. Res64: 6B8DFB9F24B0794D Time : 0.0 sec. user=mdettweiler [2012-08-19 00:16:28] 737*2^1226712-1 is not prime. Res64: 2034CB79EC6EEA37 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:16:28] 759*2^1226712-1 is not prime. Res64: FCC4EAC9BC6E6B78 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:25:19] 999*2^1226711-1 is not prime. Res64: C221B82DCA9B8869 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:35:58] 777*2^1226712-1 is not prime. Res64: 17C2251BEFAF0F34 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:36:00] 899*2^1226712-1 is not prime. Res64: B5DCBF0FC3B51914 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:37:24] 903*2^1226712-1 is not prime. Res64: 533FB72079677642 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:37:24] 675*2^1226713-1 is not prime. Res64: A50C6D77AF75F522 Time : 0.0 sec. user=gd_barnes [2012-08-19 00:54:34] 691*2^1226713-1 is not prime. Res64: 5CF859B5FE0C9C1A Time : 0.0 sec. user=mdettweiler [2012-08-19 00:56:54] 741*2^1226714-1 is not prime. Res64: 54FA040086BC7403 Time : 0.0 sec. user=mdettweiler [2012-08-19 00:56:54] 785*2^1226714-1 is not prime. Res64: 1A0412F69319612A Time : 0.0 sec. user=gd_barnes [2012-08-19 00:58:02] 831*2^1226713-1 is not prime. Res64: 21C4CD14B5B12E4A Time : 0.0 sec. user=gd_barnes [2012-08-19 00:58:04] 679*2^1226713-1 is not prime. Res64: 21D8695826042BFF Time : 0.0 sec. user=mdettweiler [2012-08-19 00:58:15] 797*2^1226714-1 is not prime. Res64: 294D111CDF42637E Time : 0.0 sec. user=mdettweiler [2012-08-19 00:58:15] 903*2^1226714-1 is not prime. Res64: 87E8C92BBBE5B494 Time : 0.0 sec. user=vaughan [2012-08-19 00:59:55] 825*2^1226711-1 is not prime. Res64: 2FA2AC6D138153E4 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:00:05] 669*2^1226712-1 is not prime. Res64: C5A692F99F623DB7 Time : 0.0 sec. user=gd_barnes [2012-08-19 01:03:26] 615*2^1226714-1 is not prime. Res64: 91F7909781C03369 Time : 0.0 sec. user=gd_barnes [2012-08-19 01:04:57] 885*2^1226713-1 is not prime. Res64: 644D1E1FE7DD5D8D Time : 0.0 sec. user=gd_barnes [2012-08-19 01:05:22] 665*2^1226714-1 is not prime. Res64: AF29722092DE1600 Time : 0.0 sec. user=gd_barnes [2012-08-19 01:05:33] 895*2^1226713-1 is not prime. Res64: F319ACA7C9881BDD Time : 0.0 sec. user=gd_barnes [2012-08-19 01:05:35] 683*2^1226714-1 is not prime. Res64: 59CD5753F558C4D7 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:17:59] 923*2^1226714-1 is not prime. Res64: FB296419A6FA701A Time : 0.0 sec. user=mdettweiler [2012-08-19 01:18:01] 941*2^1226714-1 is not prime. Res64: 6F4D40ABE1A56804 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:19:06] 993*2^1226714-1 is not prime. Res64: 652A2F26A96E57BF Time : 0.0 sec. user=mdettweiler [2012-08-19 01:19:07] 1001*2^1226714-1 is not prime. Res64: 6691A8EF6597125E Time : 0.0 sec. user=mdettweiler [2012-08-19 01:33:54] 735*2^1226715-1 is not prime. Res64: C5EF1BA4CA83377C Time : 0.0 sec. user=mdettweiler [2012-08-19 01:37:25] 649*2^1226715-1 is not prime. Res64: 94B8907758DBDBA9 Time : 0.0 sec. user=vaughan [2012-08-19 01:37:37] 669*2^1226715-1 is not prime. Res64: C1D9F64502AF5562 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:38:52] 781*2^1226715-1 is not prime. Res64: 580144EE8907A7CF Time : 0.0 sec. user=mdettweiler [2012-08-19 01:38:53] 805*2^1226715-1 is not prime. Res64: 6E16085A720F9645 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:39:57] 663*2^1226716-1 is not prime. Res64: DCB626C5CD1713E6 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:39:57] 779*2^1226716-1 is not prime. Res64: 1CEA708A130DD00A Time : 0.0 sec. user=gd_barnes [2012-08-19 01:48:47] 739*2^1226715-1 is not prime. Res64: C5D4A8B3C0BEE3A3 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:59:43] 965*2^1226716-1 is not prime. Res64: 22CA15BF6FB6C101 Time : 0.0 sec. user=mdettweiler [2012-08-19 01:59:43] 993*2^1226716-1 is not prime. Res64: 2FEBE134A095BDE0 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:00:47] 615*2^1226717-1 is not prime. Res64: E5E6626803BBE24C Time : 0.0 sec. user=mdettweiler [2012-08-19 02:00:48] 655*2^1226717-1 is not prime. Res64: 9D0E0A21BE05C092 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:09:01] 803*2^1226716-1 is not prime. Res64: AE361E01F53C90ED Time : 0.0 sec. user=mdettweiler [2012-08-19 02:09:16] 813*2^1226716-1 is not prime. Res64: 1F92F3E8808E5760 Time : 0.0 sec. user=vaughan [2012-08-19 02:15:17] 903*2^1226716-1 is not prime. Res64: 3703113825585E58 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:20:33] 697*2^1226717-1 is not prime. Res64: F0384EB8C3372C2C Time : 0.0 sec. user=mdettweiler [2012-08-19 02:20:33] 711*2^1226717-1 is not prime. Res64: 608549292F5ECEAC Time : 0.0 sec. user=mdettweiler [2012-08-19 02:21:38] 825*2^1226717-1 is not prime. Res64: 6FB0719A387A66CC Time : 0.0 sec. user=mdettweiler [2012-08-19 02:21:38] 831*2^1226717-1 is not prime. Res64: 287C592796F3235A Time : 0.0 sec. user=mdettweiler [2012-08-19 02:41:27] 711*2^1226718-1 is not prime. Res64: 23AFDC6DEB8A0296 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:41:28] 693*2^1226719-1 is not prime. Res64: 6E4C3077FACE1FBB Time : 0.0 sec. user=mdettweiler [2012-08-19 02:42:27] 709*2^1226719-1 is not prime. Res64: 824AD5BB3D225A61 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:42:28] 759*2^1226719-1 is not prime. Res64: 9227202F10885491 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:42:36] 901*2^1226717-1 is not prime. Res64: 745BC855FE497968 Time : 0.0 sec. user=mdettweiler [2012-08-19 02:42:37] 621*2^1226718-1 is not prime. Res64: 4B5B70FDBD3521A3 Time : 0.0 sec. user=vaughan [2012-08-19 02:53:29] 693*2^1226718-1 is not prime. Res64: 9D0243C585B55BF9 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:02:36] 769*2^1226719-1 is not prime. Res64: CB2830559321EC30 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:02:39] 771*2^1226719-1 is not prime. Res64: D58D0C6404F88385 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:03:21] 975*2^1226719-1 is not prime. Res64: CACC83B313469D57 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:03:23] 993*2^1226719-1 is not prime. Res64: C35A468D7139112F Time : 0.0 sec. user=mdettweiler [2012-08-19 03:15:00] 717*2^1226720-1 is not prime. Res64: D7A95723014A8DA1 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:18:01] 615*2^1226720-1 is not prime. Res64: EAD99C2048F872BB Time : 0.0 sec. user=gd_barnes [2012-08-19 03:18:21] 827*2^1226720-1 is not prime. Res64: 0DEA507FE2D6E29A Time : 0.0 sec. user=gd_barnes [2012-08-19 03:23:38] 909*2^1226720-1 is not prime. Res64: 7803203FC13B6C29 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:23:58] 675*2^1226721-1 is not prime. Res64: E110A3EDE90C5F54 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:23:58] 685*2^1226721-1 is not prime. Res64: 8805789FA19A486D Time : 0.0 sec. user=mdettweiler [2012-08-19 03:24:14] 691*2^1226721-1 is not prime. Res64: 04FCAA45E5FEDE0D Time : 0.0 sec. user=mdettweiler [2012-08-19 03:24:14] 717*2^1226721-1 is not prime. Res64: 40226FE3F0DC34A2 Time : 0.0 sec. user=vaughan [2012-08-19 03:31:09] 651*2^1226721-1 is not prime. Res64: A19A089848218718 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:44:58] 849*2^1226721-1 is not prime. Res64: D50B4F2A9C4440A9 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:44:59] 885*2^1226721-1 is not prime. Res64: 2DA6F0AD05102E1C Time : 0.0 sec. user=mdettweiler [2012-08-19 03:45:04] 901*2^1226721-1 is not prime. Res64: 09E55EF0199C2DBB Time : 0.0 sec. user=mdettweiler [2012-08-19 03:45:06] 621*2^1226722-1 is not prime. Res64: 983408DF8F93A2F3 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:49:28] 807*2^1226721-1 is not prime. Res64: E0F3DC072DF342B1 Time : 0.0 sec. user=mdettweiler [2012-08-19 03:52:29] 811*2^1226721-1 is not prime. Res64: BD52B75E3FF2523E Time : 0.0 sec. user=mdettweiler [2012-08-19 04:05:50] 831*2^1226722-1 is not prime. Res64: 111072A7E56A9A05 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:05:54] 917*2^1226722-1 is not prime. Res64: 37E21C115C7654B9 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:06:00] 619*2^1226723-1 is not prime. Res64: EF50A445F91CE6F1 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:06:01] 663*2^1226723-1 is not prime. Res64: 53D94428E5E0E925 Time : 0.0 sec. user=gd_barnes [2012-08-19 04:08:48] 737*2^1226722-1 is not prime. Res64: 8B69FB291520837D Time : 0.0 sec. user=vaughan [2012-08-19 04:08:52] 657*2^1226722-1 is not prime. Res64: 5E593E4B7ABD2468 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:21:30] 685*2^1226723-1 is not prime. Res64: AD5D99C983CC2F44 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:26:58] 921*2^1226723-1 is not prime. Res64: 80C291F0228FB88D Time : 0.0 sec. user=mdettweiler [2012-08-19 04:26:59] 639*2^1226724-1 is not prime. Res64: 9B8570D03BA6DD2A Time : 0.0 sec. user=mdettweiler [2012-08-19 04:27:00] 609*2^1226725-1 is not prime. Res64: A3349960A8FAEDE0 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:27:01] 625*2^1226725-1 is not prime. Res64: C829D564BB27F184 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:27:23] 885*2^1226723-1 is not prime. Res64: 5031DA8AEBC21417 Time : 0.0 sec. user=vaughan [2012-08-19 04:46:34] 649*2^1226725-1 is not prime. Res64: F97C83A4EBA39CE4 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:47:54] 999*2^1226725-1 is not prime. Res64: CE74A340207C047A Time : 0.0 sec. user=mdettweiler [2012-08-19 04:47:55] 773*2^1226726-1 is not prime. Res64: EA679C76C689010E Time : 0.0 sec. user=mdettweiler [2012-08-19 04:47:56] 785*2^1226726-1 is not prime. Res64: 889667D41B9F6EBB Time : 0.0 sec. user=mdettweiler [2012-08-19 04:47:57] 801*2^1226726-1 is not prime. Res64: F08B4D781DFC6D07 Time : 0.0 sec. user=mdettweiler [2012-08-19 04:56:13] 925*2^1226725-1 is not prime. Res64: 0FD028C9BD7EAADB Time : 0.0 sec. user=mdettweiler [2012-08-19 04:59:28] 963*2^1226726-1 is not prime. Res64: 497D6F51BE3D6024 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:08:45] 751*2^1226727-1 is not prime. Res64: B260EC671FDDFB76 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:08:46] 765*2^1226727-1 is not prime. Res64: FBDB7B4944D86D5D Time : 0.0 sec. user=mdettweiler [2012-08-19 05:08:48] 865*2^1226727-1 is not prime. Res64: 663AC55C6BF33A34 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:08:48] 979*2^1226727-1 is not prime. Res64: CFC223D7C9FC89DE Time : 0.0 sec. user=vaughan [2012-08-19 05:24:25] 651*2^1226727-1 is not prime. Res64: 818ACCD4F1434C4E Time : 0.0 sec. user=mdettweiler [2012-08-19 05:29:49] 825*2^1226728-1 is not prime. Res64: 88B6B2528D3718E1 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:29:49] 839*2^1226728-1 is not prime. Res64: 7D4160A0B0BCCC90 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:29:50] 777*2^1226728-1 is not prime. Res64: E300734BD3A43EA4 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:29:50] 875*2^1226728-1 is not prime. Res64: 66677F978473DA86 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:30:13] 605*2^1226728-1 is not prime. Res64: CB54A350FCF67453 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:33:14] 695*2^1226728-1 is not prime. Res64: 9D63130D9F97B308 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:50:37] 631*2^1226729-1 is not prime. Res64: C22CC64ED3FA6CA3 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:50:38] 645*2^1226729-1 is not prime. Res64: 963E094AF6089B73 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:50:38] 799*2^1226729-1 is not prime. Res64: 88D5170AE69D25C8 Time : 0.0 sec. user=mdettweiler [2012-08-19 05:50:39] 819*2^1226729-1 is not prime. Res64: C786AF7787DBB2DA Time : 0.0 sec. user=vaughan [2012-08-19 06:02:10] 915*2^1226728-1 is not prime. Res64: 59F5E00AA496042A Time : 0.0 sec. user=mdettweiler [2012-08-19 06:02:31] 985*2^1226729-1 is not prime. Res64: 82CF4453C81D5D91 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:08:21] 707*2^1226730-1 is not prime. Res64: 023A965F0DB90B33 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:11:25] 723*2^1226730-1 is not prime. Res64: 591742B2AC370096 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:11:26] 725*2^1226730-1 is not prime. Res64: 3B813D93BF2719B1 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:11:26] 797*2^1226730-1 is not prime. Res64: F7A21B94024BA348 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:11:27] 921*2^1226730-1 is not prime. Res64: F2EF607DF92B1E76 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:32:16] 759*2^1226731-1 is not prime. Res64: 9D3255ED9A98920B Time : 0.0 sec. user=mdettweiler [2012-08-19 06:32:16] 769*2^1226731-1 is not prime. Res64: 7496D594709DD4C0 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:32:17] 841*2^1226731-1 is not prime. Res64: 892CFA50660A26FE Time : 0.0 sec. user=mdettweiler [2012-08-19 06:32:17] 859*2^1226731-1 is not prime. Res64: 841ADBC18A38A2D6 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:35:37] 631*2^1226731-1 is not prime. Res64: 8E5220863B4B0CC4 Time : 0.0 sec. user=vaughan [2012-08-19 06:40:01] 933*2^1226730-1 is not prime. Res64: 0AE0A72D69AA3667 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:41:54] 649*2^1226731-1 is not prime. Res64: 0A4D1140998F6C10 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:53:05] 885*2^1226731-1 is not prime. Res64: DE0C7BAA30EA94CC Time : 0.0 sec. user=mdettweiler [2012-08-19 06:53:06] 999*2^1226731-1 is not prime. Res64: C32AC4EFDD5E3A2E Time : 0.0 sec. user=mdettweiler [2012-08-19 06:53:06] 623*2^1226732-1 is not prime. Res64: 3E7CA84A7DE47FF8 Time : 0.0 sec. user=mdettweiler [2012-08-19 06:53:07] 635*2^1226732-1 is not prime. Res64: 56E02B99C72D06D2 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:09:07] 647*2^1226732-1 is not prime. Res64: DA9D47C082612C4C Time : 0.0 sec. user=mdettweiler [2012-08-19 07:13:56] 785*2^1226732-1 is not prime. Res64: 1D61DCAD30414848 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:13:57] 879*2^1226732-1 is not prime. Res64: D9E1B9EE2011213E Time : 0.0 sec. user=mdettweiler [2012-08-19 07:13:57] 797*2^1226732-1 is not prime. Res64: E070C27CB9E827C0 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:13:58] 983*2^1226732-1 is not prime. Res64: 83435F29379AF529 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:15:21] 717*2^1226732-1 is not prime. Res64: E09B01634D187D1F Time : 0.0 sec. user=vaughan [2012-08-19 07:17:40] 699*2^1226732-1 is not prime. Res64: 665F1050F2C4CF4C Time : 0.0 sec. user=mdettweiler [2012-08-19 07:34:50] 727*2^1226733-1 is not prime. Res64: 023279215CEDF46B Time : 0.0 sec. user=mdettweiler [2012-08-19 07:34:50] 745*2^1226733-1 is not prime. Res64: 3F3A5EDED2DFBB00 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:34:51] 759*2^1226733-1 is not prime. Res64: F392CC930A390A56 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:34:51] 795*2^1226733-1 is not prime. Res64: 73043F387AFFD03C Time : 0.0 sec. user=mdettweiler [2012-08-19 07:42:55] 721*2^1226733-1 is not prime. Res64: 1B0D75CB1617BCF7 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:48:52] 805*2^1226733-1 is not prime. Res64: BF0747CD8DAA5534 Time : 0.0 sec. user=vaughan [2012-08-19 07:55:21] 861*2^1226733-1 is not prime. Res64: FC94CFE5A1EA0708 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:55:40] 885*2^1226733-1 is not prime. Res64: 70CF0F11455133FB Time : 0.0 sec. user=mdettweiler [2012-08-19 07:55:40] 945*2^1226733-1 is not prime. Res64: F9DA311C7FCA504C Time : 0.0 sec. user=mdettweiler [2012-08-19 07:55:41] 985*2^1226733-1 is not prime. Res64: BC7B46B747ED0731 Time : 0.0 sec. user=mdettweiler [2012-08-19 07:55:41] 687*2^1226734-1 is not prime. Res64: 5A3E1D4A109D3B81 Time : 0.0 sec. user=mdettweiler [2012-08-19 08:16:52] 747*2^1226734-1 is not prime. Res64: C15A06F53C7D7D87 Time : 0.0 sec. user=mdettweiler [2012-08-19 08:16:53] 917*2^1226734-1 is not prime. Res64: 9BD6E4E8F52A0013 Time : 0.0 sec. user=mdettweiler [2012-08-19 08:16:55] 763*2^1226735-1 is not prime. Res64: 016AAF333F0B9AA2 Time : 0.0 sec. user=mdettweiler [2012-08-19 08:22:12] 885*2^1226734-1 is not prime. Res64: 8F786663F3AE219E Time : 0.0 sec. user=vaughan [2012-08-19 08:33:00] 887*2^1226734-1 is not prime. Res64: 44367FDF73ABF69B Time : 0.0 sec. user=mdettweiler [2012-08-19 08:43:33] 783*2^1226735-1 is not prime. Res64: 7C9146B465BC89C9 Time : 0.0 sec. user=mdettweiler [2012-08-19 08:50:57] 619*2^1226735-1 is not prime. Res64: C40B523762C67AFA Time : 0.0 sec. user=mdettweiler [2012-08-19 08:55:43] 789*2^1226735-1 is not prime. Res64: C52DB060D381A78B Time : 0.0 sec. user=mdettweiler [2012-08-19 09:04:20] 861*2^1226735-1 is not prime. Res64: 9D9B27E4611FE7D0 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:04:22] 973*2^1226735-1 is not prime. Res64: BA02EB0BE09F8CF0 Time : 0.0 sec. user=vaughan [2012-08-19 09:10:40] 855*2^1226735-1 is not prime. Res64: F6A4E9D21CC2B140 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:11:45] 773*2^1226736-1 is not prime. Res64: 717B86CC968FF493 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:11:45] 839*2^1226736-1 is not prime. Res64: B17AD2EC46144C36 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:24:34] 635*2^1226736-1 is not prime. Res64: 51A16B8FEAED9ECA Time : 0.0 sec. user=mdettweiler [2012-08-19 09:25:14] 765*2^1226737-1 is not prime. Res64: EB415F9038C4A698 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:25:15] 807*2^1226737-1 is not prime. Res64: 776FA584BD364615 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:30:00] 625*2^1226737-1 is not prime. Res64: F60FFE8DDBA8330F Time : 0.0 sec. user=mdettweiler [2012-08-19 09:32:33] 889*2^1226737-1 is not prime. Res64: 04AC5DF169F199CF Time : 0.0 sec. user=mdettweiler [2012-08-19 09:32:34] 897*2^1226737-1 is not prime. Res64: CA83220D082D8520 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:46:04] 641*2^1226738-1 is not prime. Res64: CD091483C1F5C378 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:46:05] 671*2^1226738-1 is not prime. Res64: 6FD619FF12495807 Time : 0.0 sec. user=vaughan [2012-08-19 09:48:53] 841*2^1226737-1 is not prime. Res64: 35E485F633B87854 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:53:22] 791*2^1226738-1 is not prime. Res64: 1C6A24799204A5CF Time : 0.0 sec. user=mdettweiler [2012-08-19 09:53:22] 797*2^1226738-1 is not prime. Res64: D391992BA5E29E20 Time : 0.0 sec. user=mdettweiler [2012-08-19 09:59:07] 931*2^1226737-1 is not prime. Res64: 793D9154A9A11E04 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:03:52] 767*2^1226738-1 is not prime. Res64: DF47A7BA4489B9D5 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:06:53] 911*2^1226738-1 is not prime. Res64: 1AD06FEA77864BAC Time : 0.0 sec. user=mdettweiler [2012-08-19 10:06:54] 619*2^1226739-1 is not prime. Res64: 802DD05FF69422D1 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:14:09] 703*2^1226739-1 is not prime. Res64: 8DA7B5B35AF9812D Time : 0.0 sec. user=mdettweiler [2012-08-19 10:14:10] 795*2^1226739-1 is not prime. Res64: 960918A0F62EE923 Time : 0.0 sec. user=vaughan [2012-08-19 10:26:35] 621*2^1226739-1 is not prime. Res64: 15C2ED4F4B2E3509 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:27:47] 985*2^1226739-1 is not prime. Res64: 4D01BA698CF74625 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:27:47] 695*2^1226740-1 is not prime. Res64: 74075F198F172DA7 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:33:20] 955*2^1226739-1 is not prime. Res64: 4F8D50D4F362EBEA Time : 0.0 sec. user=mdettweiler [2012-08-19 10:35:03] 765*2^1226740-1 is not prime. Res64: 9EAD81DD7A24D9AE Time : 0.0 sec. user=mdettweiler [2012-08-19 10:35:03] 777*2^1226740-1 is not prime. Res64: 9A4C41DB6148F3E8 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:38:23] 975*2^1226739-1 is not prime. Res64: F1DB91DFEA4470B7 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:48:34] 813*2^1226740-1 is not prime. Res64: 6BBFF113B96CEFC5 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:48:35] 825*2^1226740-1 is not prime. Res64: 318CA29B2AF715A9 Time : 0.0 sec. user=mdettweiler [2012-08-19 10:55:51] 989*2^1226740-1 is not prime. Res64: 0CC82C175C4C6C4B Time : 0.0 sec. user=mdettweiler [2012-08-19 10:55:51] 607*2^1226741-1 is not prime. Res64: BF837820284DA27A Time : 0.0 sec. user=vaughan [2012-08-19 11:04:25] 797*2^1226740-1 is not prime. Res64: C9E162C73E5B07D4 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:06:59] 909*2^1226740-1 is not prime. Res64: 65E5BB5D5D486344 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:09:22] 775*2^1226741-1 is not prime. Res64: 9660C1A7262096E0 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:09:23] 937*2^1226741-1 is not prime. Res64: 8077AE52A3465DAD Time : 0.0 sec. user=mdettweiler [2012-08-19 11:12:11] 645*2^1226741-1 is not prime. Res64: 7F4ED3D9A1B3A8DA Time : 0.0 sec. user=mdettweiler [2012-08-19 11:16:39] 681*2^1226742-1 is not prime. Res64: 75A0E9E121459E38 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:16:40] 693*2^1226742-1 is not prime. Res64: B047265DC16D9516 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:30:19] 731*2^1226742-1 is not prime. Res64: 5865AA5C5196664D Time : 0.0 sec. user=mdettweiler [2012-08-19 11:30:19] 843*2^1226742-1 is not prime. Res64: 2FBD0EEE61B2D30C Time : 0.0 sec. user=mdettweiler [2012-08-19 11:37:40] 947*2^1226742-1 is not prime. Res64: 34EE1B5149EE8199 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:37:41] 951*2^1226742-1 is not prime. Res64: C455D5265C5F7FA5 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:41:11] 723*2^1226742-1 is not prime. Res64: BDDFAE4B2B8E6630 Time : 0.0 sec. user=vaughan [2012-08-19 11:42:21] 711*2^1226742-1 is not prime. Res64: 430A41EAABBD2E89 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:46:22] 893*2^1226742-1 is not prime. Res64: B10457FB0A9401C9 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:51:21] 983*2^1226742-1 is not prime. Res64: 9BBEEE55FAFDCBA0 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:51:22] 831*2^1226743-1 is not prime. Res64: 18BDDB3F1F164609 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:58:39] 725*2^1226744-1 is not prime. Res64: 1777C2ED1DD7C9B6 Time : 0.0 sec. user=mdettweiler [2012-08-19 11:58:39] 743*2^1226744-1 is not prime. Res64: 0C5EA1A7DF612F2F Time : 0.0 sec. user=mdettweiler [2012-08-19 12:12:21] 627*2^1226745-1 is not prime. Res64: A8FB502E5868C0D9 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:12:23] 717*2^1226745-1 is not prime. Res64: E4CE37D1D79C5BA0 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:15:18] 843*2^1226744-1 is not prime. Res64: 8C40B68D00DF73DA Time : 0.0 sec. user=mdettweiler [2012-08-19 12:19:41] 787*2^1226745-1 is not prime. Res64: 58D19DE9F5830E00 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:19:41] 789*2^1226745-1 is not prime. Res64: D346F3C47B83BD1A Time : 0.0 sec. user=vaughan [2012-08-19 12:20:00] 875*2^1226744-1 is not prime. Res64: 521D7FBB9BAFBB0B Time : 0.0 sec. user=mdettweiler [2012-08-19 12:20:15] 923*2^1226744-1 is not prime. Res64: A1AF5498D833E196 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:33:33] 811*2^1226745-1 is not prime. Res64: 6A90AB3CA1EB1BDF Time : 0.0 sec. user=mdettweiler [2012-08-19 12:33:33] 861*2^1226745-1 is not prime. Res64: 642F9F0FBB007CEF Time : 0.0 sec. user=mdettweiler [2012-08-19 12:40:40] 623*2^1226746-1 is not prime. Res64: 8DD861616BCB2F06 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:40:41] 671*2^1226746-1 is not prime. Res64: B56986D57E47A026 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:49:06] 951*2^1226745-1 is not prime. Res64: EF728C1255FAC54E Time : 0.0 sec. user=mdettweiler [2012-08-19 12:54:04] 867*2^1226746-1 is not prime. Res64: 4D23A0FE24EA2B98 Time : 0.0 sec. user=mdettweiler [2012-08-19 12:54:30] 957*2^1226746-1 is not prime. Res64: FD5D0B48A846A3EB Time : 0.0 sec. user=mdettweiler [2012-08-19 12:54:31] 975*2^1226746-1 is not prime. Res64: 07998E651B9E74A0 Time : 0.0 sec. user=vaughan [2012-08-19 12:57:39] 723*2^1226746-1 is not prime. Res64: 555D7FC93B6E933E Time : 0.0 sec. user=mdettweiler [2012-08-19 13:01:35] 669*2^1226747-1 is not prime. Res64: 8E71EC4C8CCF81F1 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:01:37] 705*2^1226747-1 is not prime. Res64: CEFF5A5C31BD1357 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:15:27] 991*2^1226747-1 is not prime. Res64: EBC915E8B6A04209 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:15:29] 627*2^1226748-1 is not prime. Res64: 99EA315E75F234C9 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:22:37] 683*2^1226748-1 is not prime. Res64: 4611F3E4C3D120E8 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:22:38] 777*2^1226748-1 is not prime. Res64: FA811E1965E17FFC Time : 0.0 sec. user=mdettweiler [2012-08-19 13:22:51] 861*2^1226747-1 is not prime. Res64: 4A874F3D5B0E99D5 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:27:51] 913*2^1226747-1 is not prime. Res64: 5D112C183BD6EADA Time : 0.0 sec. user=vaughan [2012-08-19 13:35:23] 633*2^1226748-1 is not prime. Res64: C209912852445358 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:36:27] 839*2^1226748-1 is not prime. Res64: 88782B5CB719DA2B Time : 0.0 sec. user=mdettweiler [2012-08-19 13:36:28] 875*2^1226748-1 is not prime. Res64: 03631D18EA4E73F1 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:43:31] 887*2^1226748-1 is not prime. Res64: 87236201A2F75A43 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:43:32] 933*2^1226748-1 is not prime. Res64: B68DF11B49F84D46 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:56:22] 847*2^1226749-1 is not prime. Res64: C3A82C60E6D7CC16 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:57:17] 713*2^1226750-1 is not prime. Res64: 5DA0FE0437ED2F77 Time : 0.0 sec. user=mdettweiler [2012-08-19 13:57:17] 743*2^1226750-1 is not prime. Res64: 85FF079450C2FACC Time : 0.0 sec. user=mdettweiler [2012-08-19 14:01:34] 979*2^1226749-1 is not prime. Res64: 45FBB0B4DB986DE5 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:04:25] 755*2^1226750-1 is not prime. Res64: 87AE63259EDF3389 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:04:26] 773*2^1226750-1 is not prime. Res64: 0A49C0D0852765AB Time : 0.0 sec. user=vaughan [2012-08-19 14:13:05] 623*2^1226750-1 is not prime. Res64: F8893DE43238098E Time : 0.0 sec. user=mdettweiler [2012-08-19 14:18:06] 825*2^1226750-1 is not prime. Res64: AEA3FBC29292E15B Time : 0.0 sec. user=mdettweiler [2012-08-19 14:18:06] 867*2^1226750-1 is not prime. Res64: 6BFCB16E189CA7D4 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:25:18] 669*2^1226751-1 is not prime. Res64: E5EB729CE949F968 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:25:18] 909*2^1226751-1 is not prime. Res64: 7E5935CC1D2A24EC Time : 0.0 sec. user=mdettweiler [2012-08-19 14:31:28] 791*2^1226750-1 is not prime. Res64: 1DA4CE37F34ABB3D Time : 0.0 sec. user=mdettweiler [2012-08-19 14:36:50] 945*2^1226750-1 is not prime. Res64: D2FAF311F8C3EE28 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:39:00] 857*2^1226752-1 is not prime. Res64: 8F35A4145271D7BC Time : 0.0 sec. user=mdettweiler [2012-08-19 14:39:00] 875*2^1226752-1 is not prime. Res64: F4D3C7E94B764A94 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:46:08] 947*2^1226752-1 is not prime. Res64: 5A91A68890A7402D Time : 0.0 sec. user=mdettweiler [2012-08-19 14:46:08] 959*2^1226752-1 is not prime. Res64: 3602C1C98798CBD2 Time : 0.0 sec. user=vaughan [2012-08-19 14:50:53] 855*2^1226752-1 is not prime. Res64: 05959B901959732B Time : 0.0 sec. user=mdettweiler [2012-08-19 14:59:49] 729*2^1226753-1 is not prime. Res64: 8BE276FB5D1F2814 Time : 0.0 sec. user=mdettweiler [2012-08-19 14:59:50] 741*2^1226753-1 is not prime. Res64: B0B13042333CF278 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:05:35] 615*2^1226753-1 is not prime. Res64: E1CA032E3968EC71 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:06:59] 759*2^1226753-1 is not prime. Res64: C76F1D29C0D7C851 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:07:00] 837*2^1226753-1 is not prime. Res64: E3A725519048118D Time : 0.0 sec. user=mdettweiler [2012-08-19 15:10:27] 637*2^1226753-1 is not prime. Res64: A4A39A1136460492 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:20:39] 885*2^1226753-1 is not prime. Res64: 8C314F08437DA689 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:20:39] 915*2^1226753-1 is not prime. Res64: 0204B868AEF14C2E Time : 0.0 sec. user=mdettweiler [2012-08-19 15:27:59] 945*2^1226753-1 is not prime. Res64: 7380D82E8AA98BA4 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:27:59] 681*2^1226754-1 is not prime. Res64: 1E99953B49373B56 Time : 0.0 sec. user=vaughan [2012-08-19 15:28:33] 855*2^1226753-1 is not prime. Res64: 2186DB63BC7E96E3 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:39:33] 925*2^1226753-1 is not prime. Res64: 0649143F7B5B33AD Time : 0.0 sec. user=mdettweiler [2012-08-19 15:41:37] 903*2^1226754-1 is not prime. Res64: D06BD9C943ACBE15 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:41:37] 927*2^1226754-1 is not prime. Res64: A97135D19DF2B20D Time : 0.0 sec. user=mdettweiler [2012-08-19 15:44:17] 683*2^1226754-1 is not prime. Res64: 35CA8CB0E0D2ACD3 Time : 0.0 sec. user=mdettweiler [2012-08-19 15:48:55] 603*2^1226755-1 is not prime. Res64: CC1E28CA96446B4C Time : 0.0 sec. user=mdettweiler [2012-08-19 15:48:56] 619*2^1226755-1 is not prime. Res64: 552CB1ACBE98209A Time : 0.0 sec. user=mdettweiler [2012-08-19 16:02:34] 829*2^1226755-1 is not prime. Res64: F71D9C5D7129B717 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:02:37] 969*2^1226755-1 is not prime. Res64: 673C858C3A5D8655 Time : 0.0 sec. user=vaughan [2012-08-19 16:06:15] 651*2^1226755-1 is not prime. Res64: 4977953679FB0127 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:09:48] 725*2^1226756-1 is not prime. Res64: E72B766A3FDACE3E Time : 0.0 sec. user=mdettweiler [2012-08-19 16:09:49] 759*2^1226756-1 is not prime. Res64: FEC69ED131E03AB3 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:12:45] 819*2^1226755-1 is not prime. Res64: 7B2B8F2E043BD583 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:17:57] 629*2^1226756-1 is not prime. Res64: FC28F4519D1CAC30 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:23:42] 767*2^1226756-1 is not prime. Res64: CCEFEE3E366F03E3 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:23:42] 869*2^1226756-1 is not prime. Res64: CB7D5B7C05B12443 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:30:43] 655*2^1226757-1 is not prime. Res64: D9CC804C13D45BB0 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:30:44] 669*2^1226757-1 is not prime. Res64: EFDC0A586BF3F620 Time : 0.0 sec. user=vaughan [2012-08-19 16:44:01] 909*2^1226756-1 is not prime. Res64: C8198C06CE0BA599 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:44:33] 817*2^1226757-1 is not prime. Res64: D3490613615FC156 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:44:33] 885*2^1226757-1 is not prime. Res64: 564C039125206D36 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:46:39] 747*2^1226757-1 is not prime. Res64: AC810034F40922CA Time : 0.0 sec. user=mdettweiler [2012-08-19 16:51:31] 937*2^1226757-1 is not prime. Res64: E228732555CE2F9D Time : 0.0 sec. user=mdettweiler [2012-08-19 16:51:32] 961*2^1226757-1 is not prime. Res64: E0E6F2618FE52D03 Time : 0.0 sec. user=mdettweiler [2012-08-19 16:51:51] 777*2^1226757-1 is not prime. Res64: 2BEC626BCC6D2025 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:05:22] 773*2^1226758-1 is not prime. Res64: C97B3566E907DD85 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:05:23] 801*2^1226758-1 is not prime. Res64: F5D3DDE5262FBD6D Time : 0.0 sec. user=mdettweiler [2012-08-19 17:12:22] 897*2^1226758-1 is not prime. Res64: 2250E370F51D9516 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:12:23] 633*2^1226759-1 is not prime. Res64: 0E5C2AE8F55EA370 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:20:14] 831*2^1226758-1 is not prime. Res64: 9D65D017A5148058 Time : 0.0 sec. user=vaughan [2012-08-19 17:21:42] 705*2^1226758-1 is not prime. Res64: 5D6B84A76DEC3D23 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:25:26] 693*2^1226759-1 is not prime. Res64: 5B7C486C85AEAE68 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:26:30] 735*2^1226759-1 is not prime. Res64: 657322B6DE76784D Time : 0.0 sec. user=mdettweiler [2012-08-19 17:26:30] 775*2^1226759-1 is not prime. Res64: 05066941175147B8 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:33:15] 799*2^1226759-1 is not prime. Res64: 842B3D18929BE1E4 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:33:16] 895*2^1226759-1 is not prime. Res64: 434E258076A2B7AE Time : 0.0 sec. user=mdettweiler [2012-08-19 17:47:19] 777*2^1226760-1 is not prime. Res64: 0E397E9ECB40EF68 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:47:19] 795*2^1226760-1 is not prime. Res64: 658A2373A018C3BE Time : 0.0 sec. user=mdettweiler [2012-08-19 17:54:06] 825*2^1226760-1 is not prime. Res64: 5423B0F7C8FCF9A6 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:54:06] 863*2^1226760-1 is not prime. Res64: 5A755ED3292D738D Time : 0.0 sec. user=mdettweiler [2012-08-19 17:54:13] 943*2^1226759-1 is not prime. Res64: 5F2F4AD89146503B Time : 0.0 sec. user=vaughan [2012-08-19 17:59:23] 623*2^1226760-1 is not prime. Res64: 52AF257AF345A7B4 Time : 0.0 sec. user=mdettweiler [2012-08-19 17:59:29] 707*2^1226760-1 is not prime. Res64: 459C363BA143277C Time : 0.0 sec. user=mdettweiler [2012-08-19 18:08:08] 873*2^1226760-1 is not prime. Res64: 33EE8F13F621842C Time : 0.0 sec. user=mdettweiler [2012-08-19 18:08:10] 927*2^1226760-1 is not prime. Res64: 2CC5FEDDA83A2F61 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:14:55] 747*2^1226761-1 is not prime. Res64: 68AF915114BA822A Time : 0.0 sec. user=mdettweiler [2012-08-19 18:14:56] 855*2^1226761-1 is not prime. Res64: 410B051E6AF8442B Time : 0.0 sec. user=mdettweiler [2012-08-19 18:28:08] 861*2^1226761-1 is not prime. Res64: C0AD0552337E6638 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:29:09] 955*2^1226761-1 is not prime. Res64: 22C5B06EADB9B1ED Time : 0.0 sec. user=mdettweiler [2012-08-19 18:29:10] 979*2^1226761-1 is not prime. Res64: BDEEBB0BD3403B67 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:33:39] 939*2^1226761-1 is not prime. Res64: 3DC49B5D4A5773AB Time : 0.0 sec. user=mdettweiler [2012-08-19 18:35:46] 755*2^1226762-1 is not prime. Res64: 34527259342EBA37 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:35:46] 945*2^1226762-1 is not prime. Res64: 7478640836A214CC Time : 0.0 sec. user=vaughan [2012-08-19 18:37:02] 871*2^1226761-1 is not prime. Res64: 7A7B49C48EE56923 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:49:58] 741*2^1226763-1 is not prime. Res64: 53A873E6C244F96C Time : 0.0 sec. user=mdettweiler [2012-08-19 18:49:59] 769*2^1226763-1 is not prime. Res64: 49846BDDDA41D25B Time : 0.0 sec. user=mdettweiler [2012-08-19 18:56:33] 861*2^1226763-1 is not prime. Res64: 0C4F96CEEEF715B0 Time : 0.0 sec. user=mdettweiler [2012-08-19 18:56:33] 623*2^1226764-1 is not prime. Res64: 0863D852BB8EAF5B Time : 0.0 sec. user=mdettweiler [2012-08-19 19:02:04] 977*2^1226762-1 is not prime. Res64: ACC5D14BD4D20292 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:07:31] 789*2^1226763-1 is not prime. Res64: FDAF0D42F7AF5E8B Time : 0.0 sec. user=mdettweiler [2012-08-19 19:10:47] 675*2^1226764-1 is not prime. Res64: 57F677B4427D6582 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:10:48] 719*2^1226764-1 is not prime. Res64: 2E3912DA8F6DF78C Time : 0.0 sec. user=vaughan [2012-08-19 19:14:42] 657*2^1226764-1 is not prime. Res64: 06119F0BA4F60CE6 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:17:21] 773*2^1226764-1 is not prime. Res64: 265E0CB47DC02F10 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:17:22] 827*2^1226764-1 is not prime. Res64: 38B98A4A30762B5E Time : 0.0 sec. user=mdettweiler [2012-08-19 19:31:40] 759*2^1226765-1 is not prime. Res64: 7745FD7C0AEEE389 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:31:41] 789*2^1226765-1 is not prime. Res64: C2F8D220FDAC0DAC Time : 0.0 sec. user=mdettweiler [2012-08-19 19:37:52] 857*2^1226764-1 is not prime. Res64: 10BDDF4FAADAC417 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:38:12] 811*2^1226765-1 is not prime. Res64: 419202FF5AFC71AA Time : 0.0 sec. user=mdettweiler [2012-08-19 19:38:12] 861*2^1226765-1 is not prime. Res64: 0F600A8E609A67E9 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:42:39] 715*2^1226765-1 is not prime. Res64: EF2E6DFA24964797 Time : 0.0 sec. user=vaughan [2012-08-19 19:52:26] 799*2^1226765-1 is not prime. Res64: ADE3ABE8F9719D47 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:52:32] 865*2^1226765-1 is not prime. Res64: 7A3D156B0D35FF0C Time : 0.0 sec. user=mdettweiler [2012-08-19 19:52:33] 647*2^1226766-1 is not prime. Res64: 12D7863183500045 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:59:03] 917*2^1226766-1 is not prime. Res64: D027C16970BEA3D0 Time : 0.0 sec. user=mdettweiler [2012-08-19 19:59:03] 945*2^1226766-1 is not prime. Res64: E5E2CB8E228F8D44 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:11:50] 725*2^1226766-1 is not prime. Res64: 41DF0B7840F97728 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:13:22] 805*2^1226767-1 is not prime. Res64: EF08D37EB31796FF Time : 0.0 sec. user=mdettweiler [2012-08-19 20:13:22] 873*2^1226767-1 is not prime. Res64: F498906307033F32 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:14:31] 963*2^1226766-1 is not prime. Res64: 1C8A334BDF0D0E32 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:19:52] 891*2^1226767-1 is not prime. Res64: A2033E7E6A19220E Time : 0.0 sec. user=mdettweiler [2012-08-19 20:19:52] 933*2^1226767-1 is not prime. Res64: 612E75292B24E4A3 Time : 0.0 sec. user=vaughan [2012-08-19 20:30:10] 729*2^1226767-1 is not prime. Res64: 93715F0DCF545524 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:34:15] 615*2^1226768-1 is not prime. Res64: E9193AB41F0769C0 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:34:15] 633*2^1226768-1 is not prime. Res64: 464AE2D5A82DCC48 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:40:41] 683*2^1226768-1 is not prime. Res64: 5AAAFD1912C70851 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:40:41] 699*2^1226768-1 is not prime. Res64: 4075AF58651C60AC Time : 0.0 sec. user=mdettweiler [2012-08-19 20:43:16] 979*2^1226767-1 is not prime. Res64: E204D77734A64855 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:47:42] 665*2^1226768-1 is not prime. Res64: 481DDEE22A050654 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:55:04] 789*2^1226768-1 is not prime. Res64: 38E580E750B81711 Time : 0.0 sec. user=mdettweiler [2012-08-19 20:55:04] 839*2^1226768-1 is not prime. Res64: 3FC2442907602BC6 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:01:31] 893*2^1226768-1 is not prime. Res64: 704E5BA3668DD0B2 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:01:32] 609*2^1226769-1 is not prime. Res64: 8CD2DC1F65D54C98 Time : 0.0 sec. user=vaughan [2012-08-19 21:08:05] 747*2^1226768-1 is not prime. Res64: 4FB99A87FA79EB0F Time : 0.0 sec. user=mdettweiler [2012-08-19 21:15:08] 745*2^1226769-1 is not prime. Res64: 960BB96D2EBA01D9 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:15:53] 847*2^1226769-1 is not prime. Res64: FC10A00A9A7DA4B6 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:15:54] 919*2^1226769-1 is not prime. Res64: BA179494CB186AFC Time : 0.0 sec. user=mdettweiler [2012-08-19 21:19:29] 765*2^1226769-1 is not prime. Res64: F3D0853B1C08B3DC Time : 0.0 sec. user=mdettweiler [2012-08-19 21:22:23] 635*2^1226770-1 is not prime. Res64: 1C7BF4580F6FEA16 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:22:23] 677*2^1226770-1 is not prime. Res64: 273C81EE89883B4A Time : 0.0 sec. user=mdettweiler [2012-08-19 21:36:46] 723*2^1226770-1 is not prime. Res64: 68E5B59BEB5295FD Time : 0.0 sec. user=mdettweiler [2012-08-19 21:36:46] 845*2^1226770-1 is not prime. Res64: 71BF8E1250533D10 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:43:15] 643*2^1226771-1 is not prime. Res64: D36CD30065CEE5B1 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:43:15] 675*2^1226771-1 is not prime. Res64: BBCD537243B24E10 Time : 0.0 sec. user=vaughan [2012-08-19 21:46:01] 695*2^1226770-1 is not prime. Res64: 8C65CFA278D4EA47 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:47:17] 713*2^1226770-1 is not prime. Res64: A476C5EB584DFB7F Time : 0.0 sec. user=mdettweiler [2012-08-19 21:51:09] 941*2^1226770-1 is not prime. Res64: BC18F636CDCFC8FD Time : 0.0 sec. user=mdettweiler [2012-08-19 21:57:34] 741*2^1226771-1 is not prime. Res64: 9A964CA6C511C7B1 Time : 0.0 sec. user=mdettweiler [2012-08-19 21:57:34] 909*2^1226771-1 is not prime. Res64: 928DBAC3E32C7979 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:04:03] 949*2^1226771-1 is not prime. Res64: E8F8E4792F95374A Time : 0.0 sec. user=mdettweiler [2012-08-19 22:04:04] 627*2^1226772-1 is not prime. Res64: A68150707364A4D4 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:18:22] 757*2^1226773-1 is not prime. Res64: 56C92EC2230E9650 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:18:22] 765*2^1226773-1 is not prime. Res64: 2A20B1BE8CA9F194 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:19:17] 867*2^1226772-1 is not prime. Res64: 5A331DD650FF394F Time : 0.0 sec. user=mdettweiler [2012-08-19 22:23:25] 929*2^1226772-1 is not prime. Res64: 00145E5E7F7E74AF Time : 0.0 sec. user=vaughan [2012-08-19 22:23:44] 717*2^1226772-1 is not prime. Res64: 497C895431FEE0D3 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:24:57] 769*2^1226773-1 is not prime. Res64: CFED3FC063FB2C95 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:24:57] 819*2^1226773-1 is not prime. Res64: 33E863C2B02C1A4C Time : 0.0 sec. user=mdettweiler [2012-08-19 22:39:13] 915*2^1226773-1 is not prime. Res64: 462A6FD145B0AFE9 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:39:14] 957*2^1226773-1 is not prime. Res64: 64AE9A72371531C8 Time : 0.0 sec. user=mdettweiler [2012-08-19 22:45:46] 671*2^1226774-1 is not prime. Res64: 70BC4BC1DC2E0E8E Time : 0.0 sec. user=mdettweiler [2012-08-19 22:45:46] 755*2^1226774-1 is not prime. Res64: 3417593419AD3C4E Time : 0.0 sec. user=mdettweiler [2012-08-19 22:52:57] 605*2^1226774-1 is not prime. Res64: 034590964FD402FC Time : 0.0 sec. user=mdettweiler [2012-08-19 22:57:08] 617*2^1226774-1 is not prime. Res64: 23D0E194DCFD760A Time : 0.0 sec. user=mdettweiler [2012-08-19 23:00:02] 813*2^1226774-1 is not prime. Res64: 3E713F6CE35F207B Time : 0.0 sec. user=mdettweiler [2012-08-19 23:00:02] 827*2^1226774-1 is not prime. Res64: F9E6A35D898FE773 Time : 0.0 sec. user=vaughan [2012-08-19 23:01:25] 665*2^1226774-1 is not prime. Res64: 607F210B67931410 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:06:34] 921*2^1226774-1 is not prime. Res64: AB6BF88BC246747B Time : 0.0 sec. user=mdettweiler [2012-08-19 23:06:35] 965*2^1226774-1 is not prime. Res64: B0E30EFB3DC4CE95 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:20:52] 781*2^1226775-1 is not prime. Res64: CF33A7F59FC71D55 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:20:52] 861*2^1226775-1 is not prime. Res64: FFEE6E281AD5CAD6 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:24:33] 633*2^1226775-1 is not prime. Res64: 6AAF45D51850A527 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:27:37] 693*2^1226776-1 is not prime. Res64: 78B0154176204788 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:27:37] 759*2^1226776-1 is not prime. Res64: 264A157037EAABB0 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:28:51] 649*2^1226775-1 is not prime. Res64: 856F43012BF56E2D Time : 0.0 sec. user=vaughan [2012-08-19 23:39:09] 955*2^1226775-1 is not prime. Res64: 6965475F7093918E Time : 0.0 sec. user=mdettweiler [2012-08-19 23:41:47] 855*2^1226776-1 is not prime. Res64: A14EDA74D92BB7AD Time : 0.0 sec. user=mdettweiler [2012-08-19 23:41:47] 917*2^1226776-1 is not prime. Res64: F02137CFCA746507 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:48:28] 989*2^1226776-1 is not prime. Res64: 618A0A0EBEE536EB Time : 0.0 sec. user=mdettweiler [2012-08-19 23:48:28] 715*2^1226777-1 is not prime. Res64: AC9A0547AB502614 Time : 0.0 sec. user=mdettweiler [2012-08-19 23:57:58] 923*2^1226776-1 is not prime. Res64: 6D5D328B6CA9CDFD Time : 0.0 sec. user=mdettweiler [2012-08-20 00:00:30] 831*2^1226777-1 is not prime. Res64: E061FD9EDCD7F19A Time : 0.0 sec.