user=mdettweiler [2013-02-11 00:13:01] 759*2^1240951-1 is not prime. Res64: 37871075934F34BA Time : 0.0 sec. user=mdettweiler [2013-02-11 00:13:01] 771*2^1240951-1 is not prime. Res64: 4829E49389854F37 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:13:04] 789*2^1240951-1 is not prime. Res64: 56838BDABC1C5ED2 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:13:07] 841*2^1240951-1 is not prime. Res64: D088C3CA22B692CD Time : 0.0 sec. user=vaughan [2013-02-11 00:27:38] 705*2^1240951-1 is not prime. Res64: 22E7A1AF3655A353 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:30:29] 939*2^1240951-1 is not prime. Res64: 1060F1CD4E990723 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:30:30] 979*2^1240951-1 is not prime. Res64: 636DC18041A33F81 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:30:35] 993*2^1240951-1 is not prime. Res64: F59B0C6F4A6E3FD8 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:30:35] 689*2^1240952-1 is not prime. Res64: 05935FF3DD4F17C5 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:48:03] 725*2^1240952-1 is not prime. Res64: B2BCE779FF4C9800 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:48:03] 743*2^1240952-1 is not prime. Res64: 1CC7CE0679B151E8 Time : 0.0 sec. user=mdettweiler [2013-02-11 00:48:07] 797*2^1240952-1 is not prime. Res64: 4DA984D2CB7F41FD Time : 0.0 sec. user=mdettweiler [2013-02-11 00:48:08] 837*2^1240952-1 is not prime. Res64: BDBAE43087F27802 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:05:24] 875*2^1240952-1 is not prime. Res64: 4F342CB4F19941E3 Time : 0.0 sec. user=vaughan [2013-02-11 01:05:25] 713*2^1240952-1 is not prime. Res64: EF288F2D97A2AF42 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:05:26] 879*2^1240952-1 is not prime. Res64: 5C7FC136DD7D9B49 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:05:28] 915*2^1240952-1 is not prime. Res64: 13473D9E4A6F447D Time : 0.0 sec. user=mdettweiler [2013-02-11 01:05:30] 999*2^1240952-1 is not prime. Res64: EDCD651F694A2FE7 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:23:01] 789*2^1240953-1 is not prime. Res64: 04A399A26DACD72D Time : 0.0 sec. user=mdettweiler [2013-02-11 01:23:02] 805*2^1240953-1 is not prime. Res64: 42CFF7616C3FD803 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:23:04] 949*2^1240953-1 is not prime. Res64: 8A17CD9DF277340D Time : 0.0 sec. user=mdettweiler [2013-02-11 01:23:04] 951*2^1240953-1 is not prime. Res64: 4F9D19AF50C0F189 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:40:26] 677*2^1240954-1 is not prime. Res64: 1A2D6DD00B524F8F Time : 0.0 sec. user=mdettweiler [2013-02-11 01:40:27] 791*2^1240954-1 is not prime. Res64: C3481912B2E7DC04 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:40:27] 687*2^1240954-1 is not prime. Res64: CA88B2DC34845CC5 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:40:27] 803*2^1240954-1 is not prime. Res64: B04076AF4F3340E6 Time : 0.0 sec. user=vaughan [2013-02-11 01:43:25] 937*2^1240953-1 is not prime. Res64: 88493EB868C2087F Time : 0.0 sec. user=mdettweiler [2013-02-11 01:57:47] 951*2^1240954-1 is not prime. Res64: 2AB69AC3230068D5 Time : 0.0 sec. user=mdettweiler [2013-02-11 01:57:48] 827*2^1240954-1 is not prime. Res64: BF3F4DEBC695F31F Time : 0.0 sec. user=mdettweiler [2013-02-11 01:57:48] 981*2^1240954-1 is not prime. Res64: E56AD19555BCA0BE Time : 0.0 sec. user=mdettweiler [2013-02-11 01:57:48] 831*2^1240954-1 is not prime. Res64: 252DED8F510052A8 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:15:08] 741*2^1240955-1 is not prime. Res64: C326E1770587D0D1 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:15:08] 861*2^1240955-1 is not prime. Res64: 97C346CCACFFC9A8 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:15:10] 871*2^1240955-1 is not prime. Res64: 5AA62FE936F60A97 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:15:10] 939*2^1240955-1 is not prime. Res64: 660D9FE6A4A01287 Time : 0.0 sec. user=vaughan [2013-02-11 02:26:03] 983*2^1240954-1 is not prime. Res64: 146A012D9D9EE77A Time : 0.0 sec. user=mdettweiler [2013-02-11 02:32:30] 635*2^1240956-1 is not prime. Res64: 0FD54A985691CA98 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:32:31] 725*2^1240956-1 is not prime. Res64: 3BCB1E8A8C433550 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:32:32] 689*2^1240956-1 is not prime. Res64: 7B0EF07F88656010 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:32:33] 845*2^1240956-1 is not prime. Res64: DE40C17211749ABB Time : 0.0 sec. user=mdettweiler [2013-02-11 02:49:57] 909*2^1240956-1 is not prime. Res64: AD09CD30CB57783D Time : 0.0 sec. user=mdettweiler [2013-02-11 02:49:59] 947*2^1240956-1 is not prime. Res64: 016D477DB4E217A1 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:50:01] 983*2^1240956-1 is not prime. Res64: F57967E5F84F7559 Time : 0.0 sec. user=mdettweiler [2013-02-11 02:50:05] 607*2^1240957-1 is not prime. Res64: C15504C8FD319735 Time : 0.0 sec. user=vaughan [2013-02-11 03:03:49] 867*2^1240956-1 is not prime. Res64: F81A154424C467FF Time : 0.0 sec. user=mdettweiler [2013-02-11 03:07:34] 747*2^1240957-1 is not prime. Res64: EF9BB3EB95EA1B93 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:07:34] 757*2^1240957-1 is not prime. Res64: BB3A0D758CADDD53 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:07:39] 847*2^1240957-1 is not prime. Res64: 08DDEF9BB02C39ED Time : 0.0 sec. user=mdettweiler [2013-02-11 03:07:40] 889*2^1240957-1 is not prime. Res64: D952BA5711BCF5D4 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:24:56] 939*2^1240957-1 is not prime. Res64: 8EEE0CB7319F10C9 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:24:56] 617*2^1240958-1 is not prime. Res64: F06FF5A2BFF09051 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:25:01] 623*2^1240958-1 is not prime. Res64: D6FD3EABF48468F1 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:25:01] 665*2^1240958-1 is not prime. Res64: 09255DF47350A28D Time : 0.0 sec. user=vaughan [2013-02-11 03:41:38] 895*2^1240957-1 is not prime. Res64: 9DCCF5EBB1B78021 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:42:17] 755*2^1240958-1 is not prime. Res64: BCEF25DEBEF6DB3D Time : 0.0 sec. user=mdettweiler [2013-02-11 03:42:17] 801*2^1240958-1 is not prime. Res64: 60A05FA0DC5807BC Time : 0.0 sec. user=mdettweiler [2013-02-11 03:42:21] 857*2^1240958-1 is not prime. Res64: 12D79340197AAB3E Time : 0.0 sec. user=mdettweiler [2013-02-11 03:42:21] 921*2^1240958-1 is not prime. Res64: 8131115E97EB9F0A Time : 0.0 sec. user=mdettweiler [2013-02-11 03:59:37] 615*2^1240959-1 is not prime. Res64: 1980FD2C98E7EFAF Time : 0.0 sec. user=mdettweiler [2013-02-11 03:59:40] 625*2^1240959-1 is not prime. Res64: 76EE75A44BD5C121 Time : 0.0 sec. user=mdettweiler [2013-02-11 03:59:40] 633*2^1240959-1 is not prime. Res64: 0F6256892D782C0C Time : 0.0 sec. user=mdettweiler [2013-02-11 03:59:41] 649*2^1240959-1 is not prime. Res64: 528795886DA5E594 Time : 0.0 sec. user=mdettweiler [2013-02-11 04:17:02] 763*2^1240959-1 is not prime. Res64: A8A083088C6209CF Time : 0.0 sec. user=mdettweiler [2013-02-11 04:17:03] 859*2^1240959-1 is not prime. Res64: 27431C513D4D34EF Time : 0.0 sec. user=mdettweiler [2013-02-11 04:17:05] 895*2^1240959-1 is not prime. Res64: 016B50B9FC66F337 Time : 0.0 sec. user=mdettweiler [2013-02-11 04:17:06] 609*2^1240960-1 is not prime. Res64: 8F90BBC6BDE9AA05 Time : 0.0 sec. user=vaughan [2013-02-11 04:19:33] 971*2^1240958-1 is not prime. Res64: F0CDA973F17EEFB9 Time : 0.0 sec. user=mdettweiler [2013-02-11 04:34:26] 635*2^1240960-1 is not prime. Res64: E198984840F290BD Time : 0.0 sec. user=mdettweiler [2013-02-11 04:34:27] 849*2^1240960-1 is not prime. Res64: A061E2E1BA770477 Time : 0.0 sec. user=mdettweiler [2013-02-11 04:34:27] 827*2^1240960-1 is not prime. Res64: BD83D98EFC1B697A Time : 0.0 sec. user=mdettweiler [2013-02-11 04:34:28] 873*2^1240960-1 is not prime. Res64: D8101FB747B6FD5B Time : 0.0 sec. user=mdettweiler [2013-02-11 04:51:48] 789*2^1240961-1 is not prime. Res64: 1A96E47662C3AE1D Time : 0.0 sec. user=mdettweiler [2013-02-11 04:51:48] 937*2^1240961-1 is not prime. Res64: 7F79F93340CDCF5A Time : 0.0 sec. user=mdettweiler [2013-02-11 04:51:50] 945*2^1240961-1 is not prime. Res64: 9D77D542C3F33E6B Time : 0.0 sec. user=mdettweiler [2013-02-11 04:51:50] 731*2^1240962-1 is not prime. Res64: A0CF1B4E29147CF0 Time : 0.0 sec. user=vaughan [2013-02-11 05:02:15] 989*2^1240960-1 is not prime. Res64: F181A047E6CB7AD6 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:09:09] 815*2^1240962-1 is not prime. Res64: DDBC8DB37F410C91 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:09:11] 833*2^1240962-1 is not prime. Res64: 583E324AB710EE21 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:09:12] 873*2^1240962-1 is not prime. Res64: BF4A75BDE3C29C92 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:09:15] 633*2^1240963-1 is not prime. Res64: 33CF4BBE7E3EA014 Time : 0.0 sec. user=juhehe [2013-02-11 05:15:59] 615*2^1240961-1 is not prime. Res64: 12F62B2B7971855C Time : 0.0 sec. user=mdettweiler [2013-02-11 05:26:44] 873*2^1240963-1 is not prime. Res64: 653BD917E72B51CF Time : 0.0 sec. user=mdettweiler [2013-02-11 05:26:45] 925*2^1240963-1 is not prime. Res64: EB8A9604EA9B9FC8 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:26:45] 985*2^1240963-1 is not prime. Res64: 8BD56A9BB79E494C Time : 0.0 sec. user=mdettweiler [2013-02-11 05:26:46] 699*2^1240964-1 is not prime. Res64: 3B5A4892E5F778A4 Time : 0.0 sec. user=vaughan [2013-02-11 05:40:08] 741*2^1240963-1 is not prime. Res64: B737AFD91A66E2B4 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:44:06] 819*2^1240964-1 is not prime. Res64: B49315DF6649B551 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:44:07] 603*2^1240966-1 is not prime. Res64: D595C1B409AAEE1D Time : 0.0 sec. user=mdettweiler [2013-02-11 05:44:08] 837*2^1240964-1 is not prime. Res64: 251CCE8C3E5D2A74 Time : 0.0 sec. user=mdettweiler [2013-02-11 05:44:09] 843*2^1240964-1 is not prime. Res64: 7AEC0428E84AB3F2 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:01:29] 717*2^1240966-1 is not prime. Res64: 01BFE8EED7199E55 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:01:30] 843*2^1240966-1 is not prime. Res64: DB03F4D57E8B27E2 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:01:31] 755*2^1240966-1 is not prime. Res64: B8B08258A78F4BAB Time : 0.0 sec. user=mdettweiler [2013-02-11 06:01:32] 941*2^1240966-1 is not prime. Res64: 466418BDEC00B29F Time : 0.0 sec. user=vaughan [2013-02-11 06:17:53] 647*2^1240966-1 is not prime. Res64: CD91D12FEF43427C Time : 0.0 sec. user=mdettweiler [2013-02-11 06:19:11] 609*2^1240967-1 is not prime. Res64: AE840E071FFD229C Time : 0.0 sec. user=mdettweiler [2013-02-11 06:19:12] 615*2^1240967-1 is not prime. Res64: 09D1A8173E1CCB4C Time : 0.0 sec. user=mdettweiler [2013-02-11 06:19:13] 669*2^1240967-1 is not prime. Res64: 62B24346E36C83CE Time : 0.0 sec. user=mdettweiler [2013-02-11 06:19:14] 823*2^1240967-1 is not prime. Res64: BB450F3B0B806380 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:36:32] 609*2^1240969-1 is not prime. Res64: 5D515FEF4AD9A021 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:36:32] 615*2^1240969-1 is not prime. Res64: AE5BF61F7F7FDA6C Time : 0.0 sec. user=mdettweiler [2013-02-11 06:36:33] 639*2^1240969-1 is not prime. Res64: 6315A8CE08593815 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:36:34] 769*2^1240969-1 is not prime. Res64: 980F319F899B6C50 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:53:52] 847*2^1240969-1 is not prime. Res64: 81FA18F70FE2857C Time : 0.0 sec. user=mdettweiler [2013-02-11 06:53:53] 939*2^1240969-1 is not prime. Res64: B863A319C8EADD23 Time : 0.0 sec. user=mdettweiler [2013-02-11 06:53:54] 951*2^1240969-1 is not prime. Res64: BEDD0B8D7C04B23F Time : 0.0 sec. user=mdettweiler [2013-02-11 06:53:55] 635*2^1240970-1 is not prime. Res64: ADE3A8785DC75900 Time : 0.0 sec. user=vaughan [2013-02-11 07:00:34] 991*2^1240967-1 is not prime. Res64: 9DADE7635DC4CB78 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:11:15] 657*2^1240970-1 is not prime. Res64: 8B1648794F2B1F3B Time : 0.0 sec. user=mdettweiler [2013-02-11 07:11:16] 773*2^1240970-1 is not prime. Res64: 3F18B8DD6124CBF1 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:11:16] 783*2^1240970-1 is not prime. Res64: 6D28FE236C9638E0 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:11:17] 797*2^1240970-1 is not prime. Res64: 4756CC1A4D399536 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:28:39] 953*2^1240970-1 is not prime. Res64: DFD5F65BAE825955 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:28:40] 977*2^1240970-1 is not prime. Res64: ADA0C69B71B1E060 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:28:41] 981*2^1240970-1 is not prime. Res64: 8B88FE17D10B36F0 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:28:41] 995*2^1240970-1 is not prime. Res64: 18E03EC0440BBBF9 Time : 0.0 sec. user=vaughan [2013-02-11 07:38:22] 917*2^1240970-1 is not prime. Res64: 27D2CB20EE839E8D Time : 0.0 sec. user=mdettweiler [2013-02-11 07:46:00] 823*2^1240971-1 is not prime. Res64: E8F5A8CE5EDAB809 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:46:02] 873*2^1240971-1 is not prime. Res64: 812624F7CAA5CFF5 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:46:03] 951*2^1240971-1 is not prime. Res64: 58395EC9523FB9F9 Time : 0.0 sec. user=mdettweiler [2013-02-11 07:46:04] 955*2^1240971-1 is not prime. Res64: 30E9FDA889308FEA Time : 0.0 sec. user=mdettweiler [2013-02-11 08:03:27] 705*2^1240972-1 is not prime. Res64: 24DF784E2E5A5B67 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:03:29] 825*2^1240972-1 is not prime. Res64: 245F6765A2CB2B6A Time : 0.0 sec. user=mdettweiler [2013-02-11 08:03:32] 719*2^1240972-1 is not prime. Res64: 7A894478DD8D23F2 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:03:35] 857*2^1240972-1 is not prime. Res64: A79324544E1B05E1 Time : 0.0 sec. user=vaughan [2013-02-11 08:16:06] 693*2^1240972-1 is not prime. Res64: E2DC0F2E339B199E Time : 0.0 sec. user=mdettweiler [2013-02-11 08:21:22] 939*2^1240972-1 is not prime. Res64: 120CE68CDDC02A14 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:21:23] 975*2^1240972-1 is not prime. Res64: D8AA8388AA6C43A4 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:21:28] 757*2^1240973-1 is not prime. Res64: 32518C83974F4F1A Time : 0.0 sec. user=mdettweiler [2013-02-11 08:21:28] 811*2^1240973-1 is not prime. Res64: 935CB44005DEBFCA Time : 0.0 sec. user=mdettweiler [2013-02-11 08:38:43] 915*2^1240973-1 is not prime. Res64: 7DAE0B61B77A6D39 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:38:44] 957*2^1240973-1 is not prime. Res64: 0FC176F3745F4FC6 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:38:49] 981*2^1240973-1 is not prime. Res64: A0F8D6F7E4BF5ABB Time : 0.0 sec. user=mdettweiler [2013-02-11 08:38:49] 985*2^1240973-1 is not prime. Res64: 01E68EDA167F4AA5 Time : 0.0 sec. user=vaughan [2013-02-11 08:53:52] 901*2^1240973-1 is not prime. Res64: A969E9F05F097C6E Time : 0.0 sec. user=mdettweiler [2013-02-11 08:56:04] 621*2^1240974-1 is not prime. Res64: E0B2295FFFAB7EE9 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:56:04] 641*2^1240974-1 is not prime. Res64: 80B3772A40FE1D32 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:56:13] 651*2^1240974-1 is not prime. Res64: 3A52104114837378 Time : 0.0 sec. user=mdettweiler [2013-02-11 08:56:13] 663*2^1240974-1 is not prime. Res64: C08BB5A3582956E2 Time : 0.0 sec. user=juhehe [2013-02-11 09:00:01] 983*2^1240922-1 is not prime. Res64: CBA11612DF9E09D0 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:23:57] 815*2^1240974-1 is not prime. Res64: 88266408F0C19F03 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:23:58] 825*2^1240974-1 is not prime. Res64: 399BA2D40D7F2AD1 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:24:01] 707*2^1240974-1 is not prime. Res64: 8A2B7D9B912BEAEF Time : 0.0 sec. user=mdettweiler [2013-02-11 09:24:02] 725*2^1240974-1 is not prime. Res64: 7D3935D2E4940CF4 Time : 0.0 sec. user=juhehe [2013-02-11 09:28:32] 915*2^1240974-1 is not prime. Res64: 730485ECB0C8EBBC Time : 0.0 sec. user=vaughan [2013-02-11 09:31:40] 693*2^1240974-1 is not prime. Res64: 21FED778719676BD Time : 0.0 sec. user=mdettweiler [2013-02-11 09:41:20] 957*2^1240974-1 is not prime. Res64: B58D3BDA16223F70 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:41:20] 971*2^1240974-1 is not prime. Res64: E8A0C4354475069A Time : 0.0 sec. user=mdettweiler [2013-02-11 09:41:24] 601*2^1240975-1 is not prime. Res64: 4A1551D49609B214 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:41:25] 619*2^1240975-1 is not prime. Res64: 43D6F9DB8F3CB787 Time : 0.0 sec. user=juhehe [2013-02-11 09:57:57] 633*2^1240975-1 is not prime. Res64: 4D7561942C54CC5D Time : 0.0 sec. user=mdettweiler [2013-02-11 09:58:40] 763*2^1240975-1 is not prime. Res64: DEF107236C52D1FC Time : 0.0 sec. user=mdettweiler [2013-02-11 09:58:41] 775*2^1240975-1 is not prime. Res64: 2B5BC55C54E8E2A3 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:58:46] 633*2^1240976-1 is not prime. Res64: 5C38177CA77B3750 Time : 0.0 sec. user=mdettweiler [2013-02-11 09:58:46] 659*2^1240976-1 is not prime. Res64: D295FB49D6DC2857 Time : 0.0 sec. user=vaughan [2013-02-11 10:09:21] 651*2^1240975-1 is not prime. Res64: 3B9F097AAAF51770 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:16:01] 719*2^1240976-1 is not prime. Res64: 5E5EA0ECCFF30751 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:16:02] 755*2^1240976-1 is not prime. Res64: 984A7A501F8C3276 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:16:10] 773*2^1240976-1 is not prime. Res64: 8D8CAF34F2BCA91E Time : 0.0 sec. user=mdettweiler [2013-02-11 10:16:11] 825*2^1240976-1 is not prime. Res64: 03CF3AA6FB992957 Time : 0.0 sec. user=juhehe [2013-02-11 10:25:40] 669*2^1240976-1 is not prime. Res64: 45E0D86E003F5FF0 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:33:22] 609*2^1240977-1 is not prime. Res64: B1D14497F59B4203 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:33:23] 649*2^1240977-1 is not prime. Res64: 3622CFA119D06CC5 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:33:31] 681*2^1240977-1 is not prime. Res64: E773A12CAFAB890C Time : 0.0 sec. user=mdettweiler [2013-02-11 10:33:32] 691*2^1240977-1 is not prime. Res64: F0EC9450DF0B4E49 Time : 0.0 sec. user=juhehe [2013-02-11 10:35:52] 869*2^1240976-1 is not prime. Res64: 7FE1330E54D979B3 Time : 0.0 sec. user=juhehe [2013-02-11 10:46:16] 747*2^1240977-1 is not prime. Res64: 3EC435312C76471E Time : 0.0 sec. user=vaughan [2013-02-11 10:47:09] 909*2^1240976-1 is not prime. Res64: DFC6E6D394BFB50A Time : 0.0 sec. user=mdettweiler [2013-02-11 10:50:46] 835*2^1240977-1 is not prime. Res64: 23E052323944CF06 Time : 0.0 sec. user=mdettweiler [2013-02-11 10:50:47] 885*2^1240977-1 is not prime. Res64: 9A71E9938E9FDD6D Time : 0.0 sec. user=mdettweiler [2013-02-11 10:50:53] 611*2^1240978-1 is not prime. Res64: B4A3A6D7AC4B778C Time : 0.0 sec. user=mdettweiler [2013-02-11 10:50:54] 617*2^1240978-1 is not prime. Res64: 020B36CEE8AAFE9E Time : 0.0 sec. user=juhehe [2013-02-11 11:06:34] 681*2^1240978-1 is not prime. Res64: 71372FB75126158F Time : 0.0 sec. user=mdettweiler [2013-02-11 11:08:07] 603*2^1240979-1 is not prime. Res64: 299CB02578A21997 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:08:08] 619*2^1240979-1 is not prime. Res64: 7DD37E4C073CC7D6 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:08:16] 669*2^1240979-1 is not prime. Res64: B5061321E6B78980 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:08:17] 703*2^1240979-1 is not prime. Res64: 68EBFF03D2710194 Time : 0.0 sec. user=juhehe [2013-02-11 11:08:53] 623*2^1240978-1 is not prime. Res64: AC838D15334170C2 Time : 0.0 sec. user=vaughan [2013-02-11 11:24:53] 855*2^1240978-1 is not prime. Res64: 2B578F92AF728B17 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:25:30] 775*2^1240979-1 is not prime. Res64: 8E3E70E9989B7AB9 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:25:30] 853*2^1240979-1 is not prime. Res64: E1E5933926F78F49 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:25:38] 647*2^1240980-1 is not prime. Res64: 79C04C898553188C Time : 0.0 sec. user=mdettweiler [2013-02-11 11:25:39] 653*2^1240980-1 is not prime. Res64: 27E237C9045849F5 Time : 0.0 sec. user=juhehe [2013-02-11 11:26:58] 711*2^1240979-1 is not prime. Res64: B125CA3BB82FDF8B Time : 0.0 sec. user=juhehe [2013-02-11 11:41:57] 767*2^1240980-1 is not prime. Res64: 332B9E50580AF24C Time : 0.0 sec. user=mdettweiler [2013-02-11 11:42:52] 959*2^1240980-1 is not prime. Res64: 66C11FB7A67C1260 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:42:52] 649*2^1240981-1 is not prime. Res64: C1F8B83D7AE99F92 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:43:02] 727*2^1240981-1 is not prime. Res64: 6CDA207692D553F1 Time : 0.0 sec. user=mdettweiler [2013-02-11 11:43:02] 745*2^1240981-1 is not prime. Res64: 4FA2A58EF1F9A1C5 Time : 0.0 sec. user=juhehe [2013-02-11 11:47:16] 867*2^1240981-1 is not prime. Res64: 230AA479AE7B1AB6 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:00:14] 955*2^1240981-1 is not prime. Res64: 7926C8F264A5F5F1 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:00:15] 693*2^1240982-1 is not prime. Res64: 9482BD7B8021FEF9 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:00:24] 743*2^1240982-1 is not prime. Res64: A49666A761C88346 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:00:25] 755*2^1240982-1 is not prime. Res64: 55277857BF1809D7 Time : 0.0 sec. user=vaughan [2013-02-11 12:02:47] 873*2^1240980-1 is not prime. Res64: A25DF5F0FE4456F4 Time : 0.0 sec. user=juhehe [2013-02-11 12:07:30] 797*2^1240982-1 is not prime. Res64: 3C286CCD6997AB59 Time : 0.0 sec. user=juhehe [2013-02-11 12:14:54] 951*2^1240981-1 is not prime. Res64: 15E883A3C859C55F Time : 0.0 sec. user=mdettweiler [2013-02-11 12:17:38] 825*2^1240982-1 is not prime. Res64: 96D4F64F1C12B24E Time : 0.0 sec. user=mdettweiler [2013-02-11 12:17:38] 911*2^1240982-1 is not prime. Res64: 421555C52C6CD5DB Time : 0.0 sec. user=mdettweiler [2013-02-11 12:17:49] 983*2^1240982-1 is not prime. Res64: EA292D6C81D7872E Time : 0.0 sec. user=mdettweiler [2013-02-11 12:17:50] 663*2^1240983-1 is not prime. Res64: C010606EEB986565 Time : 0.0 sec. user=juhehe [2013-02-11 12:27:48] 805*2^1240983-1 is not prime. Res64: 223F8E77A429CAB4 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:35:08] 819*2^1240983-1 is not prime. Res64: 5ED118A6A1E532D9 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:35:09] 969*2^1240983-1 is not prime. Res64: 42E14970243964CA Time : 0.0 sec. user=mdettweiler [2013-02-11 12:35:19] 755*2^1240984-1 is not prime. Res64: E5C7DBF5639E3FF0 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:35:19] 989*2^1240984-1 is not prime. Res64: 93DA02E0172081CB Time : 0.0 sec. user=vaughan [2013-02-11 12:40:36] 693*2^1240983-1 is not prime. Res64: 189A01D5707D3CD2 Time : 0.0 sec. user=juhehe [2013-02-11 12:51:07] 993*2^1240984-1 is not prime. Res64: 62E2C2AB4B98AC05 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:52:38] 995*2^1240984-1 is not prime. Res64: FDDFB94DF782DFAB Time : 0.0 sec. user=mdettweiler [2013-02-11 12:52:39] 819*2^1240985-1 is not prime. Res64: 345A9A2744F80797 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:52:49] 909*2^1240985-1 is not prime. Res64: BE3313077AF8BFD0 Time : 0.0 sec. user=mdettweiler [2013-02-11 12:52:49] 717*2^1240986-1 is not prime. Res64: DD51DEB6123B07BA Time : 0.0 sec. user=mdettweiler [2013-02-11 13:10:02] 813*2^1240987-1 is not prime. Res64: 5D3BE03237582BC5 Time : 0.0 sec. user=mdettweiler [2013-02-11 13:10:03] 871*2^1240987-1 is not prime. Res64: A7F643FD03E8755E Time : 0.0 sec. user=mdettweiler [2013-02-11 13:10:13] 837*2^1240988-1 is not prime. Res64: 79EB71B3FA038A1C Time : 0.0 sec. user=mdettweiler [2013-02-11 13:10:14] 923*2^1240988-1 is not prime. Res64: 0B23530A483BCDF4 Time : 0.0 sec. user=juhehe [2013-02-11 13:11:20] 639*2^1240987-1 is not prime. Res64: A45DD4434E150871 Time : 0.0 sec. user=vaughan [2013-02-11 13:18:19] 747*2^1240986-1 is not prime. Res64: CF866FB7E4ACB80A Time : 0.0 sec. user=juhehe [2013-02-11 13:18:47] 905*2^1240986-1 is not prime. Res64: D8AC739E216D007B Time : 0.0 sec. user=mdettweiler [2013-02-11 13:27:30] 953*2^1240988-1 is not prime. Res64: 209EEC5478C18905 Time : 0.0 sec. user=mdettweiler [2013-02-11 13:27:30] 621*2^1240989-1 is not prime. Res64: F290AE9D5080F58C Time : 0.0 sec. user=mdettweiler [2013-02-11 13:27:41] 625*2^1240989-1 is not prime. Res64: 2EFE32EF2FA9AAEB Time : 0.0 sec. user=mdettweiler [2013-02-11 13:27:41] 649*2^1240989-1 is not prime. Res64: 94C4E4CA3642E5E6 Time : 0.0 sec. user=mdettweiler [2013-02-11 13:44:55] 691*2^1240989-1 is not prime. Res64: 8A79EFBF21EC7D6C Time : 0.0 sec. user=mdettweiler [2013-02-11 13:44:55] 817*2^1240989-1 is not prime. Res64: B705BCAEA58E48C1 Time : 0.0 sec. user=mdettweiler [2013-02-11 13:45:06] 861*2^1240989-1 is not prime. Res64: DC27C215179A4617 Time : 0.0 sec. user=mdettweiler [2013-02-11 13:45:07] 695*2^1240990-1 is not prime. Res64: 6175F80D80AC04EA Time : 0.0 sec. user=vaughan [2013-02-11 13:56:07] 669*2^1240989-1 is not prime. Res64: F0D7E0E83B54D72B Time : 0.0 sec. user=mdettweiler [2013-02-11 14:02:23] 743*2^1240990-1 is not prime. Res64: 3C8B58A8777BD4B8 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:02:25] 791*2^1240990-1 is not prime. Res64: 8F9551EFC631EDF1 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:02:33] 867*2^1240990-1 is not prime. Res64: 7F3EED4C53975976 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:02:36] 911*2^1240990-1 is not prime. Res64: F6A9F9ACC41CA9D6 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:20:11] 987*2^1240990-1 is not prime. Res64: 8EC11D7598A3DF54 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:20:12] 609*2^1240991-1 is not prime. Res64: 20293320DEA2FF3C Time : 0.0 sec. user=mdettweiler [2013-02-11 14:20:17] 621*2^1240991-1 is not prime. Res64: BC2CA258C6D7E263 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:20:18] 663*2^1240991-1 is not prime. Res64: 412A9EF2C0559D45 Time : 0.0 sec. user=vaughan [2013-02-11 14:33:48] 933*2^1240990-1 is not prime. Res64: 5E2DC7E142F72715 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:37:40] 669*2^1240991-1 is not prime. Res64: 2936220A8D4E6B23 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:37:40] 775*2^1240991-1 is not prime. Res64: 04086D06D29C7D52 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:37:43] 855*2^1240991-1 is not prime. Res64: C7995611650AE96D Time : 0.0 sec. user=mdettweiler [2013-02-11 14:37:44] 931*2^1240991-1 is not prime. Res64: 4BBFD624756A44DE Time : 0.0 sec. user=juhehe [2013-02-11 14:53:48] 955*2^1240991-1 is not prime. Res64: 0A1A152C570C47BA Time : 0.0 sec. user=mdettweiler [2013-02-11 14:55:06] 679*2^1240993-1 is not prime. Res64: 54475AF967C1B476 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:55:07] 705*2^1240993-1 is not prime. Res64: EA8D5C4EDD15F1AF Time : 0.0 sec. user=mdettweiler [2013-02-11 14:55:09] 741*2^1240993-1 is not prime. Res64: A416D687D1D186F9 Time : 0.0 sec. user=mdettweiler [2013-02-11 14:55:10] 849*2^1240993-1 is not prime. Res64: E4499FE696374013 Time : 0.0 sec. user=vaughan [2013-02-11 15:11:33] 969*2^1240991-1 is not prime. Res64: A9D76C5F7812CAFE Time : 0.0 sec. user=mdettweiler [2013-02-11 15:12:33] 919*2^1240993-1 is not prime. Res64: E7BEC522B0785802 Time : 0.0 sec. user=mdettweiler [2013-02-11 15:12:34] 605*2^1240994-1 is not prime. Res64: 16A7A2209245D2EB Time : 0.0 sec. user=mdettweiler [2013-02-11 15:12:36] 705*2^1240994-1 is not prime. Res64: D7D42F542D178E6C Time : 0.0 sec. user=mdettweiler [2013-02-11 15:12:37] 827*2^1240994-1 is not prime. Res64: 6DD5BA71289C4D31 Time : 0.0 sec. user=mdettweiler [2013-02-11 15:30:02] 885*2^1240994-1 is not prime. Res64: E767404D885FCC8A Time : 0.0 sec. user=mdettweiler [2013-02-11 15:30:03] 971*2^1240994-1 is not prime. Res64: 0BBD0FD6CD369C69 Time : 0.0 sec. user=mdettweiler [2013-02-11 15:30:06] 1001*2^1240994-1 is not prime. Res64: 8EF1AB8CC4F11C1C Time : 0.0 sec. user=mdettweiler [2013-02-11 15:30:07] 765*2^1240995-1 is not prime. Res64: F0216F46718ACEA2 Time : 0.0 sec. user=mdettweiler [2013-02-11 15:48:03] 825*2^1240995-1 is not prime. Res64: 2575DD3CCC7FAB9D Time : 0.0 sec. user=mdettweiler [2013-02-11 15:48:03] 873*2^1240995-1 is not prime. Res64: B924CFB380C165E0 Time : 0.0 sec. user=mdettweiler [2013-02-11 15:48:07] 895*2^1240995-1 is not prime. Res64: 92AC6FB6D71840DB Time : 0.0 sec. user=mdettweiler [2013-02-11 15:48:08] 963*2^1240995-1 is not prime. Res64: F596E90EBA394F10 Time : 0.0 sec. user=vaughan [2013-02-11 15:49:18] 837*2^1240994-1 is not prime. Res64: 5D2CAD6ACC3A2C4F Time : 0.0 sec. user=mdettweiler [2013-02-11 16:05:56] 629*2^1240996-1 is not prime. Res64: 2080517FD0CE9521 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:05:57] 707*2^1240996-1 is not prime. Res64: 3C3A75469E825F97 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:06:00] 735*2^1240996-1 is not prime. Res64: 6E723AD9C15B7253 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:06:01] 779*2^1240996-1 is not prime. Res64: 99F4F370D26C9762 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:23:26] 957*2^1240996-1 is not prime. Res64: 80BAB3FB29EF8970 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:23:27] 965*2^1240996-1 is not prime. Res64: F1C69A0EB3ABF3BE Time : 0.0 sec. user=mdettweiler [2013-02-11 16:23:35] 619*2^1240997-1 is not prime. Res64: 4A523685D41F526B Time : 0.0 sec. user=mdettweiler [2013-02-11 16:23:35] 645*2^1240997-1 is not prime. Res64: AF331EA085B588D6 Time : 0.0 sec. user=vaughan [2013-02-11 16:27:01] 939*2^1240996-1 is not prime. Res64: 3CD04C78A43F1319 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:40:53] 691*2^1240997-1 is not prime. Res64: 07ED4816BB493C2D Time : 0.0 sec. user=mdettweiler [2013-02-11 16:40:53] 879*2^1240997-1 is not prime. Res64: 661EEFB3ECF1F692 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:41:00] 885*2^1240997-1 is not prime. Res64: 432016414DD59325 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:41:00] 931*2^1240997-1 is not prime. Res64: 4862E9C419DFE502 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:58:21] 615*2^1240998-1 is not prime. Res64: 85D208B772E1F872 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:58:21] 647*2^1240998-1 is not prime. Res64: 4C2E160FC6C3C691 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:58:28] 755*2^1240998-1 is not prime. Res64: 9175AD028364F9B8 Time : 0.0 sec. user=mdettweiler [2013-02-11 16:58:29] 761*2^1240998-1 is not prime. Res64: E4AAEAEFB2A74FAE Time : 0.0 sec. user=vaughan [2013-02-11 17:04:49] 937*2^1240997-1 is not prime. Res64: 99D8CE8A9BFD12DD Time : 0.0 sec. user=mdettweiler [2013-02-11 17:15:51] 821*2^1240998-1 is not prime. Res64: 891B4EAE37210010 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:15:52] 863*2^1240998-1 is not prime. Res64: C1AF371BF7BD1392 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:15:58] 927*2^1240998-1 is not prime. Res64: A7223F663FAFD8C2 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:15:59] 951*2^1240998-1 is not prime. Res64: 8A35C246C4326EC5 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:33:20] 663*2^1240999-1 is not prime. Res64: 253A3FA3BA455B2A Time : 0.0 sec. user=mdettweiler [2013-02-11 17:33:21] 729*2^1240999-1 is not prime. Res64: 4B9D0AC5E311C093 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:33:28] 741*2^1240999-1 is not prime. Res64: E8CA66E926776F29 Time : 0.0 sec. user=mdettweiler [2013-02-11 17:33:28] 793*2^1240999-1 is not prime. Res64: B4963B23DCAE4816 Time : 0.0 sec. user=vaughan [2013-02-11 17:42:33] 971*2^1240998-1 is not prime. Res64: 9953BE673ACA4CBA Time : 0.0 sec. user=mdettweiler [2013-02-11 17:50:50] 843*2^1240999-1 is not prime. Res64: 9C12682F7DBBD9AC Time : 0.0 sec. user=mdettweiler [2013-02-11 17:50:50] 969*2^1240999-1 is not prime. Res64: F85A3DEA5961CCBA Time : 0.0 sec. user=mdettweiler [2013-02-11 17:50:57] 633*2^1241000-1 is not prime. Res64: 470AFA74A10009EF Time : 0.0 sec. user=mdettweiler [2013-02-11 17:50:57] 669*2^1241000-1 is not prime. Res64: 7927648DD940A30D Time : 0.0 sec. user=mdettweiler [2013-02-11 18:08:19] 827*2^1241000-1 is not prime. Res64: EAE8340485C3618D Time : 0.0 sec. user=mdettweiler [2013-02-11 18:08:20] 855*2^1241000-1 is not prime. Res64: 6BA954F5C8BCF5E1 Time : 0.0 sec. user=mdettweiler [2013-02-11 18:08:27] 899*2^1241000-1 is not prime. Res64: 321EEEB5F613946B Time : 0.0 sec. user=mdettweiler [2013-02-11 18:08:28] 977*2^1241000-1 is not prime. Res64: 0DF07DFFD34AD055 Time : 0.0 sec. user=vaughan [2013-02-11 18:20:18] 785*2^1241000-1 is not prime. Res64: BA3537B16DAA224D Time : 0.0 sec. user=mdettweiler [2013-02-11 18:25:51] 685*2^1241001-1 is not prime. Res64: 46648113FCE8BE93 Time : 0.0 sec. user=mdettweiler [2013-02-11 18:25:52] 691*2^1241001-1 is not prime. Res64: 3A31BED8C9B5A84B Time : 0.0 sec. user=mdettweiler [2013-02-11 18:25:57] 741*2^1241001-1 is not prime. Res64: 680BE097DA118DF3 Time : 0.0 sec. user=mdettweiler [2013-02-11 18:25:57] 747*2^1241001-1 is not prime. Res64: 0C5E0E82B0A38C10 Time : 0.0 sec. user=mdettweiler [2013-02-11 18:43:17] 895*2^1241001-1 is not prime. Res64: 1C1FCD047CB9827E Time : 0.0 sec. user=mdettweiler [2013-02-11 18:43:18] 951*2^1241001-1 is not prime. Res64: 7CB2F989285AAD5E Time : 0.0 sec. user=mdettweiler [2013-02-11 18:43:22] 635*2^1241002-1 is not prime. Res64: 3BC7A58A02CBD905 Time : 0.0 sec. user=mdettweiler [2013-02-11 18:43:23] 791*2^1241002-1 is not prime. Res64: 91FF55C77302327E Time : 0.0 sec. user=vaughan [2013-02-11 18:58:03] 805*2^1241001-1 is not prime. Res64: 41363625BA115FA6 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:00:47] 911*2^1241002-1 is not prime. Res64: 52DEEC49A491579F Time : 0.0 sec. user=mdettweiler [2013-02-11 19:00:48] 975*2^1241002-1 is not prime. Res64: C9EB402D7AA76AEE Time : 0.0 sec. user=mdettweiler [2013-02-11 19:00:49] 775*2^1241003-1 is not prime. Res64: 14E92E9DE1A290B4 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:00:51] 825*2^1241003-1 is not prime. Res64: 905A88111E025BD5 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:18:20] 901*2^1241003-1 is not prime. Res64: 3A6920C928F11401 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:18:20] 949*2^1241003-1 is not prime. Res64: 79347E45B157E7E0 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:18:21] 635*2^1241004-1 is not prime. Res64: D52E63B25106EBF3 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:18:22] 663*2^1241004-1 is not prime. Res64: 953809A6FB4CB3FA Time : 0.0 sec. user=vaughan [2013-02-11 19:35:48] 879*2^1241003-1 is not prime. Res64: D7672F2D79AD42F1 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:36:27] 665*2^1241004-1 is not prime. Res64: 7B34A5254CB6ACF2 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:36:27] 689*2^1241004-1 is not prime. Res64: 1D43FE98E0995575 Time : 0.0 sec. user=mdettweiler [2013-02-11 19:36:29] 723*2^1241004-1 is not prime. Res64: 09D602AA6D0F3E0A Time : 0.0 sec. user=mdettweiler [2013-02-11 19:36:29] 783*2^1241004-1 is not prime. Res64: 0335EAFFEE32074A Time : 0.0 sec. user=mdettweiler [2013-02-11 19:54:04] 825*2^1241005-1 is not prime. Res64: AD48DA2FA17AE02A Time : 0.0 sec. user=mdettweiler [2013-02-11 19:54:04] 727*2^1241005-1 is not prime. Res64: B736CF7A0822D31A Time : 0.0 sec. user=mdettweiler [2013-02-11 19:54:05] 877*2^1241005-1 is not prime. Res64: 727A4E247E3C8DBF Time : 0.0 sec. user=mdettweiler [2013-02-11 19:54:05] 759*2^1241005-1 is not prime. Res64: 68C440BD68EDE9C2 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:11:37] 895*2^1241005-1 is not prime. Res64: 34D1C076089EC173 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:11:38] 999*2^1241005-1 is not prime. Res64: D86168424FBD4B71 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:11:38] 743*2^1241006-1 is not prime. Res64: 80484B664E238475 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:11:39] 755*2^1241006-1 is not prime. Res64: B500D80C348AC39B Time : 0.0 sec. user=vaughan [2013-02-11 20:13:36] 721*2^1241005-1 is not prime. Res64: A5FE4C690142FE38 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:29:09] 903*2^1241006-1 is not prime. Res64: 6D97C61CE730A3D7 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:29:10] 945*2^1241006-1 is not prime. Res64: 5078294129DCFB0F Time : 0.0 sec. user=mdettweiler [2013-02-11 20:29:15] 963*2^1241006-1 is not prime. Res64: 9F89D94833CDA0D9 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:29:16] 735*2^1241007-1 is not prime. Res64: 3D3B2087B6588964 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:46:39] 951*2^1241007-1 is not prime. Res64: 0F7F4D644173129A Time : 0.0 sec. user=mdettweiler [2013-02-11 20:46:39] 955*2^1241007-1 is not prime. Res64: 7C1150B27A029151 Time : 0.0 sec. user=mdettweiler [2013-02-11 20:46:44] 975*2^1241007-1 is not prime. Res64: DB1BF8AFF996A4DA Time : 0.0 sec. user=mdettweiler [2013-02-11 20:46:45] 603*2^1241008-1 is not prime. Res64: 59E74E4A765CF598 Time : 0.0 sec. user=vaughan [2013-02-11 20:51:18] 829*2^1241007-1 is not prime. Res64: 617489719CC9BC0D Time : 0.0 sec. user=mdettweiler [2013-02-11 21:04:11] 605*2^1241008-1 is not prime. Res64: 92D358F66B7A63CB Time : 0.0 sec. user=mdettweiler [2013-02-11 21:04:13] 677*2^1241008-1 is not prime. Res64: A81E91F6DF039242 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:04:16] 743*2^1241008-1 is not prime. Res64: A2A1454329923DED Time : 0.0 sec. user=mdettweiler [2013-02-11 21:04:19] 875*2^1241008-1 is not prime. Res64: 51CC73D4D6B608FA Time : 0.0 sec. user=mdettweiler [2013-02-11 21:22:00] 999*2^1241008-1 is not prime. Res64: 5014CE586D25AFED Time : 0.0 sec. user=mdettweiler [2013-02-11 21:22:01] 657*2^1241009-1 is not prime. Res64: FAEFCA71150F30EF Time : 0.0 sec. user=mdettweiler [2013-02-11 21:22:02] 675*2^1241009-1 is not prime. Res64: 704EB9F598D8789F Time : 0.0 sec. user=mdettweiler [2013-02-11 21:22:03] 721*2^1241009-1 is not prime. Res64: BF15904D6FF51595 Time : 0.0 sec. user=vaughan [2013-02-11 21:29:07] 975*2^1241008-1 is not prime. Res64: AA0D594F80D33078 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:39:30] 727*2^1241009-1 is not prime. Res64: 115EC0B8DF95450E Time : 0.0 sec. user=mdettweiler [2013-02-11 21:39:30] 759*2^1241009-1 is not prime. Res64: 695BE08582AC2627 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:39:30] 855*2^1241009-1 is not prime. Res64: 148DF9711FC9481D Time : 0.0 sec. user=mdettweiler [2013-02-11 21:39:31] 865*2^1241009-1 is not prime. Res64: 8706BAF4E097B954 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:56:57] 931*2^1241009-1 is not prime. Res64: 93550A3909903EC0 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:56:58] 713*2^1241010-1 is not prime. Res64: E2326835932B95D7 Time : 0.0 sec. user=mdettweiler [2013-02-11 21:56:59] 833*2^1241010-1 is not prime. Res64: 47CD96DF8D643B6F Time : 0.0 sec. user=mdettweiler [2013-02-11 21:57:00] 845*2^1241010-1 is not prime. Res64: 5E34C5FE348A2847 Time : 0.0 sec. user=vaughan [2013-02-11 22:06:51] 889*2^1241009-1 is not prime. Res64: 37774DEFD98ED604 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:14:22] 639*2^1241011-1 is not prime. Res64: 8D6FEF1EE007BCB1 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:14:23] 645*2^1241011-1 is not prime. Res64: F227EC4AC82AAC52 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:14:23] 679*2^1241011-1 is not prime. Res64: 41990F411C20588A Time : 0.0 sec. user=mdettweiler [2013-02-11 22:14:24] 693*2^1241011-1 is not prime. Res64: 80F33B18C1B29A91 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:31:57] 951*2^1241011-1 is not prime. Res64: BB407669B5461118 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:31:57] 603*2^1241012-1 is not prime. Res64: 68E1E2AB3CD81E79 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:31:58] 961*2^1241011-1 is not prime. Res64: F52B3171306858CC Time : 0.0 sec. user=mdettweiler [2013-02-11 22:31:58] 615*2^1241012-1 is not prime. Res64: 724884641346354D Time : 0.0 sec. user=vaughan [2013-02-11 22:44:52] 859*2^1241011-1 is not prime. Res64: 4E97F71D91ED79EA Time : 0.0 sec. user=mdettweiler [2013-02-11 22:49:37] 617*2^1241012-1 is not prime. Res64: 53335C4973D380E9 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:49:38] 665*2^1241012-1 is not prime. Res64: 5B2DD4E9B85E5188 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:49:38] 699*2^1241012-1 is not prime. Res64: C27915D43B943031 Time : 0.0 sec. user=mdettweiler [2013-02-11 22:49:39] 725*2^1241012-1 is not prime. Res64: 9BF4759DD1A8227C Time : 0.0 sec. user=mdettweiler [2013-02-11 23:07:55] 767*2^1241012-1 is not prime. Res64: CEA83B839D29CE07 Time : 0.0 sec. user=mdettweiler [2013-02-11 23:07:56] 855*2^1241012-1 is not prime. Res64: 854AD6D58C97C04C Time : 0.0 sec. user=mdettweiler [2013-02-11 23:07:57] 777*2^1241012-1 is not prime. Res64: DCFD51465A96A5AE Time : 0.0 sec. user=mdettweiler [2013-02-11 23:07:58] 875*2^1241012-1 is not prime. Res64: 51D3442E358B2350 Time : 0.0 sec. user=vaughan [2013-02-11 23:22:37] 743*2^1241012-1 is not prime. Res64: 72FA198970DF28FB Time : 0.0 sec. user=mdettweiler [2013-02-11 23:26:44] 759*2^1241013-1 is not prime. Res64: A1670EE266EE788F Time : 0.0 sec. user=mdettweiler [2013-02-11 23:26:45] 885*2^1241013-1 is not prime. Res64: 207F5D2AF700C0D1 Time : 0.0 sec. user=mdettweiler [2013-02-11 23:48:14] 903*2^1241012-1 is not prime. Res64: C393E5BB3DB0E9BB Time : 0.0 sec. user=mdettweiler [2013-02-11 23:48:14] 957*2^1241012-1 is not prime. Res64: 833976E060AC2CC0 Time : 0.0 sec. user=vaughan [2013-02-12 00:00:20] 889*2^1241013-1 is not prime. Res64: ABF6E38286C96238 Time : 0.0 sec.