user=PCZ [2012-07-22 00:01:18] 893*2^1224498-1 is not prime. Res64: 674134627ED746AE Time : 0.0 sec. user=PCZ [2012-07-22 00:01:54] 927*2^1224498-1 is not prime. Res64: 494C924E3F0E52B0 Time : 0.0 sec. user=PCZ [2012-07-22 00:03:50] 945*2^1224498-1 is not prime. Res64: 0ED0E83B90D2C7B4 Time : 0.0 sec. user=PCZ [2012-07-22 00:07:12] 631*2^1224499-1 is not prime. Res64: D2CFBBA947817E55 Time : 0.0 sec. user=PCZ [2012-07-22 00:07:48] 775*2^1224499-1 is not prime. Res64: A9AAB2A61AB3B03B Time : 0.0 sec. user=PCZ [2012-07-22 00:08:37] 843*2^1224499-1 is not prime. Res64: C39ABDF2DD18EF93 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:09:55] 819*2^1224497-1 is not prime. Res64: A7BDB50572ED9F3A Time : 0.0 sec. user=mdettweiler [2012-07-22 00:09:56] 651*2^1224498-1 is not prime. Res64: 9050D10CD3AFF43B Time : 0.0 sec. user=PCZ [2012-07-22 00:10:36] 919*2^1224499-1 is not prime. Res64: 5067074351042F27 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:11:55] 985*2^1224495-1 is not prime. Res64: 6DAB926798B219E1 Time : 0.0 sec. user=PCZ [2012-07-22 00:13:51] 969*2^1224499-1 is not prime. Res64: A474AD2079B0C6A9 Time : 0.0 sec. user=PCZ [2012-07-22 00:14:24] 707*2^1224500-1 is not prime. Res64: A76D5F34E0F8D012 Time : 0.0 sec. user=PCZ [2012-07-22 00:15:25] 789*2^1224500-1 is not prime. Res64: 394B3B28ABFF223E Time : 0.0 sec. user=PCZ [2012-07-22 00:17:30] 987*2^1224500-1 is not prime. Res64: FE925997E1C1F861 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:19:44] 993*2^1224498-1 is not prime. Res64: 8097946B83934CE5 Time : 0.0 sec. user=PCZ [2012-07-22 00:22:10] 927*2^1224501-1 is not prime. Res64: BA30C9E7BA3ADCE4 Time : 0.0 sec. user=PCZ [2012-07-22 00:23:42] 681*2^1224501-1 is not prime. Res64: 6020D0423C514BDC Time : 0.0 sec. user=PCZ [2012-07-22 00:24:12] 623*2^1224502-1 is not prime. Res64: C1A38E1A5F6293D3 Time : 0.0 sec. user=PCZ [2012-07-22 00:25:15] 795*2^1224501-1 is not prime. Res64: 04ABA1B94614BEAE Time : 0.0 sec. user=PCZ [2012-07-22 00:28:58] 731*2^1224502-1 is not prime. Res64: 86AA03248DD229AA Time : 0.0 sec. user=PCZ [2012-07-22 00:30:19] 741*2^1224502-1 is not prime. Res64: 9C7988BDC80F8747 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:30:35] 797*2^1224500-1 is not prime. Res64: B52EDE8B87AB7DE5 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:30:36] 855*2^1224500-1 is not prime. Res64: B11D6DC03985BE3A Time : 0.0 sec. user=PCZ [2012-07-22 00:30:51] 785*2^1224502-1 is not prime. Res64: 0847A12832AFEA9D Time : 0.0 sec. user=PCZ [2012-07-22 00:31:49] 975*2^1224502-1 is not prime. Res64: 74B109EB4323EA85 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:32:13] 755*2^1224498-1 is not prime. Res64: 04DE988DFBD0E302 Time : 0.0 sec. user=juhehe [2012-07-22 00:35:03] 677*2^1224498-1 is not prime. Res64: 927BA95B600DED2B Time : 0.0 sec. user=vaughan [2012-07-22 00:36:04] 833*2^1224496-1 is not prime. Res64: 1C28D09ECC633DEC Time : 0.0 sec. user=PCZ [2012-07-22 00:36:06] 981*2^1224502-1 is not prime. Res64: 1DE6B425CF83A6D3 Time : 0.0 sec. user=PCZ [2012-07-22 00:36:52] 603*2^1224503-1 is not prime. Res64: 99004C0306311670 Time : 0.0 sec. user=PCZ [2012-07-22 00:37:40] 729*2^1224503-1 is not prime. Res64: 51E5580080A3E7E6 Time : 0.0 sec. user=PCZ [2012-07-22 00:38:26] 739*2^1224503-1 is not prime. Res64: CFE8B1C6D707A41C Time : 0.0 sec. user=PCZ [2012-07-22 00:42:43] 993*2^1224503-1 is not prime. Res64: 37A2783F44128395 Time : 0.0 sec. user=gd_barnes [2012-07-22 00:42:57] 847*2^1224501-1 is not prime. Res64: 7C2651BE6D2B3C36 Time : 0.0 sec. user=PCZ [2012-07-22 00:43:34] 689*2^1224504-1 is not prime. Res64: 2AFB8A995F5048D3 Time : 0.0 sec. user=PCZ [2012-07-22 00:44:22] 707*2^1224504-1 is not prime. Res64: FAA31CB30B00434C Time : 0.0 sec. user=PCZ [2012-07-22 00:45:04] 765*2^1224504-1 is not prime. Res64: E025FF6AD3008810 Time : 0.0 sec. user=gd_barnes [2012-07-22 00:45:58] 653*2^1224502-1 is not prime. Res64: 94E027839875D318 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:48:54] 627*2^1224501-1 is not prime. Res64: 4205F38823036DA8 Time : 0.0 sec. user=PCZ [2012-07-22 00:49:14] 705*2^1224505-1 is not prime. Res64: BCC82229194FA231 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:49:37] 1001*2^1224498-1 is not prime. Res64: B7D84CF7DC205D71 Time : 0.0 sec. user=PCZ [2012-07-22 00:50:56] 715*2^1224505-1 is not prime. Res64: DAD20B6CEBD616DA Time : 0.0 sec. user=mdettweiler [2012-07-22 00:51:14] 615*2^1224503-1 is not prime. Res64: 40E1D12AAD8413C6 Time : 0.0 sec. user=mdettweiler [2012-07-22 00:51:15] 721*2^1224503-1 is not prime. Res64: 167B7B6A4F8991A8 Time : 0.0 sec. user=PCZ [2012-07-22 00:51:45] 741*2^1224505-1 is not prime. Res64: 50736C72D86982F2 Time : 0.0 sec. user=gd_barnes [2012-07-22 00:55:03] 723*2^1224502-1 is not prime. Res64: 1BB17B5A5BAF3067 Time : 0.0 sec. user=PCZ [2012-07-22 00:55:49] 885*2^1224505-1 is not prime. Res64: 8162A5B5103AB7DB Time : 0.0 sec. user=PCZ [2012-07-22 00:56:53] 701*2^1224506-1 is not prime. Res64: 089E89125CBE6B04 Time : 0.0 sec. user=PCZ [2012-07-22 00:57:36] 743*2^1224506-1 is not prime. Res64: E67F2557D8CED8C5 Time : 0.0 sec. user=PCZ [2012-07-22 00:58:22] 957*2^1224506-1 is not prime. Res64: 78FCAC4C71B78014 Time : 0.0 sec. user=PCZ [2012-07-22 01:02:32] 651*2^1224507-1 is not prime. Res64: 5D8A7C4EF3FD7BB8 Time : 0.0 sec. user=PCZ [2012-07-22 01:03:27] 813*2^1224508-1 is not prime. Res64: 2F3979C946A41E13 Time : 0.0 sec. user=PCZ [2012-07-22 01:04:09] 855*2^1224508-1 is not prime. Res64: CC824873D8F68190 Time : 0.0 sec. user=PCZ [2012-07-22 01:05:07] 933*2^1224508-1 is not prime. Res64: CBDB72D9A1F6A668 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:06:10] 759*2^1224503-1 is not prime. Res64: B6445A26C29A1C13 Time : 0.0 sec. user=gd_barnes [2012-07-22 01:07:19] 843*2^1224504-1 is not prime. Res64: 3DCA563A31BB1998 Time : 0.0 sec. user=gd_barnes [2012-07-22 01:08:32] 863*2^1224504-1 is not prime. Res64: AA8549CE40E8760D Time : 0.0 sec. user=PCZ [2012-07-22 01:09:14] 959*2^1224508-1 is not prime. Res64: B474047DA4C9F68C Time : 0.0 sec. user=PCZ [2012-07-22 01:10:05] 989*2^1224508-1 is not prime. Res64: 5B9CBA9E8EBB983F Time : 0.0 sec. user=mdettweiler [2012-07-22 01:10:14] 889*2^1224505-1 is not prime. Res64: 6CADB4D54CAF5343 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:10:15] 987*2^1224505-1 is not prime. Res64: 65FB77277A23B8A0 Time : 0.0 sec. user=PCZ [2012-07-22 01:10:48] 995*2^1224508-1 is not prime. Res64: 615DCE508D881B2F Time : 0.0 sec. user=PCZ [2012-07-22 01:11:44] 771*2^1224509-1 is not prime. Res64: BF1538A3BF3783D0 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:11:51] 783*2^1224506-1 is not prime. Res64: E2BDB3E01790ADF2 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:11:52] 911*2^1224506-1 is not prime. Res64: 04C7B8AA3C38050C Time : 0.0 sec. user=PCZ [2012-07-22 01:16:44] 969*2^1224509-1 is not prime. Res64: 764EAC8203F0DE9D Time : 0.0 sec. user=PCZ [2012-07-22 01:17:28] 641*2^1224510-1 is not prime. Res64: 32D3BACC4591CCFB Time : 0.0 sec. user=PCZ [2012-07-22 01:18:24] 765*2^1224510-1 is not prime. Res64: 963DADB35EA62660 Time : 0.0 sec. user=PCZ [2012-07-22 01:23:27] 801*2^1224510-1 is not prime. Res64: 40D8670ED2947AF7 Time : 0.0 sec. user=PCZ [2012-07-22 01:23:33] 875*2^1224510-1 is not prime. Res64: 176513D02FA4F974 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:23:40] 799*2^1224505-1 is not prime. Res64: E235E70E70D29EEC Time : 0.0 sec. user=PCZ [2012-07-22 01:24:02] 917*2^1224510-1 is not prime. Res64: 5CB12787CFD937DF Time : 0.0 sec. user=PCZ [2012-07-22 01:25:06] 963*2^1224510-1 is not prime. Res64: 2CA03C9F9962A020 Time : 0.0 sec. user=vaughan [2012-07-22 01:30:41] 985*2^1224503-1 is not prime. Res64: 41F1547529DB9775 Time : 0.0 sec. user=PCZ [2012-07-22 01:30:44] 971*2^1224510-1 is not prime. Res64: AA67DF28B76FC2D0 Time : 0.0 sec. user=PCZ [2012-07-22 01:30:52] 693*2^1224511-1 is not prime. Res64: 559E8949A6684FA9 Time : 0.0 sec. user=PCZ [2012-07-22 01:30:52] 651*2^1224511-1 is not prime. Res64: 97E6356EE7AC884F Time : 0.0 sec. user=mdettweiler [2012-07-22 01:30:53] 987*2^1224509-1 is not prime. Res64: B6CA67AF23A865F8 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:30:53] 611*2^1224510-1 is not prime. Res64: 89CFBB79EEB9A067 Time : 0.0 sec. user=PCZ [2012-07-22 01:31:38] 805*2^1224511-1 is not prime. Res64: 3E09D469EBAF84EB Time : 0.0 sec. user=mdettweiler [2012-07-22 01:32:30] 777*2^1224510-1 is not prime. Res64: F2C894F8A136E617 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:32:31] 795*2^1224510-1 is not prime. Res64: 3C0109C6822A9647 Time : 0.0 sec. user=PCZ [2012-07-22 01:37:27] 975*2^1224511-1 is not prime. Res64: 4E70EB952FA1CC8F Time : 0.0 sec. user=PCZ [2012-07-22 01:37:36] 675*2^1224512-1 is not prime. Res64: BD32C310972EE59C Time : 0.0 sec. user=PCZ [2012-07-22 01:37:44] 753*2^1224512-1 is not prime. Res64: 5E3162268741F603 Time : 0.0 sec. user=PCZ [2012-07-22 01:38:14] 843*2^1224512-1 is not prime. Res64: 6AB314652B031A4C Time : 0.0 sec. user=PCZ [2012-07-22 01:44:10] 977*2^1224512-1 is not prime. Res64: 8FBAF6174EE57F5E Time : 0.0 sec. user=PCZ [2012-07-22 01:44:15] 963*2^1224512-1 is not prime. Res64: FD1AED118EFFE804 Time : 0.0 sec. user=PCZ [2012-07-22 01:44:32] 675*2^1224513-1 is not prime. Res64: FED20D3E5C0D766E Time : 0.0 sec. user=PCZ [2012-07-22 01:44:45] 679*2^1224513-1 is not prime. Res64: E5346B82A5F38CC7 Time : 0.0 sec. user=mdettweiler [2012-07-22 01:50:29] 775*2^1224509-1 is not prime. Res64: 167D2B18B48CCE1F Time : 0.0 sec. user=PCZ [2012-07-22 01:50:47] 741*2^1224513-1 is not prime. Res64: B61E53525C08B033 Time : 0.0 sec. user=PCZ [2012-07-22 01:50:50] 769*2^1224513-1 is not prime. Res64: 8E44A679AB84634F Time : 0.0 sec. user=PCZ [2012-07-22 01:51:07] 895*2^1224513-1 is not prime. Res64: F32CB49AE4515070 Time : 0.0 sec. user=PCZ [2012-07-22 01:51:21] 999*2^1224513-1 is not prime. Res64: A67ECB80DCBC0C9B Time : 0.0 sec. user=mdettweiler [2012-07-22 01:51:29] 939*2^1224511-1 is not prime. Res64: 8BB0B15E247B040C Time : 0.0 sec. user=mdettweiler [2012-07-22 01:51:30] 969*2^1224511-1 is not prime. Res64: 74F23BCCC6E0832F Time : 0.0 sec. user=mdettweiler [2012-07-22 01:53:08] 855*2^1224512-1 is not prime. Res64: 5AC39F5982CE58FD Time : 0.0 sec. user=mdettweiler [2012-07-22 01:53:09] 959*2^1224512-1 is not prime. Res64: B90C95B0D60664D6 Time : 0.0 sec. user=PCZ [2012-07-22 01:57:22] 701*2^1224514-1 is not prime. Res64: 6EA9582998073F07 Time : 0.0 sec. user=PCZ [2012-07-22 01:57:44] 827*2^1224514-1 is not prime. Res64: BAE56BDB10A0FF57 Time : 0.0 sec. user=PCZ [2012-07-22 01:57:52] 917*2^1224514-1 is not prime. Res64: DBAA1AF1C8580001 Time : 0.0 sec. user=juhehe [2012-07-22 02:02:46] 893*2^1224510-1 is not prime. Res64: 5D67BA69AC793A09 Time : 0.0 sec. user=PCZ [2012-07-22 02:03:56] 859*2^1224515-1 is not prime. Res64: FEDB7D0B47EDD0BA Time : 0.0 sec. user=PCZ [2012-07-22 02:04:20] 921*2^1224515-1 is not prime. Res64: 847C646536538098 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:04:40] 771*2^1224511-1 is not prime. Res64: 402FCD340D15514D Time : 0.0 sec. user=PCZ [2012-07-22 02:04:40] 963*2^1224515-1 is not prime. Res64: 855E8F23E0812F20 Time : 0.0 sec. user=PCZ [2012-07-22 02:10:38] 973*2^1224515-1 is not prime. Res64: CA92B771A9639AC8 Time : 0.0 sec. user=PCZ [2012-07-22 02:10:44] 981*2^1224515-1 is not prime. Res64: FF898A0B5DA92332 Time : 0.0 sec. user=PCZ [2012-07-22 02:10:57] 735*2^1224516-1 is not prime. Res64: EF462462D1F7DFF9 Time : 0.0 sec. user=PCZ [2012-07-22 02:11:29] 765*2^1224516-1 is not prime. Res64: 7B515DA95E4FB5C1 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:12:07] 609*2^1224515-1 is not prime. Res64: 403D58EE25B57D04 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:12:07] 693*2^1224515-1 is not prime. Res64: 0F631D8FB3917272 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:13:47] 819*2^1224515-1 is not prime. Res64: 95E09AF24E9D17D0 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:13:48] 823*2^1224515-1 is not prime. Res64: 3C73374F438CF80D Time : 0.0 sec. user=PCZ [2012-07-22 02:17:18] 773*2^1224516-1 is not prime. Res64: DC044A87A3F8DA2C Time : 0.0 sec. user=PCZ [2012-07-22 02:17:29] 809*2^1224516-1 is not prime. Res64: 334C1555E36BB868 Time : 0.0 sec. user=PCZ [2012-07-22 02:17:32] 857*2^1224516-1 is not prime. Res64: CAFBC259F50A91BA Time : 0.0 sec. user=PCZ [2012-07-22 02:18:14] 873*2^1224516-1 is not prime. Res64: AEEC216BB2A3BBC1 Time : 0.0 sec. user=PCZ [2012-07-22 02:24:01] 915*2^1224517-1 is not prime. Res64: 2882449CBC4CA737 Time : 0.0 sec. user=PCZ [2012-07-22 02:24:04] 927*2^1224517-1 is not prime. Res64: 1F1DC13F37081D2C Time : 0.0 sec. user=PCZ [2012-07-22 02:24:14] 979*2^1224517-1 is not prime. Res64: 069CB90C10E9CF51 Time : 0.0 sec. user=PCZ [2012-07-22 02:24:50] 985*2^1224517-1 is not prime. Res64: E492A2EE1373118F Time : 0.0 sec. user=vaughan [2012-07-22 02:25:19] 873*2^1224511-1 is not prime. Res64: 62ECF8DFD51D4DC1 Time : 0.0 sec. user=PCZ [2012-07-22 02:28:52] 851*2^1224470-1 is not prime. Res64: 54906D3FBB39BB03 Time : 0.0 sec. user=PCZ [2012-07-22 02:28:56] 857*2^1224470-1 is not prime. Res64: 0806250B018FEB63 Time : 0.0 sec. user=PCZ [2012-07-22 02:29:00] 781*2^1224465-1 is not prime. Res64: 7D1198507B0E6E26 Time : 0.0 sec. user=PCZ [2012-07-22 02:29:18] 837*2^1224465-1 is not prime. Res64: D01905C6F4182AB2 Time : 0.0 sec. user=PCZ [2012-07-22 02:29:30] 861*2^1224470-1 is not prime. Res64: 908F9F6F0832D87C Time : 0.0 sec. user=PCZ [2012-07-22 02:29:31] 763*2^1224471-1 is not prime. Res64: 6BECF90452F74FDF Time : 0.0 sec. user=PCZ [2012-07-22 02:29:42] 735*2^1224465-1 is not prime. Res64: FBBFEBDAD2CB7ED7 Time : 0.0 sec. user=PCZ [2012-07-22 02:29:51] 677*2^1224466-1 is not prime. Res64: D04A7FB980FD9ED1 Time : 0.0 sec. user=PCZ [2012-07-22 02:29:53] 713*2^1224466-1 is not prime. Res64: D62ABD8FE8BA33EF Time : 0.0 sec. user=PCZ [2012-07-22 02:29:57] 711*2^1224467-1 is not prime. Res64: 5F8D27E52008D48B Time : 0.0 sec. user=PCZ [2012-07-22 02:30:00] 813*2^1224467-1 is not prime. Res64: 7233AB95623A83D7 Time : 0.0 sec. user=PCZ [2012-07-22 02:30:01] 707*2^1224470-1 is not prime. Res64: 1217ADE4E47CDD49 Time : 0.0 sec. user=PCZ [2012-07-22 02:30:21] 845*2^1224468-1 is not prime. Res64: 226E2861FC98E27E Time : 0.0 sec. user=PCZ [2012-07-22 02:30:28] 771*2^1224469-1 is not prime. Res64: 1222A0F88D63C8C5 Time : 0.0 sec. user=PCZ [2012-07-22 02:30:39] 707*2^1224518-1 is not prime. Res64: 7524B4DF6D9150DB Time : 0.0 sec. user=PCZ [2012-07-22 02:30:40] 603*2^1224518-1 is not prime. Res64: 493371EB240F5E42 Time : 0.0 sec. user=PCZ [2012-07-22 02:30:47] 797*2^1224518-1 is not prime. Res64: DAF6BA2B7AC942E4 Time : 0.0 sec. user=PCZ [2012-07-22 02:30:59] 825*2^1224466-1 is not prime. Res64: D95F43102B52E0DF Time : 0.0 sec. user=PCZ [2012-07-22 02:31:00] 603*2^1224466-1 is not prime. Res64: E8CBE2A3286343C9 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:06] 889*2^1224467-1 is not prime. Res64: B2418F31FBD69919 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:09] 801*2^1224467-1 is not prime. Res64: AA17C90B846710AA Time : 0.0 sec. user=PCZ [2012-07-22 02:31:13] 861*2^1224467-1 is not prime. Res64: 7778EAABEDCB58C4 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:19] 873*2^1224466-1 is not prime. Res64: C55724CF4508B9E8 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:19] 963*2^1224467-1 is not prime. Res64: E8337B19290F26AD Time : 0.0 sec. user=PCZ [2012-07-22 02:31:24] 979*2^1224467-1 is not prime. Res64: 685C6413C7C60F95 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:24] 801*2^1224518-1 is not prime. Res64: 0130B25573282901 Time : 0.0 sec. user=PCZ [2012-07-22 02:31:26] 981*2^1224467-1 is not prime. Res64: 944D6EFA5B7C59BC Time : 0.0 sec. user=PCZ [2012-07-22 02:31:33] 729*2^1224469-1 is not prime. Res64: F5F2C252117FAE4C Time : 0.0 sec. user=mdettweiler [2012-07-22 02:32:49] 887*2^1224516-1 is not prime. Res64: CA3A135BEE70EEC4 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:32:51] 899*2^1224516-1 is not prime. Res64: 59B9A8FC70852C00 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:34:26] 607*2^1224517-1 is not prime. Res64: 43E0B33681B02C72 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:34:27] 685*2^1224517-1 is not prime. Res64: 4F8F5C030CD8232E Time : 0.0 sec. user=PCZ [2012-07-22 02:34:59] 941*2^1224518-1 is not prime. Res64: DC083D2F4AF64120 Time : 0.0 sec. user=PCZ [2012-07-22 02:35:02] 723*2^1224519-1 is not prime. Res64: 22FC5DEA0D6AB02A Time : 0.0 sec. user=PCZ [2012-07-22 02:35:36] 723*2^1224520-1 is not prime. Res64: 910F785BC75DAA8A Time : 0.0 sec. user=PCZ [2012-07-22 02:35:39] 743*2^1224520-1 is not prime. Res64: 32576893AFBCE270 Time : 0.0 sec. user=PCZ [2012-07-22 02:37:15] 769*2^1224521-1 is not prime. Res64: 6E4D6E0B3F02C7A1 Time : 0.0 sec. user=PCZ [2012-07-22 02:37:17] 795*2^1224521-1 is not prime. Res64: E74646D3A17AD3BC Time : 0.0 sec. user=PCZ [2012-07-22 02:37:23] 867*2^1224521-1 is not prime. Res64: DA9F5B4C22D74C73 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:37:55] 737*2^1224516-1 is not prime. Res64: 9ADD0A06D00571D4 Time : 0.0 sec. user=PCZ [2012-07-22 02:37:58] 855*2^1224523-1 is not prime. Res64: 043DF8E73860C3EB Time : 0.0 sec. user=PCZ [2012-07-22 02:40:30] 735*2^1224519-1 is not prime. Res64: 55667BBA6C3561C2 Time : 0.0 sec. user=PCZ [2012-07-22 02:40:49] 813*2^1224520-1 is not prime. Res64: E8737D607E295D60 Time : 0.0 sec. user=PCZ [2012-07-22 02:41:07] 919*2^1224519-1 is not prime. Res64: A5E06EC08555AF83 Time : 0.0 sec. user=PCZ [2012-07-22 02:41:08] 923*2^1224524-1 is not prime. Res64: F1F682250C1330A5 Time : 0.0 sec. user=PCZ [2012-07-22 02:41:12] 957*2^1224524-1 is not prime. Res64: A42EAEFDD539EC51 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:41:20] 665*2^1224514-1 is not prime. Res64: 7BAFB513E8980687 Time : 0.0 sec. user=PCZ [2012-07-22 02:41:42] 625*2^1224525-1 is not prime. Res64: D82225545F33C62D Time : 0.0 sec. user=PCZ [2012-07-22 02:41:45] 859*2^1224525-1 is not prime. Res64: F63F7AAD800D063E Time : 0.0 sec. user=PCZ [2012-07-22 02:41:47] 741*2^1224521-1 is not prime. Res64: 54E30F9422314E98 Time : 0.0 sec. user=PCZ [2012-07-22 02:42:03] 887*2^1224520-1 is not prime. Res64: 69A547D926D9D7CB Time : 0.0 sec. user=PCZ [2012-07-22 02:42:12] 909*2^1224520-1 is not prime. Res64: 5D3C792A75BB16D9 Time : 0.0 sec. user=PCZ [2012-07-22 02:42:15] 975*2^1224520-1 is not prime. Res64: 3F5A9D6386BE688F Time : 0.0 sec. user=PCZ [2012-07-22 02:42:31] 607*2^1224521-1 is not prime. Res64: EE6AF03E80435B08 Time : 0.0 sec. user=PCZ [2012-07-22 02:42:47] 745*2^1224521-1 is not prime. Res64: 98C0DB9255259793 Time : 0.0 sec. user=PCZ [2012-07-22 02:42:55] 747*2^1224521-1 is not prime. Res64: E012036DEDC184D8 Time : 0.0 sec. user=PCZ [2012-07-22 02:43:39] 825*2^1224522-1 is not prime. Res64: B351BB60267F6B71 Time : 0.0 sec. user=PCZ [2012-07-22 02:43:40] 611*2^1224522-1 is not prime. Res64: 339E7500EB52A6E4 Time : 0.0 sec. user=PCZ [2012-07-22 02:43:48] 833*2^1224522-1 is not prime. Res64: D1C1A386C07087DB Time : 0.0 sec. user=PCZ [2012-07-22 02:43:53] 867*2^1224522-1 is not prime. Res64: 30D9F77AB2121017 Time : 0.0 sec. user=PCZ [2012-07-22 02:43:59] 923*2^1224522-1 is not prime. Res64: BDDC5507977A71F0 Time : 0.0 sec. user=PCZ [2012-07-22 02:44:01] 723*2^1224526-1 is not prime. Res64: D2FB49803324825C Time : 0.0 sec. user=PCZ [2012-07-22 02:44:06] 755*2^1224526-1 is not prime. Res64: 7B0D73D1032C5ACC Time : 0.0 sec. user=PCZ [2012-07-22 02:44:07] 963*2^1224522-1 is not prime. Res64: 655CD54467CA0481 Time : 0.0 sec. user=PCZ [2012-07-22 02:44:07] 813*2^1224523-1 is not prime. Res64: 687E8E529F621ACB Time : 0.0 sec. user=PCZ [2012-07-22 02:44:13] 861*2^1224523-1 is not prime. Res64: 03583DB9CB1D7BA5 Time : 0.0 sec. user=PCZ [2012-07-22 02:44:17] 835*2^1224523-1 is not prime. Res64: 9D614AE7D66F73E8 Time : 0.0 sec. user=PCZ [2012-07-22 02:44:20] 961*2^1224523-1 is not prime. Res64: A036E200A8B865A2 Time : 0.0 sec. user=PCZ [2012-07-22 02:47:11] 955*2^1224525-1 is not prime. Res64: 4B894B813871D129 Time : 0.0 sec. user=PCZ [2012-07-22 02:47:22] 643*2^1224527-1 is not prime. Res64: 5AC5C1598265D4C4 Time : 0.0 sec. user=PCZ [2012-07-22 02:47:23] 663*2^1224527-1 is not prime. Res64: E0837A53DE062EAA Time : 0.0 sec. user=PCZ [2012-07-22 02:47:49] 825*2^1224526-1 is not prime. Res64: F871BCD8FCB4B0F5 Time : 0.0 sec. user=PCZ [2012-07-22 02:47:51] 759*2^1224527-1 is not prime. Res64: 07DBA967C317E292 Time : 0.0 sec. user=PCZ [2012-07-22 02:47:54] 781*2^1224527-1 is not prime. Res64: 6E184C355C5B1124 Time : 0.0 sec. user=PCZ [2012-07-22 02:50:37] 773*2^1224530-1 is not prime. Res64: 8A097C98F11AFA40 Time : 0.0 sec. user=PCZ [2012-07-22 02:50:41] 709*2^1224531-1 is not prime. Res64: D19391381D34B3E0 Time : 0.0 sec. user=PCZ [2012-07-22 02:52:58] 911*2^1224526-1 is not prime. Res64: 6D023AAB9D22B6A2 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:53:29] 629*2^1224524-1 is not prime. Res64: A22BB6E09799ED68 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:53:30] 773*2^1224524-1 is not prime. Res64: 7F57BF2E60E1347E Time : 0.0 sec. user=PCZ [2012-07-22 02:53:33] 675*2^1224532-1 is not prime. Res64: 80180E875A401F00 Time : 0.0 sec. user=PCZ [2012-07-22 02:53:35] 653*2^1224532-1 is not prime. Res64: 94BFADB3B561C86B Time : 0.0 sec. user=PCZ [2012-07-22 02:53:37] 621*2^1224527-1 is not prime. Res64: 041A4920FDDCB156 Time : 0.0 sec. user=PCZ [2012-07-22 02:53:43] 639*2^1224532-1 is not prime. Res64: A4F5FDC9ACACFA1E Time : 0.0 sec. user=PCZ [2012-07-22 02:53:44] 609*2^1224527-1 is not prime. Res64: 12FB6B43343A7963 Time : 0.0 sec. user=PCZ [2012-07-22 02:53:57] 705*2^1224532-1 is not prime. Res64: 4805AC280C9C6497 Time : 0.0 sec. user=PCZ [2012-07-22 02:54:03] 903*2^1224532-1 is not prime. Res64: 4C2E2288645E6685 Time : 0.0 sec. user=PCZ [2012-07-22 02:54:31] 923*2^1224532-1 is not prime. Res64: 27F1171E231547A9 Time : 0.0 sec. user=PCZ [2012-07-22 02:54:34] 799*2^1224527-1 is not prime. Res64: EF1EB2EDB6DC0072 Time : 0.0 sec. user=PCZ [2012-07-22 02:54:38] 813*2^1224527-1 is not prime. Res64: 75A3F6E1DE259B90 Time : 0.0 sec. user=PCZ [2012-07-22 02:54:44] 879*2^1224527-1 is not prime. Res64: 11A8E9B91B70E3CA Time : 0.0 sec. user=PCZ [2012-07-22 02:54:45] 831*2^1224527-1 is not prime. Res64: 3630500F647B6656 Time : 0.0 sec. user=PCZ [2012-07-22 02:55:04] 707*2^1224528-1 is not prime. Res64: 0CCB72776DD170D0 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:55:07] 873*2^1224524-1 is not prime. Res64: CDE7207AB6567288 Time : 0.0 sec. user=mdettweiler [2012-07-22 02:55:07] 903*2^1224524-1 is not prime. Res64: 723513E6193892AC Time : 0.0 sec. user=PCZ [2012-07-22 02:55:23] 797*2^1224528-1 is not prime. Res64: 9939B035857C48FE Time : 0.0 sec. user=PCZ [2012-07-22 02:55:26] 815*2^1224528-1 is not prime. Res64: D33AD60918FD1561 Time : 0.0 sec. user=PCZ [2012-07-22 02:56:31] 685*2^1224529-1 is not prime. Res64: 159468947A27FA24 Time : 0.0 sec. user=PCZ [2012-07-22 02:56:35] 691*2^1224529-1 is not prime. Res64: 908D68A1F68F0453 Time : 0.0 sec. user=PCZ [2012-07-22 02:56:36] 741*2^1224529-1 is not prime. Res64: B8F2AFEDC20A8C5B Time : 0.0 sec. user=PCZ [2012-07-22 02:56:50] 885*2^1224529-1 is not prime. Res64: 1856F8D8991D8AF4 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:00] 741*2^1224531-1 is not prime. Res64: D45CE64AFED75B96 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:00] 717*2^1224530-1 is not prime. Res64: B2ECE4B7CE22A3EF Time : 0.0 sec. user=PCZ [2012-07-22 02:57:01] 613*2^1224531-1 is not prime. Res64: A05394C1886EB8E3 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:01] 911*2^1224530-1 is not prime. Res64: 3571157FC6F06445 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:05] 961*2^1224531-1 is not prime. Res64: 1962E228D764B8A9 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:07] 913*2^1224531-1 is not prime. Res64: 676543B4C95B5E09 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:16] 965*2^1224532-1 is not prime. Res64: 90147F9A52905978 Time : 0.0 sec. user=PCZ [2012-07-22 02:57:17] 685*2^1224533-1 is not prime. Res64: 6BD5EC900004B574 Time : 0.0 sec. user=PCZ [2012-07-22 02:59:39] 805*2^1224533-1 is not prime. Res64: 3222E0C6FF0B9D1F Time : 0.0 sec. user=PCZ [2012-07-22 02:59:45] 859*2^1224533-1 is not prime. Res64: 34B3798DFF49C773 Time : 0.0 sec. user=PCZ [2012-07-22 03:00:05] 981*2^1224533-1 is not prime. Res64: 6A5CB510913BE1A4 Time : 0.0 sec. user=PCZ [2012-07-22 03:00:12] 991*2^1224533-1 is not prime. Res64: CD9DD011396519C6 Time : 0.0 sec. user=PCZ [2012-07-22 03:00:22] 955*2^1224533-1 is not prime. Res64: 68512713A961940F Time : 0.0 sec. user=PCZ [2012-07-22 03:01:09] 641*2^1224534-1 is not prime. Res64: 72C2038A274D3505 Time : 0.0 sec. user=PCZ [2012-07-22 03:03:52] 945*2^1224536-1 is not prime. Res64: 3977504CE5008510 Time : 0.0 sec. user=PCZ [2012-07-22 03:03:53] 659*2^1224536-1 is not prime. Res64: A74A45A1381E3DB5 Time : 0.0 sec. user=PCZ [2012-07-22 03:05:23] 745*2^1224533-1 is not prime. Res64: 202E801528D9AB11 Time : 0.0 sec. user=PCZ [2012-07-22 03:05:47] 717*2^1224537-1 is not prime. Res64: 4444702888A3C31C Time : 0.0 sec. user=PCZ [2012-07-22 03:05:54] 835*2^1224537-1 is not prime. Res64: 741545E81C07C575 Time : 0.0 sec. user=PCZ [2012-07-22 03:06:04] 871*2^1224533-1 is not prime. Res64: B5BFC97B186B2401 Time : 0.0 sec. user=PCZ [2012-07-22 03:06:18] 847*2^1224537-1 is not prime. Res64: 5D663D2F52399ABF Time : 0.0 sec. user=PCZ [2012-07-22 03:06:26] 945*2^1224537-1 is not prime. Res64: 4E816437E127B97F Time : 0.0 sec. user=PCZ [2012-07-22 03:06:33] 879*2^1224533-1 is not prime. Res64: 50575CFBCEED2A4F Time : 0.0 sec. user=PCZ [2012-07-22 03:06:54] 645*2^1224538-1 is not prime. Res64: 21A719DCB6B0EED5 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:07] 657*2^1224534-1 is not prime. Res64: 882FE9092237DDCB Time : 0.0 sec. user=PCZ [2012-07-22 03:07:14] 683*2^1224534-1 is not prime. Res64: 0A398482DC609241 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:17] 861*2^1224534-1 is not prime. Res64: 0084BC0AE7AD2BB3 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:32] 627*2^1224534-1 is not prime. Res64: D5DDAAB350EBB0E1 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:32] 873*2^1224534-1 is not prime. Res64: EE6004FA304F8746 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:48] 647*2^1224538-1 is not prime. Res64: 71CD10A31158B9C4 Time : 0.0 sec. user=PCZ [2012-07-22 03:07:57] 675*2^1224535-1 is not prime. Res64: CB92E80F3F079420 Time : 0.0 sec. user=PCZ [2012-07-22 03:08:00] 971*2^1224534-1 is not prime. Res64: 2464F49252B980CA Time : 0.0 sec. user=mdettweiler [2012-07-22 03:09:15] 761*2^1224526-1 is not prime. Res64: 2C48F1C332C35C13 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:22] 789*2^1224535-1 is not prime. Res64: 44A913A79279A953 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:23] 843*2^1224535-1 is not prime. Res64: F224AA273E8FDFB2 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:25] 859*2^1224535-1 is not prime. Res64: 891F5AF1CAECFF35 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:40] 861*2^1224535-1 is not prime. Res64: 62B03A0BED8AA1FE Time : 0.0 sec. user=PCZ [2012-07-22 03:09:45] 909*2^1224535-1 is not prime. Res64: 813B28727C0EB4AB Time : 0.0 sec. user=PCZ [2012-07-22 03:09:51] 617*2^1224536-1 is not prime. Res64: 7A4288B96D72CF85 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:53] 889*2^1224535-1 is not prime. Res64: 40B79C80B844AF38 Time : 0.0 sec. user=PCZ [2012-07-22 03:09:58] 885*2^1224535-1 is not prime. Res64: 42C548959104FF40 Time : 0.0 sec. user=PCZ [2012-07-22 03:10:00] 973*2^1224535-1 is not prime. Res64: CE823AD88FCF862F Time : 0.0 sec. user=PCZ [2012-07-22 03:10:06] 969*2^1224535-1 is not prime. Res64: CDBC4A95CA446BE0 Time : 0.0 sec. user=PCZ [2012-07-22 03:10:28] 681*2^1224538-1 is not prime. Res64: ED785A66C2F60D35 Time : 0.0 sec. user=PCZ [2012-07-22 03:10:47] 747*2^1224538-1 is not prime. Res64: 90DEC85191DE3472 Time : 0.0 sec. user=PCZ [2012-07-22 03:12:00] 891*2^1224538-1 is not prime. Res64: EF05B635E163D7F5 Time : 0.0 sec. user=PCZ [2012-07-22 03:12:02] 923*2^1224538-1 is not prime. Res64: A2F050CB58F7C376 Time : 0.0 sec. user=PCZ [2012-07-22 03:12:32] 981*2^1224538-1 is not prime. Res64: 6B9D5FF1E7B328C0 Time : 0.0 sec. user=PCZ [2012-07-22 03:12:39] 685*2^1224539-1 is not prime. Res64: 098A00BA4FFD39E7 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:12:40] 669*2^1224527-1 is not prime. Res64: 8CD86356F32C020C Time : 0.0 sec. user=PCZ [2012-07-22 03:13:31] 999*2^1224539-1 is not prime. Res64: D9392E99439E8BA8 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:14:07] 775*2^1224533-1 is not prime. Res64: D4140E162EC8622C Time : 0.0 sec. user=mdettweiler [2012-07-22 03:14:08] 801*2^1224533-1 is not prime. Res64: 79238246819C25CD Time : 0.0 sec. user=mdettweiler [2012-07-22 03:15:45] 921*2^1224534-1 is not prime. Res64: F1CCAE1896A2AE75 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:15:45] 951*2^1224534-1 is not prime. Res64: 6FCA02E33B3B278A Time : 0.0 sec. user=PCZ [2012-07-22 03:17:14] 825*2^1224543-1 is not prime. Res64: 8499342B55CBFB85 Time : 0.0 sec. user=PCZ [2012-07-22 03:17:27] 853*2^1224543-1 is not prime. Res64: DF1530CDDDACA412 Time : 0.0 sec. user=PCZ [2012-07-22 03:17:53] 885*2^1224538-1 is not prime. Res64: 7241093852876327 Time : 0.0 sec. user=PCZ [2012-07-22 03:18:11] 675*2^1224544-1 is not prime. Res64: 1FBE48EE398424FC Time : 0.0 sec. user=PCZ [2012-07-22 03:18:15] 949*2^1224543-1 is not prime. Res64: 069973CDDDDC4672 Time : 0.0 sec. user=PCZ [2012-07-22 03:18:31] 945*2^1224538-1 is not prime. Res64: F7CC1AB215AE70E7 Time : 0.0 sec. user=PCZ [2012-07-22 03:18:45] 677*2^1224544-1 is not prime. Res64: A08998D107DC143D Time : 0.0 sec. user=PCZ [2012-07-22 03:18:52] 743*2^1224544-1 is not prime. Res64: 263C4DA0645F8157 Time : 0.0 sec. user=PCZ [2012-07-22 03:19:45] 753*2^1224540-1 is not prime. Res64: 22B7688C87EECBCD Time : 0.0 sec. user=PCZ [2012-07-22 03:19:49] 797*2^1224540-1 is not prime. Res64: 6293C4F100C9D637 Time : 0.0 sec. user=PCZ [2012-07-22 03:19:50] 759*2^1224540-1 is not prime. Res64: C766EE36136147F3 Time : 0.0 sec. user=vaughan [2012-07-22 03:19:53] 935*2^1224518-1 is not prime. Res64: 192A7216F8199A55 Time : 0.0 sec. user=PCZ [2012-07-22 03:19:58] 863*2^1224540-1 is not prime. Res64: C57AB3E7F16114AA Time : 0.0 sec. user=PCZ [2012-07-22 03:20:29] 727*2^1224541-1 is not prime. Res64: A669071318F69DF1 Time : 0.0 sec. user=PCZ [2012-07-22 03:20:31] 769*2^1224541-1 is not prime. Res64: 3E0DBCBA7E550867 Time : 0.0 sec. user=PCZ [2012-07-22 03:21:35] 869*2^1224544-1 is not prime. Res64: 4F2F4FD043715A86 Time : 0.0 sec. user=juhehe [2012-07-22 03:28:21] 959*2^1224528-1 is not prime. Res64: 0E19D8EAC8E7A705 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:34:46] 843*2^1224544-1 is not prime. Res64: 96BD210BAADE1FC4 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:34:47] 855*2^1224544-1 is not prime. Res64: C77743C395D09B52 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:36:22] 981*2^1224545-1 is not prime. Res64: 985C1CE50A1784DE Time : 0.0 sec. user=mdettweiler [2012-07-22 03:44:14] 829*2^1224541-1 is not prime. Res64: 013B514F064DDE71 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:51:16] 707*2^1224544-1 is not prime. Res64: B38EC9736FFC707C Time : 0.0 sec. user=mdettweiler [2012-07-22 03:55:23] 621*2^1224549-1 is not prime. Res64: 227F55CC927C6532 Time : 0.0 sec. user=mdettweiler [2012-07-22 03:55:23] 727*2^1224549-1 is not prime. Res64: 4879837D6B25F780 Time : 0.0 sec. user=juhehe [2012-07-22 04:12:46] 993*2^1224548-1 is not prime. Res64: 9C1B56B3C967D0B3 Time : 0.0 sec. user=vaughan [2012-07-22 04:14:31] 803*2^1224548-1 is not prime. Res64: 49B1085FD24385CC Time : 0.0 sec. user=mdettweiler [2012-07-22 04:16:01] 999*2^1224549-1 is not prime. Res64: 74BF5717B53F8BC6 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:16:02] 611*2^1224550-1 is not prime. Res64: 47B08EDCA2B5C211 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:16:58] 741*2^1224546-1 is not prime. Res64: 04FFA5894741D527 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:36:39] 663*2^1224550-1 is not prime. Res64: 441D5D7DF3305BDB Time : 0.0 sec. user=mdettweiler [2012-07-22 04:36:39] 687*2^1224550-1 is not prime. Res64: 991CA9E587FAB146 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:37:35] 717*2^1224550-1 is not prime. Res64: 20C39EE0B1BB6F8C Time : 0.0 sec. user=mdettweiler [2012-07-22 04:37:35] 945*2^1224550-1 is not prime. Res64: B2D300D345980A3C Time : 0.0 sec. user=mdettweiler [2012-07-22 04:38:54] 837*2^1224549-1 is not prime. Res64: 32123321F23A65B8 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:41:42] 831*2^1224549-1 is not prime. Res64: C6CBAEED725F6A76 Time : 0.0 sec. user=gd_barnes [2012-07-22 04:49:28] 657*2^1224550-1 is not prime. Res64: F22354F6B2455011 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:57:15] 643*2^1224551-1 is not prime. Res64: B2AD27505468590F Time : 0.0 sec. user=mdettweiler [2012-07-22 04:57:16] 663*2^1224551-1 is not prime. Res64: 14E026B614941F55 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:58:11] 703*2^1224551-1 is not prime. Res64: BE91203C6F632F13 Time : 0.0 sec. user=mdettweiler [2012-07-22 04:58:11] 823*2^1224551-1 is not prime. Res64: F98E2BAC9A4F8625 Time : 0.0 sec. user=gd_barnes [2012-07-22 05:01:17] 971*2^1224550-1 is not prime. Res64: 5AA9EBAE5E474F88 Time : 0.0 sec. user=vaughan [2012-07-22 05:09:09] 647*2^1224550-1 is not prime. Res64: 66DF06A05265F5B8 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:17:53] 633*2^1224552-1 is not prime. Res64: E5FDEE183EA19816 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:17:54] 779*2^1224552-1 is not prime. Res64: 5AE4A197F28E6889 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:18:47] 863*2^1224552-1 is not prime. Res64: CC658E095EA1A60C Time : 0.0 sec. user=mdettweiler [2012-07-22 05:18:48] 639*2^1224553-1 is not prime. Res64: 55FD049AC010EF3B Time : 0.0 sec. user=mdettweiler [2012-07-22 05:28:30] 609*2^1224552-1 is not prime. Res64: 8B703A322EF8BE6A Time : 0.0 sec. user=mdettweiler [2012-07-22 05:29:41] 859*2^1224551-1 is not prime. Res64: E2B1A2415A3461E3 Time : 0.0 sec. user=juhehe [2012-07-22 05:38:11] 629*2^1224552-1 is not prime. Res64: BB5E5D992F9A7E31 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:38:32] 729*2^1224553-1 is not prime. Res64: A6F33BEBEA663A95 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:38:33] 789*2^1224553-1 is not prime. Res64: 25888E9C6BC37F1A Time : 0.0 sec. user=mdettweiler [2012-07-22 05:39:23] 807*2^1224553-1 is not prime. Res64: 25F12517316E9563 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:39:24] 855*2^1224553-1 is not prime. Res64: AEA275AAD7C21BCE Time : 0.0 sec. user=mdettweiler [2012-07-22 05:59:10] 701*2^1224554-1 is not prime. Res64: 49917159DAED12DD Time : 0.0 sec. user=mdettweiler [2012-07-22 05:59:10] 755*2^1224554-1 is not prime. Res64: 610794EB28714D66 Time : 0.0 sec. user=mdettweiler [2012-07-22 05:59:13] 951*2^1224553-1 is not prime. Res64: CF5D8118314C5F77 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:00:01] 773*2^1224554-1 is not prime. Res64: EE1A7300A3A97569 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:00:01] 619*2^1224555-1 is not prime. Res64: 2007F459410EE617 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:00:22] 955*2^1224553-1 is not prime. Res64: 7E70F9B45066F547 Time : 0.0 sec. user=vaughan [2012-07-22 06:03:45] 687*2^1224553-1 is not prime. Res64: 24D25466B22DEB32 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:19:47] 781*2^1224555-1 is not prime. Res64: 46F1DFB4D064803E Time : 0.0 sec. user=mdettweiler [2012-07-22 06:19:47] 871*2^1224555-1 is not prime. Res64: 30F9652A26808804 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:20:42] 913*2^1224555-1 is not prime. Res64: F452CF5753CA9C14 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:20:42] 919*2^1224555-1 is not prime. Res64: A7CBAD24AC7164E7 Time : 0.0 sec. user=juhehe [2012-07-22 06:21:16] 645*2^1224554-1 is not prime. Res64: AAD2C16528176620 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:30:10] 895*2^1224555-1 is not prime. Res64: 9EFCA0C19D300D3C Time : 0.0 sec. user=mdettweiler [2012-07-22 06:31:16] 963*2^1224555-1 is not prime. Res64: A2EA919CB7105B42 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:40:26] 933*2^1224556-1 is not prime. Res64: 22AA72DE1CA5E7B5 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:40:27] 965*2^1224556-1 is not prime. Res64: 12EFDF09D4D9894C Time : 0.0 sec. user=mdettweiler [2012-07-22 06:41:19] 983*2^1224556-1 is not prime. Res64: E998E36D6E7D8612 Time : 0.0 sec. user=mdettweiler [2012-07-22 06:41:20] 601*2^1224557-1 is not prime. Res64: 78055CB7A5C868D0 Time : 0.0 sec. user=vaughan [2012-07-22 06:58:20] 639*2^1224556-1 is not prime. Res64: C6CE5A0FC1052D0A Time : 0.0 sec. user=mdettweiler [2012-07-22 07:00:55] 607*2^1224557-1 is not prime. Res64: 43A6F9EAA7981334 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:01:05] 697*2^1224557-1 is not prime. Res64: D3D383496A17CBDC Time : 0.0 sec. user=mdettweiler [2012-07-22 07:01:06] 715*2^1224557-1 is not prime. Res64: 3C4E97A7F7472A8B Time : 0.0 sec. user=mdettweiler [2012-07-22 07:01:56] 777*2^1224557-1 is not prime. Res64: 8F49A443ADF1F271 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:01:57] 801*2^1224557-1 is not prime. Res64: 9130ECAEE6618052 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:02:02] 649*2^1224557-1 is not prime. Res64: 12D801833B5A8040 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:21:43] 663*2^1224558-1 is not prime. Res64: CBF0256AB9D0D374 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:21:44] 681*2^1224558-1 is not prime. Res64: E5C35C48A3BF5700 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:22:37] 711*2^1224558-1 is not prime. Res64: 7BA81AF76003760B Time : 0.0 sec. user=mdettweiler [2012-07-22 07:22:37] 755*2^1224558-1 is not prime. Res64: 11BB027FF228DE0B Time : 0.0 sec. user=mdettweiler [2012-07-22 07:31:36] 945*2^1224557-1 is not prime. Res64: 170379EB5F1C4F9F Time : 0.0 sec. user=mdettweiler [2012-07-22 07:32:38] 821*2^1224558-1 is not prime. Res64: 9400D772FE9325B8 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:42:23] 833*2^1224558-1 is not prime. Res64: 3357A14A17EAAFB7 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:42:24] 975*2^1224558-1 is not prime. Res64: E7EE5023565F9C95 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:43:14] 619*2^1224559-1 is not prime. Res64: 2B63C6F630843281 Time : 0.0 sec. user=mdettweiler [2012-07-22 07:43:15] 681*2^1224559-1 is not prime. Res64: C7F859BC5BF39843 Time : 0.0 sec. user=juhehe [2012-07-22 07:44:15] 635*2^1224558-1 is not prime. Res64: 03CAFCFC5A016A34 Time : 0.0 sec. user=vaughan [2012-07-22 07:52:56] 859*2^1224557-1 is not prime. Res64: FE895C6AAFAC4499 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:02:29] 693*2^1224559-1 is not prime. Res64: 9BD7B1E15BA8D189 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:03:01] 723*2^1224559-1 is not prime. Res64: 16F25AA9EFB3F369 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:03:02] 759*2^1224559-1 is not prime. Res64: B4E2C922A2B111F2 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:03:29] 709*2^1224559-1 is not prime. Res64: 0C3A3537C1B61A77 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:03:51] 831*2^1224559-1 is not prime. Res64: 8CEA67CFC16230A2 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:03:53] 919*2^1224559-1 is not prime. Res64: D98C14CC977C5448 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:23:39] 663*2^1224560-1 is not prime. Res64: D3E0CFB5B35469E7 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:23:41] 665*2^1224560-1 is not prime. Res64: 1C95555C4EE46C68 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:24:29] 755*2^1224560-1 is not prime. Res64: B641394A2EFEE20F Time : 0.0 sec. user=mdettweiler [2012-07-22 08:24:30] 827*2^1224560-1 is not prime. Res64: 38CCF1E083EB4E8F Time : 0.0 sec. user=juhehe [2012-07-22 08:29:07] 939*2^1224559-1 is not prime. Res64: B1FBD951C8142726 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:33:50] 633*2^1224560-1 is not prime. Res64: 33FB7A04E0B87916 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:34:53] 669*2^1224560-1 is not prime. Res64: 342D349E09CAEAD7 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:44:33] 857*2^1224560-1 is not prime. Res64: DBDC2CF213E03CCA Time : 0.0 sec. user=mdettweiler [2012-07-22 08:44:34] 705*2^1224561-1 is not prime. Res64: BD5EDB1D17CEC937 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:45:07] 711*2^1224561-1 is not prime. Res64: 70492AB989893627 Time : 0.0 sec. user=mdettweiler [2012-07-22 08:45:08] 789*2^1224561-1 is not prime. Res64: 2B9EA9403F4DE940 Time : 0.0 sec. user=vaughan [2012-07-22 08:47:32] 985*2^1224559-1 is not prime. Res64: BF81085B0BD87389 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:04:41] 795*2^1224561-1 is not prime. Res64: 28E9D1A91FA1AE92 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:05:11] 955*2^1224561-1 is not prime. Res64: EDF19FB99C4A2A80 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:05:11] 653*2^1224562-1 is not prime. Res64: 426DB8AFE81566A8 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:05:36] 861*2^1224561-1 is not prime. Res64: B7D8C08B269218F2 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:05:45] 657*2^1224562-1 is not prime. Res64: 3DCB780AD9896980 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:05:47] 695*2^1224562-1 is not prime. Res64: 1A1F6A18012FCCC3 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:25:49] 755*2^1224562-1 is not prime. Res64: 07D682A3379C0DDA Time : 0.0 sec. user=mdettweiler [2012-07-22 09:25:50] 885*2^1224562-1 is not prime. Res64: 1C574C70FCC47D7B Time : 0.0 sec. user=mdettweiler [2012-07-22 09:26:30] 915*2^1224562-1 is not prime. Res64: 33C47DE594A23A2D Time : 0.0 sec. user=mdettweiler [2012-07-22 09:26:30] 923*2^1224562-1 is not prime. Res64: AB574293F2B82A29 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:35:33] 723*2^1224562-1 is not prime. Res64: B4E4A5A82E26E171 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:36:21] 891*2^1224562-1 is not prime. Res64: 3C35BDF7925CD9AE Time : 0.0 sec. user=vaughan [2012-07-22 09:42:06] 701*2^1224562-1 is not prime. Res64: CCA20F4567491AB5 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:46:40] 609*2^1224563-1 is not prime. Res64: 0A83D06A918CE6D5 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:46:40] 615*2^1224563-1 is not prime. Res64: 47930F370DE30E00 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:47:08] 663*2^1224563-1 is not prime. Res64: F7F10A774A9C50E3 Time : 0.0 sec. user=mdettweiler [2012-07-22 09:47:08] 679*2^1224563-1 is not prime. Res64: 8B34691D64481B3C Time : 0.0 sec. user=juhehe [2012-07-22 10:02:18] 987*2^1224562-1 is not prime. Res64: 3BEC029056F188A9 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:06:19] 703*2^1224563-1 is not prime. Res64: D9FE39E4B2A4D4FB Time : 0.0 sec. user=mdettweiler [2012-07-22 10:06:59] 955*2^1224563-1 is not prime. Res64: 2BA45E933BC0222F Time : 0.0 sec. user=mdettweiler [2012-07-22 10:07:20] 959*2^1224564-1 is not prime. Res64: 1EEAE7A03F21D231 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:07:22] 691*2^1224565-1 is not prime. Res64: EBA22DCDD2D0E7E5 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:07:44] 741*2^1224565-1 is not prime. Res64: B60C110929FFC7C9 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:07:45] 759*2^1224565-1 is not prime. Res64: A4D546DFA33F2350 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:28:05] 859*2^1224565-1 is not prime. Res64: CD47F25D72B199A1 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:28:05] 957*2^1224565-1 is not prime. Res64: 25D4EE239928DA88 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:28:22] 997*2^1224565-1 is not prime. Res64: 5A1643AA29679841 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:28:22] 623*2^1224566-1 is not prime. Res64: CC9CE64D468E47FA Time : 0.0 sec. user=vaughan [2012-07-22 10:36:43] 627*2^1224564-1 is not prime. Res64: DDFB94D9F4604A76 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:37:04] 811*2^1224565-1 is not prime. Res64: 365E308420B8945B Time : 0.0 sec. user=mdettweiler [2012-07-22 10:37:47] 831*2^1224565-1 is not prime. Res64: 870D0DE784DC4E78 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:48:50] 717*2^1224566-1 is not prime. Res64: FC205A38C512915D Time : 0.0 sec. user=mdettweiler [2012-07-22 10:48:50] 747*2^1224566-1 is not prime. Res64: B9F9B462D2D952F2 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:48:59] 813*2^1224566-1 is not prime. Res64: 3DC5D4FE55384C68 Time : 0.0 sec. user=mdettweiler [2012-07-22 10:49:00] 917*2^1224566-1 is not prime. Res64: 2724AFB35DBEA57A Time : 0.0 sec. user=juhehe [2012-07-22 10:59:38] 799*2^1224565-1 is not prime. Res64: 367AA5D04CC6AA3F Time : 0.0 sec. user=mdettweiler [2012-07-22 11:07:51] 669*2^1224567-1 is not prime. Res64: 45FD2D88E0E32A57 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:08:37] 741*2^1224567-1 is not prime. Res64: 0543FBDFEC8B3490 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:09:47] 795*2^1224567-1 is not prime. Res64: C409F235293BD1F2 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:09:49] 885*2^1224567-1 is not prime. Res64: FD5F9783CB864C9B Time : 0.0 sec. user=mdettweiler [2012-07-22 11:09:59] 677*2^1224568-1 is not prime. Res64: 7592BA4B49937F6A Time : 0.0 sec. user=mdettweiler [2012-07-22 11:10:00] 923*2^1224568-1 is not prime. Res64: 4CA98795EB0CBF0A Time : 0.0 sec. user=vaughan [2012-07-22 11:31:24] 983*2^1224566-1 is not prime. Res64: 421AA0176563C9E4 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:31:41] 747*2^1224569-1 is not prime. Res64: 10FF47AD220EA6B0 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:31:41] 861*2^1224569-1 is not prime. Res64: 9B0CC26CFC7C3E48 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:31:49] 949*2^1224569-1 is not prime. Res64: 6387E0331F1C9B29 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:31:49] 997*2^1224569-1 is not prime. Res64: 1B2EC7E703369D5A Time : 0.0 sec. user=mdettweiler [2012-07-22 11:38:39] 947*2^1224568-1 is not prime. Res64: F957050F862C20D5 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:39:31] 631*2^1224569-1 is not prime. Res64: 732249E3A64AE1A5 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:53:24] 801*2^1224570-1 is not prime. Res64: 6EC16FC932EDFD47 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:53:24] 803*2^1224570-1 is not prime. Res64: B94824DD8786A013 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:53:32] 933*2^1224570-1 is not prime. Res64: 2427DD6F2FC570C3 Time : 0.0 sec. user=mdettweiler [2012-07-22 11:53:33] 963*2^1224570-1 is not prime. Res64: EB969CDE4A6C5B0B Time : 0.0 sec. user=mdettweiler [2012-07-22 12:10:29] 603*2^1224571-1 is not prime. Res64: D695ADE0EFB67260 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:11:36] 783*2^1224571-1 is not prime. Res64: F8B6C9BB76C0AB0E Time : 0.0 sec. user=mdettweiler [2012-07-22 12:14:34] 789*2^1224571-1 is not prime. Res64: BE7260601534D9CC Time : 0.0 sec. user=mdettweiler [2012-07-22 12:14:35] 969*2^1224571-1 is not prime. Res64: 15F5D1475C380A05 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:14:41] 669*2^1224572-1 is not prime. Res64: 0D71F856BD909245 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:14:42] 717*2^1224572-1 is not prime. Res64: 66ED4A5DCBBBFD4E Time : 0.0 sec. user=juhehe [2012-07-22 12:23:33] 685*2^1224571-1 is not prime. Res64: 8528FD14FC7E08F2 Time : 0.0 sec. user=vaughan [2012-07-22 12:26:08] 765*2^1224570-1 is not prime. Res64: 46235C06A70FE0B0 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:35:14] 999*2^1224572-1 is not prime. Res64: DD5914E0712D23C2 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:35:14] 669*2^1224573-1 is not prime. Res64: A494AD113AE3CA03 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:35:20] 727*2^1224573-1 is not prime. Res64: D3C5A810700B6102 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:35:21] 741*2^1224573-1 is not prime. Res64: 5A28525FB972B7C9 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:47:15] 755*2^1224572-1 is not prime. Res64: E3B228DD3F768A82 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:49:00] 797*2^1224572-1 is not prime. Res64: BDB206941FEEC135 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:55:52] 837*2^1224573-1 is not prime. Res64: A074EBDDAD24D0D3 Time : 0.0 sec. user=mdettweiler [2012-07-22 12:55:52] 847*2^1224573-1 is not prime. Res64: 44990CC428165D4C Time : 0.0 sec. user=mdettweiler [2012-07-22 12:55:59] 849*2^1224573-1 is not prime. Res64: A30A812341F1D84A Time : 0.0 sec. user=mdettweiler [2012-07-22 12:56:00] 867*2^1224573-1 is not prime. Res64: 0662FCCCBC9D4FF5 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:16:30] 671*2^1224574-1 is not prime. Res64: 2978193D2928D30F Time : 0.0 sec. user=mdettweiler [2012-07-22 13:16:31] 737*2^1224574-1 is not prime. Res64: 055782AC9EC8CD89 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:16:38] 885*2^1224574-1 is not prime. Res64: 450886A153213A80 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:16:39] 903*2^1224574-1 is not prime. Res64: FEC0B3A552727507 Time : 0.0 sec. user=vaughan [2012-07-22 13:20:45] 765*2^1224573-1 is not prime. Res64: 91A5B5DAD8E8B573 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:22:37] 987*2^1224573-1 is not prime. Res64: ED805308D630BC31 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:24:33] 611*2^1224574-1 is not prime. Res64: 3EB5F34868D43A92 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:37:17] 965*2^1224574-1 is not prime. Res64: E98EBD6041D12856 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:37:17] 603*2^1224575-1 is not prime. Res64: 8760208DA6116768 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:37:21] 619*2^1224575-1 is not prime. Res64: A23221EEA3E20E6D Time : 0.0 sec. user=mdettweiler [2012-07-22 13:37:21] 661*2^1224575-1 is not prime. Res64: F87807A8F1C05053 Time : 0.0 sec. user=juhehe [2012-07-22 13:48:55] 951*2^1224574-1 is not prime. Res64: 8AFF6CEC633A3CD7 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:57:11] 775*2^1224575-1 is not prime. Res64: C9425DCD7240E9D3 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:57:55] 915*2^1224575-1 is not prime. Res64: 1C54FB2D9637AD90 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:57:55] 973*2^1224575-1 is not prime. Res64: AB9AB4BE5636DED9 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:57:58] 615*2^1224576-1 is not prime. Res64: 6F12DFBDCA9283E4 Time : 0.0 sec. user=mdettweiler [2012-07-22 13:57:59] 669*2^1224576-1 is not prime. Res64: E22E4B5F16155698 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:01:04] 855*2^1224575-1 is not prime. Res64: 05328537C6FBEB67 Time : 0.0 sec. user=vaughan [2012-07-22 14:15:20] 679*2^1224575-1 is not prime. Res64: AAB089C093C2F700 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:18:32] 809*2^1224576-1 is not prime. Res64: AED4B703F1D3F1F0 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:18:33] 923*2^1224576-1 is not prime. Res64: 9B4B19BE487CB459 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:18:36] 609*2^1224577-1 is not prime. Res64: C745071BAF9CD43F Time : 0.0 sec. user=mdettweiler [2012-07-22 14:18:37] 639*2^1224577-1 is not prime. Res64: A0022241379ECA5C Time : 0.0 sec. user=mdettweiler [2012-07-22 14:32:49] 737*2^1224576-1 is not prime. Res64: 4D7199CD2A9F9480 Time : 0.0 sec. user=juhehe [2012-07-22 14:34:15] 689*2^1224576-1 is not prime. Res64: 2EA9B240F72E98F4 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:36:44] 645*2^1224577-1 is not prime. Res64: 7DFD426F59C9BE51 Time : 0.0 sec. user=gd_barnes [2012-07-22 14:39:04] 835*2^1224577-1 is not prime. Res64: 2938A69BF8C78FDB Time : 0.0 sec. user=mdettweiler [2012-07-22 14:39:10] 641*2^1224578-1 is not prime. Res64: 74B3C91B33F45648 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:39:11] 743*2^1224578-1 is not prime. Res64: 2CA3192736785381 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:39:15] 755*2^1224578-1 is not prime. Res64: 8C9344F4429FB0DE Time : 0.0 sec. user=mdettweiler [2012-07-22 14:39:16] 801*2^1224578-1 is not prime. Res64: 592F9699E40676CB Time : 0.0 sec. user=mdettweiler [2012-07-22 14:59:48] 945*2^1224578-1 is not prime. Res64: 2ED406163038A73F Time : 0.0 sec. user=mdettweiler [2012-07-22 14:59:48] 1001*2^1224578-1 is not prime. Res64: 586F58943B38D94B Time : 0.0 sec. user=mdettweiler [2012-07-22 14:59:52] 723*2^1224579-1 is not prime. Res64: 000BBA2B53770B65 Time : 0.0 sec. user=mdettweiler [2012-07-22 14:59:53] 735*2^1224579-1 is not prime. Res64: D09F243B18409B2E Time : 0.0 sec. user=mdettweiler [2012-07-22 15:08:42] 825*2^1224578-1 is not prime. Res64: C18CD9A1EC1D3AB3 Time : 0.0 sec. user=vaughan [2012-07-22 15:09:52] 603*2^1224578-1 is not prime. Res64: C280A50EDCD9867E Time : 0.0 sec. user=mdettweiler [2012-07-22 15:12:40] 843*2^1224578-1 is not prime. Res64: 5ECC154D5853483B Time : 0.0 sec. user=mdettweiler [2012-07-22 15:20:27] 745*2^1224579-1 is not prime. Res64: 69883B41C1F27521 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:20:27] 825*2^1224579-1 is not prime. Res64: D1B09FD4184D1EF3 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:20:30] 873*2^1224579-1 is not prime. Res64: 8A49ADB3668AC113 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:20:30] 919*2^1224579-1 is not prime. Res64: 250DD5B7C7A5623C Time : 0.0 sec. user=mdettweiler [2012-07-22 15:41:11] 657*2^1224581-1 is not prime. Res64: C9F0EECF5F46285B Time : 0.0 sec. user=mdettweiler [2012-07-22 15:41:11] 955*2^1224581-1 is not prime. Res64: 0AAD026854068F40 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:41:13] 653*2^1224582-1 is not prime. Res64: 58A30CB2EA5DFE11 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:41:14] 693*2^1224582-1 is not prime. Res64: 9180D5AB954F6A3D Time : 0.0 sec. user=mdettweiler [2012-07-22 15:44:04] 699*2^1224580-1 is not prime. Res64: 96CD9F3739B34F95 Time : 0.0 sec. user=mdettweiler [2012-07-22 15:48:03] 989*2^1224580-1 is not prime. Res64: 68FE2CC2BC6D403B Time : 0.0 sec. user=mdettweiler [2012-07-22 16:01:50] 843*2^1224582-1 is not prime. Res64: D7E505D6FF1730CA Time : 0.0 sec. user=mdettweiler [2012-07-22 16:01:51] 893*2^1224582-1 is not prime. Res64: 6A4571D31FDA9FB8 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:01:52] 947*2^1224582-1 is not prime. Res64: A312730D289246C9 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:01:54] 975*2^1224582-1 is not prime. Res64: 82914F79CE73907F Time : 0.0 sec. user=vaughan [2012-07-22 16:04:27] 743*2^1224580-1 is not prime. Res64: E60F41E6ECC4C73E Time : 0.0 sec. user=juhehe [2012-07-22 16:06:33] 615*2^1224581-1 is not prime. Res64: 21D249BCC919DD67 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:19:39] 673*2^1224583-1 is not prime. Res64: 4AF3436ED9C2D63E Time : 0.0 sec. user=mdettweiler [2012-07-22 16:22:47] 709*2^1224583-1 is not prime. Res64: 7D26B8ED63B6DCAE Time : 0.0 sec. user=mdettweiler [2012-07-22 16:22:47] 925*2^1224583-1 is not prime. Res64: 10958B6160DCF5D2 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:22:48] 811*2^1224583-1 is not prime. Res64: 9CC9FE516D36D06F Time : 0.0 sec. user=mdettweiler [2012-07-22 16:22:48] 675*2^1224584-1 is not prime. Res64: 4A368F7BDD7C8D96 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:23:46] 685*2^1224583-1 is not prime. Res64: 812CF0E55FF18E57 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:43:27] 843*2^1224584-1 is not prime. Res64: 0FE060E3EC83DA00 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:43:27] 903*2^1224584-1 is not prime. Res64: 2BB3F4ABD024D789 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:43:28] 927*2^1224584-1 is not prime. Res64: 668964535E71A8F4 Time : 0.0 sec. user=mdettweiler [2012-07-22 16:43:29] 957*2^1224584-1 is not prime. Res64: 2EB103DFEF6F697B Time : 0.0 sec. user=mdettweiler [2012-07-22 16:55:27] 825*2^1224584-1 is not prime. Res64: 177729EDD68CEF64 Time : 0.0 sec. user=vaughan [2012-07-22 16:59:03] 689*2^1224584-1 is not prime. Res64: B07E506DE663066A Time : 0.0 sec. user=mdettweiler [2012-07-22 16:59:18] 995*2^1224584-1 is not prime. Res64: 85981043F9F4A00F Time : 0.0 sec. user=mdettweiler [2012-07-22 17:04:06] 741*2^1224585-1 is not prime. Res64: EDD2164A24FCFA55 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:04:07] 789*2^1224585-1 is not prime. Res64: CDB0E40370F0E576 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:04:11] 819*2^1224585-1 is not prime. Res64: 3C39EEF036757A25 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:04:14] 777*2^1224585-1 is not prime. Res64: AC197F0EA67A8B6A Time : 0.0 sec. user=juhehe [2012-07-22 17:18:07] 753*2^1224584-1 is not prime. Res64: CED68A061519270B Time : 0.0 sec. user=mdettweiler [2012-07-22 17:24:54] 651*2^1224586-1 is not prime. Res64: 99A3FE008609815C Time : 0.0 sec. user=mdettweiler [2012-07-22 17:24:54] 717*2^1224586-1 is not prime. Res64: EFFCA4CF307E3E74 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:24:56] 803*2^1224586-1 is not prime. Res64: 025343878D3A9A53 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:24:57] 861*2^1224586-1 is not prime. Res64: FA9F84A57F4F74C5 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:37:07] 937*2^1224585-1 is not prime. Res64: E0EE16586D201B7C Time : 0.0 sec. user=mdettweiler [2012-07-22 17:41:38] 635*2^1224586-1 is not prime. Res64: 6D52E3260DEACB1B Time : 0.0 sec. user=gd_barnes [2012-07-22 17:42:56] 957*2^1224586-1 is not prime. Res64: 75EB358D0C012949 Time : 0.0 sec. user=gd_barnes [2012-07-22 17:43:04] 981*2^1224586-1 is not prime. Res64: 733E89535D072BDE Time : 0.0 sec. user=mdettweiler [2012-07-22 17:45:43] 631*2^1224587-1 is not prime. Res64: 9DCF1D4A84B92B60 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:45:43] 675*2^1224587-1 is not prime. Res64: 55B626D8BD4ADD1A Time : 0.0 sec. user=mdettweiler [2012-07-22 17:45:44] 693*2^1224587-1 is not prime. Res64: 568B8F7D6E592AF0 Time : 0.0 sec. user=mdettweiler [2012-07-22 17:45:44] 759*2^1224587-1 is not prime. Res64: C434ACDD2696B676 Time : 0.0 sec. user=vaughan [2012-07-22 17:53:39] 623*2^1224586-1 is not prime. Res64: A6301EA924C25EDD Time : 0.0 sec. user=mdettweiler [2012-07-22 18:06:45] 753*2^1224588-1 is not prime. Res64: D4BF3441B26A67F7 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:06:46] 875*2^1224588-1 is not prime. Res64: 80DBFDBCFD4E2B3E Time : 0.0 sec. user=mdettweiler [2012-07-22 18:06:47] 837*2^1224588-1 is not prime. Res64: 1BE5C82BA9A343F3 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:06:50] 899*2^1224588-1 is not prime. Res64: D1B207D96FB0A5AA Time : 0.0 sec. user=mdettweiler [2012-07-22 18:27:36] 609*2^1224589-1 is not prime. Res64: 617C2A864A1A9FD1 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:27:36] 625*2^1224589-1 is not prime. Res64: DDB8E3C3C406FD86 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:27:39] 685*2^1224589-1 is not prime. Res64: 987CE503C3B12FB9 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:27:39] 721*2^1224589-1 is not prime. Res64: 2B75D0085E3EA985 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:28:32] 781*2^1224587-1 is not prime. Res64: 583E74317FFF84F0 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:36:45] 683*2^1224588-1 is not prime. Res64: 0ABBF97D2464CF20 Time : 0.0 sec. user=vaughan [2012-07-22 18:48:16] 905*2^1224588-1 is not prime. Res64: 7C5EE57EE2B22BA1 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:48:26] 919*2^1224589-1 is not prime. Res64: EBA0EED4862CD0A7 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:48:27] 615*2^1224590-1 is not prime. Res64: 40DC6F00430A30C6 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:48:27] 675*2^1224590-1 is not prime. Res64: EB96FBF711FD2F20 Time : 0.0 sec. user=mdettweiler [2012-07-22 18:48:28] 713*2^1224590-1 is not prime. Res64: EA8B996CE91B3B51 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:04:09] 693*2^1224591-1 is not prime. Res64: E406E0ACA0A2E5C0 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:09:06] 693*2^1224592-1 is not prime. Res64: 8AD54D2C467F9DEB Time : 0.0 sec. user=mdettweiler [2012-07-22 19:09:07] 855*2^1224592-1 is not prime. Res64: 14E1BF46E2F54D8B Time : 0.0 sec. user=mdettweiler [2012-07-22 19:09:07] 863*2^1224592-1 is not prime. Res64: BD886B3287BCEA63 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:09:08] 909*2^1224592-1 is not prime. Res64: 43479B1816702B94 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:10:25] 829*2^1224591-1 is not prime. Res64: 5356FE5A8E1D9F80 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:29:56] 679*2^1224593-1 is not prime. Res64: 0BB020F5ECF51682 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:29:57] 741*2^1224593-1 is not prime. Res64: 51801E5E98030826 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:29:57] 619*2^1224593-1 is not prime. Res64: 40328A1EB5CD9387 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:29:58] 747*2^1224593-1 is not prime. Res64: 278F799FE0A341A7 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:41:15] 923*2^1224592-1 is not prime. Res64: E9F4673F59169080 Time : 0.0 sec. user=vaughan [2012-07-22 19:42:53] 895*2^1224591-1 is not prime. Res64: 3ECA250EBF938D5D Time : 0.0 sec. user=mdettweiler [2012-07-22 19:45:24] 769*2^1224593-1 is not prime. Res64: D44D170618EBF328 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:50:39] 861*2^1224593-1 is not prime. Res64: 899759E93B20A672 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:50:40] 949*2^1224593-1 is not prime. Res64: 77447DD91D22C1A7 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:50:40] 879*2^1224593-1 is not prime. Res64: 5EE7D2921AD583B0 Time : 0.0 sec. user=mdettweiler [2012-07-22 19:50:41] 621*2^1224594-1 is not prime. Res64: 815FE7495BA6D49E Time : 0.0 sec. user=mdettweiler [2012-07-22 20:11:18] 645*2^1224595-1 is not prime. Res64: 2DA179038B1A56EC Time : 0.0 sec. user=mdettweiler [2012-07-22 20:11:19] 783*2^1224595-1 is not prime. Res64: 39860B24927E39A6 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:11:20] 715*2^1224595-1 is not prime. Res64: CDF4189D0D920583 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:11:20] 801*2^1224595-1 is not prime. Res64: 8538FEAF0D38B77F Time : 0.0 sec. user=mdettweiler [2012-07-22 20:12:02] 783*2^1224594-1 is not prime. Res64: 27BBBF97CCDA90CC Time : 0.0 sec. user=mdettweiler [2012-07-22 20:16:14] 603*2^1224595-1 is not prime. Res64: 70468BA92930BFDB Time : 0.0 sec. user=mdettweiler [2012-07-22 20:32:05] 853*2^1224595-1 is not prime. Res64: 4B42D5E6603BE691 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:32:06] 889*2^1224595-1 is not prime. Res64: 18F6C972AF59EC19 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:32:08] 839*2^1224596-1 is not prime. Res64: 3F63A6CF2A5866E0 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:32:09] 909*2^1224596-1 is not prime. Res64: B709E2E01CBB1CB2 Time : 0.0 sec. user=vaughan [2012-07-22 20:37:34] 975*2^1224594-1 is not prime. Res64: 852000EDD8314E53 Time : 0.0 sec. user=juhehe [2012-07-22 20:38:27] 861*2^1224591-1 is not prime. Res64: 229DCA5C62E704FA Time : 0.0 sec. user=mdettweiler [2012-07-22 20:42:49] 621*2^1224597-1 is not prime. Res64: 774E76729D71D424 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:47:08] 661*2^1224597-1 is not prime. Res64: 0B57CEF69C87E6B1 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:52:47] 711*2^1224597-1 is not prime. Res64: 250EA1626E8FF01E Time : 0.0 sec. user=mdettweiler [2012-07-22 20:52:48] 727*2^1224597-1 is not prime. Res64: 1F15380EE3F34826 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:52:51] 747*2^1224597-1 is not prime. Res64: A46968CFF73DFFD0 Time : 0.0 sec. user=mdettweiler [2012-07-22 20:52:51] 819*2^1224597-1 is not prime. Res64: F57F87C968B1352A Time : 0.0 sec. user=mdettweiler [2012-07-22 21:13:26] 997*2^1224597-1 is not prime. Res64: 2D00661161D7C4B1 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:13:27] 623*2^1224598-1 is not prime. Res64: 628AA4A9C4FB2439 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:13:30] 855*2^1224598-1 is not prime. Res64: 65AC59DB4E71B871 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:13:31] 887*2^1224598-1 is not prime. Res64: 833BDF147BAD988E Time : 0.0 sec. user=mdettweiler [2012-07-22 21:13:44] 961*2^1224597-1 is not prime. Res64: CF3FEE59645524BC Time : 0.0 sec. user=mdettweiler [2012-07-22 21:17:59] 991*2^1224597-1 is not prime. Res64: 3EE0DA25B0B12E68 Time : 0.0 sec. user=vaughan [2012-07-22 21:32:09] 835*2^1224597-1 is not prime. Res64: 8D1FFD50B1750DA7 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:34:27] 951*2^1224598-1 is not prime. Res64: 16C9605943080E7B Time : 0.0 sec. user=mdettweiler [2012-07-22 21:34:27] 633*2^1224599-1 is not prime. Res64: 27CAA49134F7201D Time : 0.0 sec. user=mdettweiler [2012-07-22 21:34:31] 705*2^1224599-1 is not prime. Res64: AC6AEA12E109AA57 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:34:32] 789*2^1224599-1 is not prime. Res64: 9DB4BF73F990B3FF Time : 0.0 sec. user=mdettweiler [2012-07-22 21:45:25] 853*2^1224599-1 is not prime. Res64: 9DE0AA0E2D6309FA Time : 0.0 sec. user=mdettweiler [2012-07-22 21:49:50] 859*2^1224599-1 is not prime. Res64: 116ECF4E49D2DF5B Time : 0.0 sec. user=mdettweiler [2012-07-22 21:55:49] 955*2^1224599-1 is not prime. Res64: 01CC6A072D4E2FB8 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:55:49] 979*2^1224599-1 is not prime. Res64: BC824AAE5627A3E5 Time : 0.0 sec. user=mdettweiler [2012-07-22 21:55:51] 993*2^1224599-1 is not prime. Res64: 5FF73D7A086CEF0B Time : 0.0 sec. user=mdettweiler [2012-07-22 21:55:52] 737*2^1224600-1 is not prime. Res64: D3F8AE07A65B059F Time : 0.0 sec. user=mdettweiler [2012-07-22 22:17:19] 645*2^1224601-1 is not prime. Res64: C9B8E4FB5A724C2C Time : 0.0 sec. user=mdettweiler [2012-07-22 22:17:20] 715*2^1224601-1 is not prime. Res64: DD62FA4E906E947A Time : 0.0 sec. user=mdettweiler [2012-07-22 22:17:22] 887*2^1224600-1 is not prime. Res64: E6DEECE0F7AAD219 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:17:23] 619*2^1224601-1 is not prime. Res64: 2DDAD5DD267E8DBC Time : 0.0 sec. user=mdettweiler [2012-07-22 22:18:35] 819*2^1224600-1 is not prime. Res64: 768A559F33A666EC Time : 0.0 sec. user=mdettweiler [2012-07-22 22:23:00] 857*2^1224600-1 is not prime. Res64: 532CE082AF9710B0 Time : 0.0 sec. user=vaughan [2012-07-22 22:26:44] 943*2^1224599-1 is not prime. Res64: 489600A209D09B7A Time : 0.0 sec. user=mdettweiler [2012-07-22 22:38:35] 777*2^1224601-1 is not prime. Res64: 78BFE56C6791D584 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:38:35] 805*2^1224601-1 is not prime. Res64: CB3C53CE3E326CBE Time : 0.0 sec. user=mdettweiler [2012-07-22 22:38:35] 855*2^1224601-1 is not prime. Res64: 7C5F758CD41E659B Time : 0.0 sec. user=mdettweiler [2012-07-22 22:38:35] 867*2^1224601-1 is not prime. Res64: FEF8A308B8248599 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:52:12] 877*2^1224601-1 is not prime. Res64: AB5C18321D993629 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:56:18] 937*2^1224601-1 is not prime. Res64: 96AB3F15DA9E8147 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:59:39] 797*2^1224602-1 is not prime. Res64: 1FE59ABF032F6C83 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:59:39] 911*2^1224602-1 is not prime. Res64: F81D19F44E3C1C48 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:59:39] 843*2^1224602-1 is not prime. Res64: 27249B4604030F78 Time : 0.0 sec. user=mdettweiler [2012-07-22 22:59:39] 945*2^1224602-1 is not prime. Res64: DE4C9E3A8F7CAA96 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:20:18] 859*2^1224603-1 is not prime. Res64: C99B336A8E97A768 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:20:19] 741*2^1224603-1 is not prime. Res64: 221AF8C4B2E44E67 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:20:19] 805*2^1224603-1 is not prime. Res64: A3E7EAB832F48AF0 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:20:19] 961*2^1224603-1 is not prime. Res64: 1B18884B162C4A3B Time : 0.0 sec. user=vaughan [2012-07-22 23:21:25] 677*2^1224602-1 is not prime. Res64: 0FEB7ABB8B8F696A Time : 0.0 sec. user=mdettweiler [2012-07-22 23:22:59] 705*2^1224603-1 is not prime. Res64: 65BD0DEA1F59901F Time : 0.0 sec. user=mdettweiler [2012-07-22 23:27:13] 735*2^1224603-1 is not prime. Res64: 791A9052271B8B6B Time : 0.0 sec. user=mdettweiler [2012-07-22 23:41:00] 991*2^1224603-1 is not prime. Res64: 2E63A9DE66014B53 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:41:01] 677*2^1224604-1 is not prime. Res64: F0BA4F51C0BF18FB Time : 0.0 sec. user=mdettweiler [2012-07-22 23:41:03] 803*2^1224604-1 is not prime. Res64: 7AEF524B71B6001D Time : 0.0 sec. user=mdettweiler [2012-07-22 23:41:04] 855*2^1224604-1 is not prime. Res64: 66408913F43A834F Time : 0.0 sec. user=mdettweiler [2012-07-22 23:54:07] 929*2^1224604-1 is not prime. Res64: 4AC1DD8CC75A5633 Time : 0.0 sec. user=mdettweiler [2012-07-22 23:58:16] 975*2^1224604-1 is not prime. Res64: A5D44AC9B5878EE1 Time : 0.0 sec.