user=mdettweiler [2012-10-24 00:19:29] 865*2^1233021-1 is not prime. Res64: FE8CC29FE0565CCB Time : 0.0 sec. user=mdettweiler [2012-10-24 00:19:34] 895*2^1233021-1 is not prime. Res64: B845E41DA554F69A Time : 0.0 sec. user=vaughan [2012-10-24 00:25:45] 849*2^1233021-1 is not prime. Res64: 69BA6CF2237CBC05 Time : 0.0 sec. user=mdettweiler [2012-10-24 00:41:16] 927*2^1233021-1 is not prime. Res64: 013F75C26978B326 Time : 0.0 sec. user=mdettweiler [2012-10-24 00:42:43] 987*2^1233021-1 is not prime. Res64: 9913B3B338F1577E Time : 0.0 sec. user=vaughan [2012-10-24 01:03:33] 675*2^1233022-1 is not prime. Res64: 3815A8736FF1A633 Time : 0.0 sec. user=mdettweiler [2012-10-24 01:05:31] 647*2^1233022-1 is not prime. Res64: 05F2562C04A82F0A Time : 0.0 sec. user=mdettweiler [2012-10-24 01:23:59] 975*2^1233021-1 is not prime. Res64: 00EBB8AB406D6475 Time : 0.0 sec. user=vaughan [2012-10-24 01:41:47] 713*2^1233022-1 is not prime. Res64: 5DF70D95F45ACBF4 Time : 0.0 sec. user=mdettweiler [2012-10-24 01:45:06] 731*2^1233022-1 is not prime. Res64: A233CA3A709DD568 Time : 0.0 sec. user=mdettweiler [2012-10-24 01:45:07] 801*2^1233022-1 is not prime. Res64: BA887406E59052C1 Time : 0.0 sec. user=mdettweiler [2012-10-24 02:05:55] 887*2^1233022-1 is not prime. Res64: CFCE8247210735D0 Time : 0.0 sec. user=mdettweiler [2012-10-24 02:06:18] 603*2^1233023-1 is not prime. Res64: CB38193FB8C5F93B Time : 0.0 sec. user=mdettweiler [2012-10-24 02:10:41] 735*2^1233023-1 is not prime. Res64: 0A8494BCB087A160 Time : 0.0 sec. user=vaughan [2012-10-24 02:19:38] 825*2^1233022-1 is not prime. Res64: F0C2E054AE50D2F5 Time : 0.0 sec. user=mdettweiler [2012-10-24 02:48:33] 813*2^1233023-1 is not prime. Res64: B47DA89224A63694 Time : 0.0 sec. user=vaughan [2012-10-24 02:57:40] 831*2^1233023-1 is not prime. Res64: 784D70207AA1777F Time : 0.0 sec. user=mdettweiler [2012-10-24 03:02:52] 615*2^1233024-1 is not prime. Res64: EFF8032E5FFDFFA1 Time : 0.0 sec. user=mdettweiler [2012-10-24 03:02:53] 737*2^1233024-1 is not prime. Res64: 4D4D9F9120E23EC2 Time : 0.0 sec. user=mdettweiler [2012-10-24 03:23:41] 825*2^1233024-1 is not prime. Res64: A56D417809EBEB4B Time : 0.0 sec. user=mdettweiler [2012-10-24 03:23:42] 893*2^1233024-1 is not prime. Res64: CD9F94CC782B4D5A Time : 0.0 sec. user=mdettweiler [2012-10-24 03:44:33] 687*2^1233025-1 is not prime. Res64: ABC47C20EC9CBA08 Time : 0.0 sec. user=mdettweiler [2012-10-24 03:44:33] 885*2^1233025-1 is not prime. Res64: 4C8FAEADBD106BC5 Time : 0.0 sec. user=mdettweiler [2012-10-24 03:54:40] 999*2^1233025-1 is not prime. Res64: 16D582FA345C5206 Time : 0.0 sec. user=mdettweiler [2012-10-24 04:05:25] 755*2^1233026-1 is not prime. Res64: A8EECC4C646D9944 Time : 0.0 sec. user=mdettweiler [2012-10-24 04:05:27] 773*2^1233026-1 is not prime. Res64: 9592690F62E96BE1 Time : 0.0 sec. user=vaughan [2012-10-24 04:11:25] 747*2^1233026-1 is not prime. Res64: 5FF10D42F8D82C26 Time : 0.0 sec. user=mdettweiler [2012-10-24 04:26:48] 945*2^1233026-1 is not prime. Res64: 053315229D0F5038 Time : 0.0 sec. user=mdettweiler [2012-10-24 04:39:02] 741*2^1233026-1 is not prime. Res64: E7FB16B1ECB85E4C Time : 0.0 sec. user=vaughan [2012-10-24 04:49:50] 609*2^1233027-1 is not prime. Res64: 05AAFB19BFEFB133 Time : 0.0 sec. user=mdettweiler [2012-10-24 05:06:30] 601*2^1233027-1 is not prime. Res64: 97F6E6336AF14C1B Time : 0.0 sec. user=mdettweiler [2012-10-24 05:06:51] 649*2^1233027-1 is not prime. Res64: CEC6E2D1586EE745 Time : 0.0 sec. user=mdettweiler [2012-10-24 05:27:33] 711*2^1233027-1 is not prime. Res64: D677D647F5C6DBF3 Time : 0.0 sec. user=mdettweiler [2012-10-24 05:53:00] 951*2^1233027-1 is not prime. Res64: C2612A43BDAABBE3 Time : 0.0 sec. user=mdettweiler [2012-10-24 05:53:00] 973*2^1233027-1 is not prime. Res64: F8BE8AF68204F3F3 Time : 0.0 sec. user=vaughan [2012-10-24 06:03:27] 871*2^1233027-1 is not prime. Res64: 15E3B808CA900CF9 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:11:00] 753*2^1233027-1 is not prime. Res64: 620B39CE89462359 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:13:47] 991*2^1233027-1 is not prime. Res64: 36581CBF45E36720 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:13:51] 605*2^1233028-1 is not prime. Res64: D435053C5DA1CBA6 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:35:01] 705*2^1233028-1 is not prime. Res64: 856CD59085D1448C Time : 0.0 sec. user=mdettweiler [2012-10-24 06:35:02] 975*2^1233028-1 is not prime. Res64: 7F4C1AF2A49F7025 Time : 0.0 sec. user=vaughan [2012-10-24 06:41:25] 677*2^1233028-1 is not prime. Res64: 25F03831522CFB72 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:56:09] 995*2^1233028-1 is not prime. Res64: 8BE6219AC4FB0145 Time : 0.0 sec. user=mdettweiler [2012-10-24 06:58:42] 627*2^1233029-1 is not prime. Res64: F8C489626F0163FD Time : 0.0 sec. user=mdettweiler [2012-10-24 06:58:43] 711*2^1233029-1 is not prime. Res64: A857360ECA895725 Time : 0.0 sec. user=mdettweiler [2012-10-24 07:19:33] 825*2^1233029-1 is not prime. Res64: 61EE06F862861F03 Time : 0.0 sec. user=vaughan [2012-10-24 07:19:34] 729*2^1233029-1 is not prime. Res64: 285A0C82F65D0ADB Time : 0.0 sec. user=mdettweiler [2012-10-24 07:19:37] 897*2^1233029-1 is not prime. Res64: E277413C4B6DE12C Time : 0.0 sec. user=mdettweiler [2012-10-24 07:22:42] 999*2^1233028-1 is not prime. Res64: 87AAF0A3B48A5C05 Time : 0.0 sec. user=mdettweiler [2012-10-24 07:41:01] 991*2^1233029-1 is not prime. Res64: 46B7077DBDB12C22 Time : 0.0 sec. user=mdettweiler [2012-10-24 07:43:33] 741*2^1233030-1 is not prime. Res64: 85C4C46EAA5C7531 Time : 0.0 sec. user=mdettweiler [2012-10-24 07:43:34] 761*2^1233030-1 is not prime. Res64: 2F1361252DDC1B8C Time : 0.0 sec. user=mdettweiler [2012-10-24 08:02:47] 717*2^1233030-1 is not prime. Res64: D560A206A9394022 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:04:18] 965*2^1233030-1 is not prime. Res64: B8B5CD4A49C14538 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:04:20] 615*2^1233031-1 is not prime. Res64: AAE308D94D0F9027 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:23:52] 973*2^1233031-1 is not prime. Res64: CA3D34680E4FE06A Time : 0.0 sec. user=mdettweiler [2012-10-24 08:25:08] 797*2^1233032-1 is not prime. Res64: E8B683C0FFED6F68 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:25:09] 875*2^1233032-1 is not prime. Res64: E7AE8F544C296425 Time : 0.0 sec. user=vaughan [2012-10-24 08:33:40] 619*2^1233031-1 is not prime. Res64: A8C221E6E9738094 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:45:55] 879*2^1233032-1 is not prime. Res64: 83191E7DB3ABCD94 Time : 0.0 sec. user=mdettweiler [2012-10-24 08:46:16] 995*2^1233032-1 is not prime. Res64: 6EC96EC421CE8AAA Time : 0.0 sec. user=mdettweiler [2012-10-24 08:52:59] 767*2^1233032-1 is not prime. Res64: 64A8712665B8AFDE Time : 0.0 sec. user=mdettweiler [2012-10-24 09:40:15] 649*2^1233033-1 is not prime. Res64: F7F43D6E65CD63A9 Time : 0.0 sec. user=mdettweiler [2012-10-24 09:40:15] 657*2^1233033-1 is not prime. Res64: B4D9D255903E59A1 Time : 0.0 sec. user=vaughan [2012-10-24 09:47:14] 639*2^1233033-1 is not prime. Res64: 5F521F5E7AE7030A Time : 0.0 sec. user=mdettweiler [2012-10-24 09:51:08] 691*2^1233033-1 is not prime. Res64: 647A5EF1E92CEFCA Time : 0.0 sec. user=mdettweiler [2012-10-24 09:51:09] 735*2^1233033-1 is not prime. Res64: B6AA27FFF63A2BE6 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:01:03] 747*2^1233033-1 is not prime. Res64: 8475199008263877 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:01:06] 789*2^1233033-1 is not prime. Res64: C67701D2B9A11041 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:12:01] 847*2^1233033-1 is not prime. Res64: 777826A09CF165A8 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:12:03] 877*2^1233033-1 is not prime. Res64: 8156D849DE47D5DD Time : 0.0 sec. user=mdettweiler [2012-10-24 10:22:15] 919*2^1233033-1 is not prime. Res64: 7E69988536031D67 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:22:15] 949*2^1233033-1 is not prime. Res64: B2E492B66E604DAF Time : 0.0 sec. user=vaughan [2012-10-24 10:25:02] 817*2^1233033-1 is not prime. Res64: 340C97ECEC112654 Time : 0.0 sec. user=mdettweiler [2012-10-24 10:33:11] 955*2^1233033-1 is not prime. Res64: 50F33D4B8837843A Time : 0.0 sec. user=mdettweiler [2012-10-24 10:33:12] 999*2^1233033-1 is not prime. Res64: D6E22F04B28E4ADC Time : 0.0 sec. user=vaughan [2012-10-24 13:37:01] 917*2^1233034-1 is not prime. Res64: B39C6EE484492BAE Time : 0.0 sec. user=mdettweiler [2012-10-24 14:02:10] 957*2^1233034-1 is not prime. Res64: 1977C84616D68018 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:02:11] 643*2^1233035-1 is not prime. Res64: CEEB357B079C55C2 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:04:10] 635*2^1233034-1 is not prime. Res64: 174DF9C26989BCC2 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:04:11] 803*2^1233034-1 is not prime. Res64: D69AB085DFECA285 Time : 0.0 sec. user=vaughan [2012-10-24 14:18:24] 913*2^1233035-1 is not prime. Res64: DB5656F410BCF638 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:23:51] 963*2^1233035-1 is not prime. Res64: 5270CBE0EB12930B Time : 0.0 sec. user=mdettweiler [2012-10-24 14:23:51] 981*2^1233035-1 is not prime. Res64: 9484884013B59606 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:25:41] 653*2^1233036-1 is not prime. Res64: 60C536994788114B Time : 0.0 sec. user=mdettweiler [2012-10-24 14:25:42] 717*2^1233036-1 is not prime. Res64: 70CCD009F94F6DDC Time : 0.0 sec. user=mdettweiler [2012-10-24 14:44:47] 737*2^1233036-1 is not prime. Res64: 1BF71CE06EB90836 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:44:48] 839*2^1233036-1 is not prime. Res64: B343504ADB32077B Time : 0.0 sec. user=mdettweiler [2012-10-24 14:46:36] 983*2^1233036-1 is not prime. Res64: 33700AB295134764 Time : 0.0 sec. user=mdettweiler [2012-10-24 14:46:37] 993*2^1233036-1 is not prime. Res64: 0256501FC81006A2 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:05:42] 609*2^1233037-1 is not prime. Res64: 9CBD148ECE5461C0 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:05:43] 741*2^1233037-1 is not prime. Res64: 818E3A7BED903993 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:07:34] 805*2^1233037-1 is not prime. Res64: C2220088A4FA24A3 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:07:35] 825*2^1233037-1 is not prime. Res64: 013407A8BB457ED3 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:27:10] 957*2^1233037-1 is not prime. Res64: D1DF852716A21FFF Time : 0.0 sec. user=mdettweiler [2012-10-24 15:27:10] 635*2^1233038-1 is not prime. Res64: EF42BC6D38982B57 Time : 0.0 sec. user=vaughan [2012-10-24 15:28:42] 955*2^1233037-1 is not prime. Res64: 0B70C21E2C8C8268 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:29:00] 687*2^1233038-1 is not prime. Res64: CF678EB7C252C469 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:29:00] 711*2^1233038-1 is not prime. Res64: A46162241F227D5E Time : 0.0 sec. user=mdettweiler [2012-10-24 15:48:30] 767*2^1233038-1 is not prime. Res64: CAD50BAAFA0E83F2 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:48:31] 791*2^1233038-1 is not prime. Res64: 94AC9B914CF855C6 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:50:17] 813*2^1233038-1 is not prime. Res64: 2A8E713D618E97B9 Time : 0.0 sec. user=mdettweiler [2012-10-24 15:50:18] 935*2^1233038-1 is not prime. Res64: F8CB26493E55574F Time : 0.0 sec. user=vaughan [2012-10-24 16:06:29] 801*2^1233038-1 is not prime. Res64: 86DEBC58551D7DF4 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:09:17] 941*2^1233038-1 is not prime. Res64: 46A8A46EF6F1E62A Time : 0.0 sec. user=mdettweiler [2012-10-24 16:09:20] 951*2^1233038-1 is not prime. Res64: F09C48DC1D9A7A53 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:11:04] 963*2^1233038-1 is not prime. Res64: AB5ECD0EEA8FD4D8 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:11:05] 745*2^1233039-1 is not prime. Res64: 8EFD0E59525913D6 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:30:11] 769*2^1233039-1 is not prime. Res64: 775011B85747A2BA Time : 0.0 sec. user=mdettweiler [2012-10-24 16:30:11] 859*2^1233039-1 is not prime. Res64: 7FD73C500A4E10E3 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:31:49] 999*2^1233039-1 is not prime. Res64: F2C3CD7C8452D8C2 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:31:50] 609*2^1233040-1 is not prime. Res64: 6D94A3DE865689F1 Time : 0.0 sec. user=vaughan [2012-10-24 16:44:21] 763*2^1233039-1 is not prime. Res64: 7F11E672E5090A37 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:50:55] 615*2^1233040-1 is not prime. Res64: E7BB84822AA1808E Time : 0.0 sec. user=mdettweiler [2012-10-24 16:50:56] 735*2^1233040-1 is not prime. Res64: 9B02B097C3C10C7A Time : 0.0 sec. user=mdettweiler [2012-10-24 16:52:33] 797*2^1233040-1 is not prime. Res64: 36C04F6BB4F902A9 Time : 0.0 sec. user=mdettweiler [2012-10-24 16:52:33] 819*2^1233040-1 is not prime. Res64: A81ADE75EFC13E28 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:11:39] 873*2^1233040-1 is not prime. Res64: 1FFC50C868F678B1 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:11:40] 965*2^1233040-1 is not prime. Res64: 4C0FB63A9A2EC6AF Time : 0.0 sec. user=mdettweiler [2012-10-24 17:13:15] 675*2^1233041-1 is not prime. Res64: 1398278B6B64EE6E Time : 0.0 sec. user=mdettweiler [2012-10-24 17:13:18] 691*2^1233041-1 is not prime. Res64: B20664E54506B571 Time : 0.0 sec. user=vaughan [2012-10-24 17:22:09] 863*2^1233040-1 is not prime. Res64: A016DE5C1E79A934 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:32:27] 769*2^1233041-1 is not prime. Res64: C970D96B0060E108 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:32:27] 879*2^1233041-1 is not prime. Res64: 2C95A98C6CD3EE38 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:34:09] 907*2^1233041-1 is not prime. Res64: D4E2DEBDEE130AFC Time : 0.0 sec. user=mdettweiler [2012-10-24 17:34:10] 981*2^1233041-1 is not prime. Res64: D6D805E752FEEF73 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:53:10] 635*2^1233042-1 is not prime. Res64: 8C1678D28B87CFED Time : 0.0 sec. user=mdettweiler [2012-10-24 17:53:10] 647*2^1233042-1 is not prime. Res64: 0DCA419093D5D585 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:54:54] 717*2^1233042-1 is not prime. Res64: AA20B1ED5F490A62 Time : 0.0 sec. user=mdettweiler [2012-10-24 17:54:54] 725*2^1233042-1 is not prime. Res64: E9382B8FCD3BD634 Time : 0.0 sec. user=vaughan [2012-10-24 17:59:55] 997*2^1233041-1 is not prime. Res64: EA4807870FBED091 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:13:57] 735*2^1233042-1 is not prime. Res64: C1E75CAC9AB148AC Time : 0.0 sec. user=mdettweiler [2012-10-24 18:13:58] 747*2^1233042-1 is not prime. Res64: 91288CB6373C402E Time : 0.0 sec. user=mdettweiler [2012-10-24 18:15:37] 797*2^1233042-1 is not prime. Res64: 0B794672EBC3FE58 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:15:42] 801*2^1233042-1 is not prime. Res64: 549AB4C96697F784 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:34:43] 903*2^1233042-1 is not prime. Res64: 5F1D7214C9B15494 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:34:43] 915*2^1233042-1 is not prime. Res64: F565C321320D6361 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:36:33] 947*2^1233042-1 is not prime. Res64: 4CD8EEE978FFEA7E Time : 0.0 sec. user=mdettweiler [2012-10-24 18:36:34] 609*2^1233043-1 is not prime. Res64: CCEE3B999B4BAC8A Time : 0.0 sec. user=vaughan [2012-10-24 18:37:42] 803*2^1233042-1 is not prime. Res64: B9329D61368CBCFB Time : 0.0 sec. user=mdettweiler [2012-10-24 18:55:28] 621*2^1233043-1 is not prime. Res64: D264D2511AFE3496 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:55:28] 693*2^1233043-1 is not prime. Res64: 126DA48E66C75095 Time : 0.0 sec. user=mdettweiler [2012-10-24 18:57:17] 891*2^1233043-1 is not prime. Res64: E97D5A109BAB84DB Time : 0.0 sec. user=mdettweiler [2012-10-24 18:57:18] 635*2^1233044-1 is not prime. Res64: E39317B49169C435 Time : 0.0 sec. user=vaughan [2012-10-24 19:15:32] 813*2^1233044-1 is not prime. Res64: 505DA3AF504DE436 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:16:12] 885*2^1233044-1 is not prime. Res64: E93E7A9FB31630E8 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:16:15] 649*2^1233045-1 is not prime. Res64: 1CF36D590C214761 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:18:00] 651*2^1233045-1 is not prime. Res64: 70D312336AEA57D6 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:18:02] 685*2^1233045-1 is not prime. Res64: CE89C23F2291FDA7 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:37:04] 735*2^1233045-1 is not prime. Res64: D6747C80CD0398F5 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:37:05] 787*2^1233045-1 is not prime. Res64: 31C5F60FAC47CD66 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:38:47] 795*2^1233045-1 is not prime. Res64: 58DFFA85E3667E7C Time : 0.0 sec. user=mdettweiler [2012-10-24 19:38:48] 889*2^1233045-1 is not prime. Res64: 934EAE70371B1970 Time : 0.0 sec. user=vaughan [2012-10-24 19:53:36] 711*2^1233045-1 is not prime. Res64: E5C6CFA74FA9D775 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:57:49] 915*2^1233045-1 is not prime. Res64: 6563744938FFFECD Time : 0.0 sec. user=mdettweiler [2012-10-24 19:57:50] 999*2^1233045-1 is not prime. Res64: A384A47CF1EE9E32 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:59:32] 657*2^1233046-1 is not prime. Res64: 5378F940B6139E05 Time : 0.0 sec. user=mdettweiler [2012-10-24 19:59:32] 737*2^1233046-1 is not prime. Res64: BD3733A86CB793ED Time : 0.0 sec. user=mdettweiler [2012-10-24 20:18:34] 975*2^1233046-1 is not prime. Res64: B7DAAE7788CB1647 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:18:35] 655*2^1233047-1 is not prime. Res64: 929D50749D064210 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:20:16] 669*2^1233047-1 is not prime. Res64: 071316C84D211BB6 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:20:17] 813*2^1233047-1 is not prime. Res64: 74772BFF561BEBC9 Time : 0.0 sec. user=vaughan [2012-10-24 20:31:23] 881*2^1233046-1 is not prime. Res64: B3FB94F6EDEA837F Time : 0.0 sec. user=mdettweiler [2012-10-24 20:39:44] 819*2^1233047-1 is not prime. Res64: 31BCB548DE4A0155 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:39:44] 841*2^1233047-1 is not prime. Res64: EE52DEC3E0D4D400 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:41:11] 843*2^1233047-1 is not prime. Res64: 956544B26DA1A9F6 Time : 0.0 sec. user=mdettweiler [2012-10-24 20:41:12] 633*2^1233048-1 is not prime. Res64: CE18F76FB92BC8B4 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:00:34] 725*2^1233048-1 is not prime. Res64: E648194852924021 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:00:35] 765*2^1233048-1 is not prime. Res64: F7FD5D956724F86B Time : 0.0 sec. user=mdettweiler [2012-10-24 21:02:00] 803*2^1233048-1 is not prime. Res64: 9566CB81D08062F0 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:02:01] 899*2^1233048-1 is not prime. Res64: E0C3AACCAD6B709C Time : 0.0 sec. user=vaughan [2012-10-24 21:09:07] 683*2^1233048-1 is not prime. Res64: 8ABE51770F1C40D0 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:21:34] 933*2^1233048-1 is not prime. Res64: DB3A476619D387B0 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:21:34] 609*2^1233049-1 is not prime. Res64: B6CAF5DE37EC409C Time : 0.0 sec. user=mdettweiler [2012-10-24 21:22:50] 675*2^1233049-1 is not prime. Res64: 7B2A0EB93BF01373 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:22:50] 679*2^1233049-1 is not prime. Res64: 7FB044491E895F5F Time : 0.0 sec. user=mdettweiler [2012-10-24 21:42:24] 801*2^1233049-1 is not prime. Res64: A4E34FEC6E7DD45D Time : 0.0 sec. user=mdettweiler [2012-10-24 21:42:25] 847*2^1233049-1 is not prime. Res64: E216A42FF0C168BF Time : 0.0 sec. user=mdettweiler [2012-10-24 21:43:38] 855*2^1233049-1 is not prime. Res64: B4FB3134859C5FA7 Time : 0.0 sec. user=mdettweiler [2012-10-24 21:43:39] 975*2^1233049-1 is not prime. Res64: A5FBC179DD0A6DDF Time : 0.0 sec. user=vaughan [2012-10-24 21:46:55] 765*2^1233049-1 is not prime. Res64: 135CAC266A87A925 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:03:15] 665*2^1233050-1 is not prime. Res64: 7618B5BA6E633A6F Time : 0.0 sec. user=mdettweiler [2012-10-24 22:03:16] 671*2^1233050-1 is not prime. Res64: 73CA86444D2ACB1E Time : 0.0 sec. user=mdettweiler [2012-10-24 22:04:27] 783*2^1233050-1 is not prime. Res64: 8E3D307A4B84991B Time : 0.0 sec. user=mdettweiler [2012-10-24 22:04:28] 825*2^1233050-1 is not prime. Res64: CEE553DD7DEFED28 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:24:27] 951*2^1233050-1 is not prime. Res64: 54A5DB3E62425EC8 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:24:27] 977*2^1233050-1 is not prime. Res64: E347B56E12859DC1 Time : 0.0 sec. user=vaughan [2012-10-24 22:24:41] 843*2^1233050-1 is not prime. Res64: CD3A87A05A925CDA Time : 0.0 sec. user=mdettweiler [2012-10-24 22:25:39] 639*2^1233051-1 is not prime. Res64: F1E88E77C4D30E86 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:25:39] 679*2^1233051-1 is not prime. Res64: EA5F943250955F0A Time : 0.0 sec. user=mdettweiler [2012-10-24 22:47:20] 871*2^1233051-1 is not prime. Res64: A94A3CFBF1944CF6 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:47:20] 891*2^1233051-1 is not prime. Res64: D470638EF460B4B4 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:48:46] 723*2^1233051-1 is not prime. Res64: 47C86637B03D35A1 Time : 0.0 sec. user=mdettweiler [2012-10-24 22:48:47] 775*2^1233051-1 is not prime. Res64: 3AA7DE11B9A20F0B Time : 0.0 sec. user=vaughan [2012-10-24 23:02:27] 829*2^1233051-1 is not prime. Res64: EDDEDA83FA5CBD26 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:08:59] 909*2^1233051-1 is not prime. Res64: 9A01194186D1537D Time : 0.0 sec. user=mdettweiler [2012-10-24 23:09:00] 955*2^1233051-1 is not prime. Res64: 83AEF7391DF844CC Time : 0.0 sec. user=mdettweiler [2012-10-24 23:10:28] 969*2^1233051-1 is not prime. Res64: E35F72AEC787E6DB Time : 0.0 sec. user=mdettweiler [2012-10-24 23:10:31] 979*2^1233051-1 is not prime. Res64: B6D85B39337438BF Time : 0.0 sec. user=mdettweiler [2012-10-24 23:31:23] 743*2^1233052-1 is not prime. Res64: FB253CB42B099487 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:31:23] 827*2^1233052-1 is not prime. Res64: 7A297624FD32ADC4 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:32:57] 983*2^1233052-1 is not prime. Res64: 7FC3817AC5173556 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:32:57] 621*2^1233053-1 is not prime. Res64: 5B4D56507DC07F9D Time : 0.0 sec. user=vaughan [2012-10-24 23:40:29] 609*2^1233052-1 is not prime. Res64: 8E7602C8330A0227 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:54:25] 699*2^1233053-1 is not prime. Res64: B919118530150855 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:54:25] 729*2^1233053-1 is not prime. Res64: AA0D03A13197D3E1 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:55:54] 879*2^1233053-1 is not prime. Res64: 8AF316539FE2B8A0 Time : 0.0 sec. user=mdettweiler [2012-10-24 23:55:54] 889*2^1233053-1 is not prime. Res64: DDA4C1697990FA77 Time : 0.0 sec.