user=gd_barnes [2012-08-27 00:01:30] 957*2^1227461-1 is not prime. Res64: 5A154B41D3431AD4 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:02:51] 653*2^1227462-1 is not prime. Res64: 2D1DD089F7BED362 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:03:53] 651*2^1227462-1 is not prime. Res64: 6F8F389F54CAC6A6 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:04:06] 843*2^1227462-1 is not prime. Res64: 762388435480DF1C Time : 0.0 sec. user=gd_barnes [2012-08-27 00:04:45] 965*2^1227462-1 is not prime. Res64: 7CDCD3D48A5FDC5D Time : 0.0 sec. user=gd_barnes [2012-08-27 00:06:44] 975*2^1227462-1 is not prime. Res64: D0ACEEAF13519FC4 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:07:35] 983*2^1227462-1 is not prime. Res64: FB5650DAD5A9D413 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:08:52] 885*2^1227463-1 is not prime. Res64: 30FBBDF25FC73261 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:11:51] 831*2^1227465-1 is not prime. Res64: B368FC6EB73C183F Time : 0.0 sec. user=mdettweiler [2012-08-27 00:11:53] 919*2^1227465-1 is not prime. Res64: 1C4592C6A85FB0B7 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:11:54] 921*2^1227465-1 is not prime. Res64: 8F81EEAC1B0371E0 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:11:57] 765*2^1227466-1 is not prime. Res64: 9EDEA44E476AB071 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:12:21] 873*2^1227464-1 is not prime. Res64: B03E90C61224ED8E Time : 0.0 sec. user=mdettweiler [2012-08-27 00:13:07] 669*2^1227468-1 is not prime. Res64: 15378607DFBAA324 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:13:22] 947*2^1227468-1 is not prime. Res64: 73C637CC8F443C94 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:13:44] 717*2^1227464-1 is not prime. Res64: 35323BAF0690D26F Time : 0.0 sec. user=gd_barnes [2012-08-27 00:14:04] 917*2^1227464-1 is not prime. Res64: 49B93FBC5A8F0FA0 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:14:09] 609*2^1227465-1 is not prime. Res64: BFD7CB3344F796A7 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:16:33] 811*2^1227465-1 is not prime. Res64: 9101394D32E28594 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:17:53] 915*2^1227467-1 is not prime. Res64: E7F8FA3DB62A8AD1 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:18:13] 945*2^1227466-1 is not prime. Res64: 2015733D42FF3519 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:19:03] 945*2^1227464-1 is not prime. Res64: EAAFAC471B85691C Time : 0.0 sec. user=gd_barnes [2012-08-27 00:19:43] 627*2^1227465-1 is not prime. Res64: EDBFCE9CB806F9A8 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:24:11] 615*2^1227469-1 is not prime. Res64: 6F14BF1FD3342DC9 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:24:21] 635*2^1227468-1 is not prime. Res64: D624543E82DF60E8 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:25:29] 721*2^1227469-1 is not prime. Res64: 7DC9A2920886FF0A Time : 0.0 sec. user=mdettweiler [2012-08-27 00:25:57] 911*2^1227470-1 is not prime. Res64: 5DC266D6A9AB0232 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:26:14] 679*2^1227471-1 is not prime. Res64: 8861389F03DC83F2 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:27:05] 769*2^1227469-1 is not prime. Res64: EF4D3FAB7395F708 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:28:22] 885*2^1227469-1 is not prime. Res64: DA2A143ABCF24C76 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:29:35] 903*2^1227464-1 is not prime. Res64: 669567248BA2540E Time : 0.0 sec. user=gd_barnes [2012-08-27 00:30:27] 915*2^1227464-1 is not prime. Res64: 2D818E3E573F1739 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:32:12] 733*2^1227467-1 is not prime. Res64: BCA30D2842773A11 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:32:35] 641*2^1227470-1 is not prime. Res64: 0D5F82BA0213AAB0 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:32:36] 713*2^1227470-1 is not prime. Res64: 65B0564E2B113B50 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:32:39] 753*2^1227470-1 is not prime. Res64: FDEDDF3141674607 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:32:40] 801*2^1227470-1 is not prime. Res64: C0257E2ED5E43A49 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:32:49] 939*2^1227469-1 is not prime. Res64: B383220A097B91FC Time : 0.0 sec. user=gd_barnes [2012-08-27 00:33:03] 759*2^1227467-1 is not prime. Res64: 364BA6713790FF77 Time : 0.0 sec. user=vaughan [2012-08-27 00:33:46] 663*2^1227468-1 is not prime. Res64: B749910455FEFC11 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:34:18] 999*2^1227469-1 is not prime. Res64: 6B362EA3199DE4FB Time : 0.0 sec. user=mdettweiler [2012-08-27 00:36:32] 765*2^1227457-1 is not prime. Res64: C37070B84B8F1785 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:36:32] 807*2^1227457-1 is not prime. Res64: DFD6D0E718407B09 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:36:50] 851*2^1227470-1 is not prime. Res64: 591550E6B8DD46EA Time : 0.0 sec. user=mdettweiler [2012-08-27 00:38:49] 615*2^1227473-1 is not prime. Res64: 60B1DA31EEE661F9 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:38:52] 861*2^1227471-1 is not prime. Res64: EEF65EE11B668276 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:39:05] 735*2^1227458-1 is not prime. Res64: 5C7A56D254DA7E6C Time : 0.0 sec. user=mdettweiler [2012-08-27 00:39:05] 743*2^1227458-1 is not prime. Res64: B57815663E4E713F Time : 0.0 sec. user=mdettweiler [2012-08-27 00:39:06] 637*2^1227473-1 is not prime. Res64: 0A160B1E91D8F5D1 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:39:13] 741*2^1227471-1 is not prime. Res64: 29DB0DF183654FB5 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:39:30] 793*2^1227471-1 is not prime. Res64: FAEA1A4803135100 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:40:19] 755*2^1227458-1 is not prime. Res64: D4B22EF3B90B27F9 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:40:20] 987*2^1227458-1 is not prime. Res64: 3B0B5C5147F6A11D Time : 0.0 sec. user=mdettweiler [2012-08-27 00:41:51] 711*2^1227459-1 is not prime. Res64: 8C2467A1C11E4878 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:41:51] 885*2^1227459-1 is not prime. Res64: C34BFAAE6644EB39 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:42:08] 975*2^1227471-1 is not prime. Res64: 1312FF9951E17FD8 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:42:33] 979*2^1227471-1 is not prime. Res64: 22786375212418F4 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:43:39] 687*2^1227472-1 is not prime. Res64: 72CEA1E4ABB1344B Time : 0.0 sec. user=gd_barnes [2012-08-27 00:47:44] 755*2^1227472-1 is not prime. Res64: A6EF92D89C3A25D8 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:48:51] 803*2^1227472-1 is not prime. Res64: E5264DF8CD808A2B Time : 0.0 sec. user=mdettweiler [2012-08-27 00:48:52] 689*2^1227472-1 is not prime. Res64: 7F3DBD6F71A48629 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:50:57] 983*2^1227472-1 is not prime. Res64: 6996D94935817D20 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:51:38] 849*2^1227475-1 is not prime. Res64: 0BF963BEB777BED8 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:51:57] 969*2^1227475-1 is not prime. Res64: 3435C6C29B42904F Time : 0.0 sec. user=gd_barnes [2012-08-27 00:52:42] 651*2^1227473-1 is not prime. Res64: 16BF820C9B76AB29 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:53:13] 957*2^1227473-1 is not prime. Res64: 7B34D17664133CFE Time : 0.0 sec. user=mdettweiler [2012-08-27 00:53:14] 605*2^1227474-1 is not prime. Res64: D4D03C95C1AB7558 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:53:18] 633*2^1227474-1 is not prime. Res64: 604B269322C5183E Time : 0.0 sec. user=mdettweiler [2012-08-27 00:53:19] 663*2^1227474-1 is not prime. Res64: 7E39E3ED0C0AE76E Time : 0.0 sec. user=gd_barnes [2012-08-27 00:53:55] 741*2^1227473-1 is not prime. Res64: 94C489AA8837C826 Time : 0.0 sec. user=mdettweiler [2012-08-27 00:54:08] 827*2^1227472-1 is not prime. Res64: ED007C7B8CF40F7F Time : 0.0 sec. user=gd_barnes [2012-08-27 00:55:04] 831*2^1227473-1 is not prime. Res64: 4FAC4404360F6345 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:56:12] 861*2^1227473-1 is not prime. Res64: A4903C99FCB25EB4 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:57:45] 955*2^1227473-1 is not prime. Res64: 7DAEB3F947D6D360 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:58:29] 881*2^1227474-1 is not prime. Res64: D57E683B8514D6EF Time : 0.0 sec. user=gd_barnes [2012-08-27 00:59:45] 645*2^1227475-1 is not prime. Res64: 20B128A9874D7931 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:00:16] 717*2^1227474-1 is not prime. Res64: 394F09771ACAC60A Time : 0.0 sec. user=gd_barnes [2012-08-27 01:01:30] 843*2^1227475-1 is not prime. Res64: 9168BA772B11AC30 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:03:34] 859*2^1227475-1 is not prime. Res64: 78FB61BE179BFF8D Time : 0.0 sec. user=mdettweiler [2012-08-27 01:04:28] 827*2^1227478-1 is not prime. Res64: A92A207914320B6D Time : 0.0 sec. user=gd_barnes [2012-08-27 01:04:38] 707*2^1227476-1 is not prime. Res64: 177BEDE34D559F63 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:04:49] 897*2^1227478-1 is not prime. Res64: 8753562F5D73C5BC Time : 0.0 sec. user=gd_barnes [2012-08-27 01:05:03] 719*2^1227476-1 is not prime. Res64: 1BCE011F894849A3 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:07:30] 885*2^1227477-1 is not prime. Res64: DADFA313ED870EA9 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:07:39] 859*2^1227477-1 is not prime. Res64: 1B32A13560353743 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:09:12] 937*2^1227477-1 is not prime. Res64: CF36EE8843718D69 Time : 0.0 sec. user=vaughan [2012-08-27 01:11:16] 609*2^1227475-1 is not prime. Res64: D539C69A1D2076EB Time : 0.0 sec. user=gd_barnes [2012-08-27 01:13:38] 621*2^1227478-1 is not prime. Res64: 4C62DA57D9C34B5B Time : 0.0 sec. user=mdettweiler [2012-08-27 01:13:51] 601*2^1227479-1 is not prime. Res64: BBC443457C25D229 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:13:52] 643*2^1227479-1 is not prime. Res64: 13A30271C8217B18 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:13:55] 661*2^1227479-1 is not prime. Res64: D0AE980611F73391 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:13:57] 669*2^1227479-1 is not prime. Res64: C502EE8F0A6985A9 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:16:31] 821*2^1227478-1 is not prime. Res64: 7A947BD7417DE335 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:17:17] 843*2^1227480-1 is not prime. Res64: 311565D317061064 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:17:39] 747*2^1227481-1 is not prime. Res64: C64D86DF6F99D3BF Time : 0.0 sec. user=gd_barnes [2012-08-27 01:17:57] 611*2^1227478-1 is not prime. Res64: 469808CBFC41B14A Time : 0.0 sec. user=gd_barnes [2012-08-27 01:18:25] 923*2^1227478-1 is not prime. Res64: 7CA8E08934B1DC22 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:18:50] 815*2^1227478-1 is not prime. Res64: 838B53D4D1361B60 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:19:22] 685*2^1227479-1 is not prime. Res64: A10F4B90606B702C Time : 0.0 sec. user=gd_barnes [2012-08-27 01:20:29] 721*2^1227479-1 is not prime. Res64: 0C3B5B43CD2E1388 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:21:46] 729*2^1227479-1 is not prime. Res64: FFA8DF2EA5BBAC6B Time : 0.0 sec. user=gd_barnes [2012-08-27 01:23:15] 745*2^1227479-1 is not prime. Res64: 8D4FF266B3F36535 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:23:58] 813*2^1227479-1 is not prime. Res64: 1E6A2C424E52EFEB Time : 0.0 sec. user=mdettweiler [2012-08-27 01:24:12] 711*2^1227479-1 is not prime. Res64: E1D09BAE894EC34E Time : 0.0 sec. user=gd_barnes [2012-08-27 01:25:14] 885*2^1227479-1 is not prime. Res64: 987372AEDA36E189 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:25:30] 615*2^1227480-1 is not prime. Res64: 59EDD4CF1250C1CA Time : 0.0 sec. user=gd_barnes [2012-08-27 01:27:34] 765*2^1227480-1 is not prime. Res64: FB7281C28D5870F5 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:30:00] 887*2^1227480-1 is not prime. Res64: 1AAA38C13AE7660E Time : 0.0 sec. user=mdettweiler [2012-08-27 01:30:07] 903*2^1227482-1 is not prime. Res64: A3568236E78ECD62 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:30:24] 983*2^1227482-1 is not prime. Res64: D42D0F502DEC3505 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:30:32] 819*2^1227481-1 is not prime. Res64: 0E6EDB87065BE5C0 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:30:46] 909*2^1227479-1 is not prime. Res64: 9226BEA5EC0C9C1A Time : 0.0 sec. user=gd_barnes [2012-08-27 01:31:03] 835*2^1227481-1 is not prime. Res64: CD2C69E2FE7177A9 Time : 0.0 sec. user=gd_barnes [2012-08-27 01:33:10] 931*2^1227481-1 is not prime. Res64: 9374A45BA8B1B17B Time : 0.0 sec. user=mdettweiler [2012-08-27 01:34:30] 627*2^1227482-1 is not prime. Res64: 28A619C7230F4ABA Time : 0.0 sec. user=mdettweiler [2012-08-27 01:34:32] 713*2^1227482-1 is not prime. Res64: 79BC8D52A6FE4319 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:34:41] 767*2^1227482-1 is not prime. Res64: 88CD629BC9BAB46A Time : 0.0 sec. user=mdettweiler [2012-08-27 01:34:43] 873*2^1227482-1 is not prime. Res64: C3528AD007F81CCB Time : 0.0 sec. user=gd_barnes [2012-08-27 01:34:54] 945*2^1227481-1 is not prime. Res64: 009001EE5E4A8D90 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:43:11] 735*2^1227483-1 is not prime. Res64: 44326083D45E876E Time : 0.0 sec. user=mdettweiler [2012-08-27 01:43:15] 753*2^1227483-1 is not prime. Res64: 1B9E415E4380FBD7 Time : 0.0 sec. user=vaughan [2012-08-27 01:48:45] 967*2^1227481-1 is not prime. Res64: F60F56271C50B329 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:48:52] 649*2^1227483-1 is not prime. Res64: D1BC6310FB8FA58B Time : 0.0 sec. user=mdettweiler [2012-08-27 01:52:25] 735*2^1227475-1 is not prime. Res64: E206308F0EE4133D Time : 0.0 sec. user=mdettweiler [2012-08-27 01:52:25] 765*2^1227475-1 is not prime. Res64: FA46B9B22CAEB0B0 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:54:41] 723*2^1227483-1 is not prime. Res64: A0BF747508DA0EDC Time : 0.0 sec. user=mdettweiler [2012-08-27 01:54:54] 861*2^1227475-1 is not prime. Res64: 4D09E478383FEF65 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:54:55] 915*2^1227475-1 is not prime. Res64: 98A0E5E6AEB0C0D8 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:55:10] 775*2^1227483-1 is not prime. Res64: 7F5B99222B13BB40 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:55:12] 783*2^1227483-1 is not prime. Res64: 366722CE4008E8C5 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:55:21] 859*2^1227483-1 is not prime. Res64: 65D06855E7181F37 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:55:22] 871*2^1227483-1 is not prime. Res64: 49F38609AD5BEEEF Time : 0.0 sec. user=mdettweiler [2012-08-27 01:55:58] 879*2^1227483-1 is not prime. Res64: 71684C448EC07126 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:56:03] 921*2^1227483-1 is not prime. Res64: 97DFA9582BFE7786 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:56:46] 621*2^1227477-1 is not prime. Res64: 3CC107AF975CE8DD Time : 0.0 sec. user=mdettweiler [2012-08-27 01:56:46] 655*2^1227477-1 is not prime. Res64: A6ACFF58395E4359 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:57:32] 681*2^1227477-1 is not prime. Res64: 9A2C80630C281E02 Time : 0.0 sec. user=mdettweiler [2012-08-27 01:57:32] 709*2^1227477-1 is not prime. Res64: 1EAA464948132B9A Time : 0.0 sec. user=mdettweiler [2012-08-27 02:08:46] 725*2^1227486-1 is not prime. Res64: 99FFFF48C4B9DD08 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:08:50] 747*2^1227486-1 is not prime. Res64: 78FAAE65E8664A09 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:15:47] 771*2^1227485-1 is not prime. Res64: C17E767AB3DBAD6F Time : 0.0 sec. user=mdettweiler [2012-08-27 02:15:48] 855*2^1227485-1 is not prime. Res64: 8986E3C75E4CB270 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:15:59] 985*2^1227485-1 is not prime. Res64: 6714652C9B36AF2A Time : 0.0 sec. user=mdettweiler [2012-08-27 02:16:00] 677*2^1227486-1 is not prime. Res64: 0918D06DE76E1270 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:18:42] 755*2^1227484-1 is not prime. Res64: AAEC70B637DCC997 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:21:39] 633*2^1227487-1 is not prime. Res64: 55319B8B20B6B453 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:21:42] 649*2^1227487-1 is not prime. Res64: 97E4001C11185C60 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:24:36] 969*2^1227484-1 is not prime. Res64: 7ED92925260928F5 Time : 0.0 sec. user=vaughan [2012-08-27 02:26:14] 657*2^1227484-1 is not prime. Res64: C4F22C47620343C7 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:34:27] 827*2^1227488-1 is not prime. Res64: 3E966822D86F49CD Time : 0.0 sec. user=mdettweiler [2012-08-27 02:34:30] 923*2^1227488-1 is not prime. Res64: 1A249BB0430848C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:36:29] 651*2^1227487-1 is not prime. Res64: 62E7D4B7C7928FAD Time : 0.0 sec. user=mdettweiler [2012-08-27 02:36:31] 805*2^1227487-1 is not prime. Res64: 3B1D9FF80DD3A274 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:36:39] 659*2^1227488-1 is not prime. Res64: DB1882FAFC8A3EEB Time : 0.0 sec. user=mdettweiler [2012-08-27 02:36:40] 699*2^1227488-1 is not prime. Res64: 8B30ADA73594EA73 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:47:21] 867*2^1227489-1 is not prime. Res64: 85CBBE6D42878081 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:47:24] 623*2^1227490-1 is not prime. Res64: EC9E43F790C2F0ED Time : 0.0 sec. user=mdettweiler [2012-08-27 02:48:38] 803*2^1227488-1 is not prime. Res64: D8A64BFA6AF1A6B8 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:54:35] 977*2^1227488-1 is not prime. Res64: 50DAF57744A7ACE9 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:57:08] 741*2^1227490-1 is not prime. Res64: 14E21098F6A4D781 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:57:10] 755*2^1227490-1 is not prime. Res64: 4530F1FE1618C056 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:57:19] 765*2^1227490-1 is not prime. Res64: D027E79223D5B605 Time : 0.0 sec. user=mdettweiler [2012-08-27 02:57:22] 777*2^1227490-1 is not prime. Res64: 443E00C163B9CB27 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:00:40] 791*2^1227490-1 is not prime. Res64: 1A387B782CFDF4D4 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:00:45] 803*2^1227490-1 is not prime. Res64: 72B155374A7D082C Time : 0.0 sec. user=vaughan [2012-08-27 03:03:45] 999*2^1227488-1 is not prime. Res64: 11047EBC3D896CB7 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:08:08] 773*2^1227484-1 is not prime. Res64: 5AAF487D86D9FBE6 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:08:09] 927*2^1227484-1 is not prime. Res64: C2D122F410AC1F37 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:10:44] 619*2^1227485-1 is not prime. Res64: 65C0928881345FAC Time : 0.0 sec. user=mdettweiler [2012-08-27 03:10:46] 627*2^1227485-1 is not prime. Res64: 74410F26A531DA0E Time : 0.0 sec. user=mdettweiler [2012-08-27 03:12:47] 777*2^1227486-1 is not prime. Res64: 126E80A94E199C80 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:12:50] 917*2^1227486-1 is not prime. Res64: 1106A12DF84AA9CF Time : 0.0 sec. user=mdettweiler [2012-08-27 03:13:28] 921*2^1227486-1 is not prime. Res64: 67D9E6B71E9C0A44 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:13:29] 615*2^1227487-1 is not prime. Res64: C9283B26B3E591AD Time : 0.0 sec. user=mdettweiler [2012-08-27 03:14:28] 931*2^1227491-1 is not prime. Res64: C7E887C91A79ABF1 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:14:38] 801*2^1227491-1 is not prime. Res64: BDF99E458039D783 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:17:56] 609*2^1227491-1 is not prime. Res64: 445B3DEA83D4E30D Time : 0.0 sec. user=mdettweiler [2012-08-27 03:17:57] 673*2^1227491-1 is not prime. Res64: 84F9A4E5718DD065 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:18:01] 715*2^1227491-1 is not prime. Res64: 3B5755D3BF3EB044 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:18:03] 741*2^1227491-1 is not prime. Res64: 87BB607C8A0F6E9A Time : 0.0 sec. user=mdettweiler [2012-08-27 03:18:29] 827*2^1227490-1 is not prime. Res64: 45762F0515E7D6F3 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:24:40] 915*2^1227490-1 is not prime. Res64: DDBFC05C23CD612D Time : 0.0 sec. user=mdettweiler [2012-08-27 03:27:17] 791*2^1227494-1 is not prime. Res64: EF3CCE6375E0E1F3 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:27:26] 813*2^1227494-1 is not prime. Res64: 6F7A9A9526F8E09A Time : 0.0 sec. user=mdettweiler [2012-08-27 03:38:51] 915*2^1227494-1 is not prime. Res64: 56EBE1B99F3AA89C Time : 0.0 sec. user=mdettweiler [2012-08-27 03:38:53] 971*2^1227494-1 is not prime. Res64: A6D23857AD55E3DF Time : 0.0 sec. user=mdettweiler [2012-08-27 03:38:54] 775*2^1227495-1 is not prime. Res64: 8A53E45FBF0BEC47 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:38:56] 795*2^1227495-1 is not prime. Res64: FE84DFE6A6B8A409 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:40:04] 807*2^1227496-1 is not prime. Res64: C8B5F22831DD826A Time : 0.0 sec. user=mdettweiler [2012-08-27 03:40:14] 939*2^1227496-1 is not prime. Res64: B00894B4138A4EB3 Time : 0.0 sec. user=vaughan [2012-08-27 03:41:14] 945*2^1227491-1 is not prime. Res64: 4EE3ED4ED66C7310 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:52:50] 697*2^1227497-1 is not prime. Res64: CFC490D19764CD6D Time : 0.0 sec. user=mdettweiler [2012-08-27 03:52:57] 955*2^1227497-1 is not prime. Res64: 50B431F4D52F5E9E Time : 0.0 sec. user=mdettweiler [2012-08-27 03:58:13] 955*2^1227495-1 is not prime. Res64: 46D57C1EA962E0C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:59:53] 983*2^1227496-1 is not prime. Res64: 19EE46BF5ED310AE Time : 0.0 sec. user=mdettweiler [2012-08-27 03:59:55] 993*2^1227496-1 is not prime. Res64: 95F40458EF9B29FC Time : 0.0 sec. user=mdettweiler [2012-08-27 03:59:57] 631*2^1227497-1 is not prime. Res64: 778A6FA1E7E3A236 Time : 0.0 sec. user=mdettweiler [2012-08-27 03:59:58] 675*2^1227497-1 is not prime. Res64: 564654D6B4CF5C37 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:04:13] 663*2^1227496-1 is not prime. Res64: 237867BB12EA7C78 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:05:36] 747*2^1227498-1 is not prime. Res64: 1A161F10DB5EA9CC Time : 0.0 sec. user=mdettweiler [2012-08-27 04:05:43] 797*2^1227498-1 is not prime. Res64: 79CC994EDA4C54B6 Time : 0.0 sec. user=vaughan [2012-08-27 04:18:43] 981*2^1227497-1 is not prime. Res64: 8633D617A4CA2D64 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:18:47] 883*2^1227499-1 is not prime. Res64: C2E7DA128EBBD971 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:18:55] 909*2^1227499-1 is not prime. Res64: 6BB88B65FA9AF9CE Time : 0.0 sec. user=mdettweiler [2012-08-27 04:20:33] 693*2^1227499-1 is not prime. Res64: 286C5B3C8C79F11D Time : 0.0 sec. user=mdettweiler [2012-08-27 04:20:35] 723*2^1227499-1 is not prime. Res64: 61D21FED06435D8C Time : 0.0 sec. user=mdettweiler [2012-08-27 04:20:35] 741*2^1227499-1 is not prime. Res64: 0DF98B3B9030B680 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:20:37] 769*2^1227499-1 is not prime. Res64: 517E3F02CDF08573 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:24:21] 629*2^1227492-1 is not prime. Res64: 5745C9B8C2114513 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:24:21] 749*2^1227492-1 is not prime. Res64: 3FC719FB9CD73776 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:26:48] 909*2^1227492-1 is not prime. Res64: 38D076223C5D527F Time : 0.0 sec. user=mdettweiler [2012-08-27 04:26:48] 691*2^1227493-1 is not prime. Res64: E08354C700FE32DC Time : 0.0 sec. user=mdettweiler [2012-08-27 04:27:57] 837*2^1227498-1 is not prime. Res64: A9E5D8BF1F05F67D Time : 0.0 sec. user=mdettweiler [2012-08-27 04:28:47] 801*2^1227493-1 is not prime. Res64: 4B6E4E7B9CF1A043 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:28:47] 951*2^1227493-1 is not prime. Res64: 7B67123B5BF811A7 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:29:24] 717*2^1227494-1 is not prime. Res64: 638782EF19529B44 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:29:24] 753*2^1227494-1 is not prime. Res64: 083E7324C1ACED40 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:31:39] 925*2^1227499-1 is not prime. Res64: 80EE5A1C8237DC63 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:31:40] 813*2^1227500-1 is not prime. Res64: 8F4092C8E5EADFB4 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:34:02] 853*2^1227499-1 is not prime. Res64: 94C33EF4A2508BFC Time : 0.0 sec. user=mdettweiler [2012-08-27 04:41:12] 927*2^1227500-1 is not prime. Res64: BB53D1F35DCE1322 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:41:12] 615*2^1227501-1 is not prime. Res64: 52020CEF427BE14D Time : 0.0 sec. user=mdettweiler [2012-08-27 04:41:15] 625*2^1227501-1 is not prime. Res64: A1B8FA770AE4E7D9 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:41:15] 649*2^1227501-1 is not prime. Res64: 541637E4A7EDF16A Time : 0.0 sec. user=mdettweiler [2012-08-27 04:44:25] 903*2^1227504-1 is not prime. Res64: 6BA188495489C065 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:44:26] 927*2^1227504-1 is not prime. Res64: 9368533F289A5372 Time : 0.0 sec. user=PCZ [2012-08-27 04:46:17] 973*2^1227211-1 is not prime. Res64: 628DD20359840075 Time : 0.0 sec. user=PCZ [2012-08-27 04:46:18] 925*2^1227211-1 is not prime. Res64: B59D5E8E491F699D Time : 0.0 sec. user=PCZ [2012-08-27 04:46:18] 617*2^1227212-1 is not prime. Res64: 0ABE963DD969592C Time : 0.0 sec. user=PCZ [2012-08-27 04:46:18] 861*2^1227211-1 is not prime. Res64: B36D8869D761C0FE Time : 0.0 sec. user=PCZ [2012-08-27 04:46:18] 797*2^1227212-1 is not prime. Res64: 77568E1F0EB15B80 Time : 0.0 sec. user=PCZ [2012-08-27 04:46:19] 939*2^1227211-1 is not prime. Res64: B63B7D4EB4FF8988 Time : 0.0 sec. user=PCZ [2012-08-27 04:46:19] 885*2^1227211-1 is not prime. Res64: 82619B77AB760394 Time : 0.0 sec. user=PCZ [2012-08-27 04:46:20] 669*2^1227212-1 is not prime. Res64: AB0D6B11339F4B3A Time : 0.0 sec. user=vaughan [2012-08-27 04:56:25] 773*2^1227500-1 is not prime. Res64: 5163906CAC5D778C Time : 0.0 sec. user=mdettweiler [2012-08-27 04:57:09] 623*2^1227506-1 is not prime. Res64: 22260C73BEE9D0F2 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:57:12] 635*2^1227506-1 is not prime. Res64: 4D0E6A2EE050A7B3 Time : 0.0 sec. user=mdettweiler [2012-08-27 04:57:34] 923*2^1227502-1 is not prime. Res64: 0710F426E760BF15 Time : 0.0 sec. user=PCZ [2012-08-27 04:58:32] 671*2^1227506-1 is not prime. Res64: 4C9072722D0908B4 Time : 0.0 sec. user=PCZ [2012-08-27 04:58:33] 785*2^1227506-1 is not prime. Res64: 9BB24F9D92905AFE Time : 0.0 sec. user=PCZ [2012-08-27 04:58:33] 701*2^1227506-1 is not prime. Res64: BE1565E5A0AA81AB Time : 0.0 sec. user=PCZ [2012-08-27 04:58:33] 683*2^1227506-1 is not prime. Res64: 7A2AD41C89BC7FCB Time : 0.0 sec. user=PCZ [2012-08-27 04:58:34] 857*2^1227506-1 is not prime. Res64: 68FA1355E6F68D49 Time : 0.0 sec. user=PCZ [2012-08-27 04:58:34] 981*2^1227506-1 is not prime. Res64: 26FDE14FDE48E666 Time : 0.0 sec. user=PCZ [2012-08-27 04:58:35] 987*2^1227506-1 is not prime. Res64: 727DFCA03CF4DEE6 Time : 0.0 sec. user=PCZ [2012-08-27 04:58:36] 873*2^1227506-1 is not prime. Res64: A2917521E9468E08 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:01:48] 715*2^1227505-1 is not prime. Res64: 5F820471049391C7 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:01:49] 805*2^1227505-1 is not prime. Res64: 0E49B7110086BEEA Time : 0.0 sec. user=mdettweiler [2012-08-27 05:01:49] 919*2^1227505-1 is not prime. Res64: 92FDF4D02A25F965 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:01:50] 987*2^1227505-1 is not prime. Res64: 77930A8879AA2861 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:03:45] 705*2^1227505-1 is not prime. Res64: E31FE3500C1C2E5D Time : 0.0 sec. user=mdettweiler [2012-08-27 05:09:56] 649*2^1227507-1 is not prime. Res64: E85FD781E1103387 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:09:59] 669*2^1227507-1 is not prime. Res64: 0B289D5DAA2D583F Time : 0.0 sec. user=PCZ [2012-08-27 05:10:47] 829*2^1227507-1 is not prime. Res64: BBE17AA1E2A878A0 Time : 0.0 sec. user=PCZ [2012-08-27 05:10:53] 951*2^1227507-1 is not prime. Res64: 5E0D47F916F5799A Time : 0.0 sec. user=PCZ [2012-08-27 05:10:56] 923*2^1227508-1 is not prime. Res64: 6B4A698FFD283D44 Time : 0.0 sec. user=PCZ [2012-08-27 05:10:59] 899*2^1227508-1 is not prime. Res64: 1CE0BAA9FB9981E3 Time : 0.0 sec. user=PCZ [2012-08-27 05:10:59] 909*2^1227507-1 is not prime. Res64: DE3F149733552BBB Time : 0.0 sec. user=PCZ [2012-08-27 05:10:59] 873*2^1227507-1 is not prime. Res64: 6A65A0CDC935CD6D Time : 0.0 sec. user=PCZ [2012-08-27 05:10:59] 989*2^1227508-1 is not prime. Res64: 8981295FCE786641 Time : 0.0 sec. user=PCZ [2012-08-27 05:10:59] 955*2^1227507-1 is not prime. Res64: 9A84C2DD01C805C8 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:19] 831*2^1227509-1 is not prime. Res64: 5B6C86CD931D6095 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:20] 897*2^1227509-1 is not prime. Res64: 0184D8A8F0DAB8A0 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:20] 931*2^1227509-1 is not prime. Res64: 37AC2708301926E7 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:21] 657*2^1227510-1 is not prime. Res64: 3AC7F962EBE84B5A Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:43] 747*2^1227510-1 is not prime. Res64: 3B1E7BBC08945E6B Time : 0.0 sec. user=mdettweiler [2012-08-27 05:22:45] 801*2^1227510-1 is not prime. Res64: 75BE3490B033F70D Time : 0.0 sec. user=PCZ [2012-08-27 05:22:51] 825*2^1227510-1 is not prime. Res64: 11CD2CD1323C8F68 Time : 0.0 sec. user=PCZ [2012-08-27 05:23:02] 833*2^1227510-1 is not prime. Res64: 8A6BFE62BC2C3E78 Time : 0.0 sec. user=PCZ [2012-08-27 05:23:06] 619*2^1227511-1 is not prime. Res64: 4FDB31C32E7C06FE Time : 0.0 sec. user=PCZ [2012-08-27 05:23:07] 891*2^1227510-1 is not prime. Res64: 0CAE880CB4FAF2BC Time : 0.0 sec. user=PCZ [2012-08-27 05:23:07] 945*2^1227510-1 is not prime. Res64: BAD74FD255E5AB68 Time : 0.0 sec. user=PCZ [2012-08-27 05:23:08] 705*2^1227511-1 is not prime. Res64: CD5E757A31A58C9B Time : 0.0 sec. user=PCZ [2012-08-27 05:23:15] 741*2^1227511-1 is not prime. Res64: 544C81FC7DD6353E Time : 0.0 sec. user=PCZ [2012-08-27 05:23:17] 855*2^1227511-1 is not prime. Res64: 69368CE2CF77E1AC Time : 0.0 sec. user=mdettweiler [2012-08-27 05:27:11] 751*2^1227507-1 is not prime. Res64: 0364C57B9D09F7ED Time : 0.0 sec. user=mdettweiler [2012-08-27 05:33:21] 711*2^1227510-1 is not prime. Res64: 5D14F3167D7EED9B Time : 0.0 sec. user=vaughan [2012-08-27 05:33:51] 633*2^1227507-1 is not prime. Res64: C3D9C0D9E4AEEBC7 Time : 0.0 sec. user=PCZ [2012-08-27 05:35:15] 959*2^1227512-1 is not prime. Res64: D754F060BF80749A Time : 0.0 sec. user=PCZ [2012-08-27 05:35:17] 963*2^1227512-1 is not prime. Res64: 1DF5F2D6F218E115 Time : 0.0 sec. user=PCZ [2012-08-27 05:35:22] 651*2^1227513-1 is not prime. Res64: 1B371BE1CAC2834E Time : 0.0 sec. user=PCZ [2012-08-27 05:35:22] 811*2^1227513-1 is not prime. Res64: E470F3F649E8C425 Time : 0.0 sec. user=PCZ [2012-08-27 05:35:23] 787*2^1227513-1 is not prime. Res64: 9B9FAB8D331A5B30 Time : 0.0 sec. user=PCZ [2012-08-27 05:35:23] 657*2^1227513-1 is not prime. Res64: 384A6F96C405890D Time : 0.0 sec. user=mdettweiler [2012-08-27 05:35:27] 843*2^1227512-1 is not prime. Res64: 50D1D3F22D92C134 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:35:28] 857*2^1227512-1 is not prime. Res64: 929605E7CFF439B0 Time : 0.0 sec. user=PCZ [2012-08-27 05:35:30] 849*2^1227513-1 is not prime. Res64: A74A02BD1009644E Time : 0.0 sec. user=PCZ [2012-08-27 05:35:31] 847*2^1227513-1 is not prime. Res64: 47E0FEC5114C8645 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:42:53] 895*2^1227511-1 is not prime. Res64: E0CC943905E2597E Time : 0.0 sec. user=mdettweiler [2012-08-27 05:42:54] 617*2^1227512-1 is not prime. Res64: D613826C410A27F8 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:42:56] 735*2^1227512-1 is not prime. Res64: ADB4CA3E980A665D Time : 0.0 sec. user=mdettweiler [2012-08-27 05:42:57] 767*2^1227512-1 is not prime. Res64: 68C6590961D55675 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:44:48] 661*2^1227501-1 is not prime. Res64: 9FAA6E097A7A4D8D Time : 0.0 sec. user=mdettweiler [2012-08-27 05:44:48] 777*2^1227501-1 is not prime. Res64: 470300EC7121F342 Time : 0.0 sec. user=PCZ [2012-08-27 05:47:21] 665*2^1227514-1 is not prime. Res64: E9B9B917E0AEBDB2 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:47:26] 889*2^1227501-1 is not prime. Res64: F26D2195BA51EAD4 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:47:26] 881*2^1227502-1 is not prime. Res64: F5CAE6063A5A1BEF Time : 0.0 sec. user=PCZ [2012-08-27 05:47:29] 687*2^1227514-1 is not prime. Res64: 1AD041CA7EAA11B8 Time : 0.0 sec. user=PCZ [2012-08-27 05:47:32] 677*2^1227514-1 is not prime. Res64: 0817795A32926019 Time : 0.0 sec. user=PCZ [2012-08-27 05:47:33] 821*2^1227514-1 is not prime. Res64: 33A48F4D5CDB66EE Time : 0.0 sec. user=PCZ [2012-08-27 05:47:35] 773*2^1227514-1 is not prime. Res64: 6215E9554408AB8B Time : 0.0 sec. user=PCZ [2012-08-27 05:47:36] 983*2^1227514-1 is not prime. Res64: 7FE6CEB99A1E9D4A Time : 0.0 sec. user=PCZ [2012-08-27 05:47:40] 705*2^1227515-1 is not prime. Res64: FEEAB087BD5E0F90 Time : 0.0 sec. user=PCZ [2012-08-27 05:47:41] 741*2^1227515-1 is not prime. Res64: 6F4AA63B2A22396F Time : 0.0 sec. user=mdettweiler [2012-08-27 05:48:13] 651*2^1227515-1 is not prime. Res64: FC39E95B8B7709DA Time : 0.0 sec. user=mdettweiler [2012-08-27 05:48:14] 633*2^1227515-1 is not prime. Res64: E9BCCBBB980BC076 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:49:44] 945*2^1227502-1 is not prime. Res64: 834ECDF971A3AF61 Time : 0.0 sec. user=mdettweiler [2012-08-27 05:49:45] 705*2^1227503-1 is not prime. Res64: BAEFC9DED781EDAD Time : 0.0 sec. user=mdettweiler [2012-08-27 05:49:56] 737*2^1227504-1 is not prime. Res64: 0A28DA4BB394B9DC Time : 0.0 sec. user=mdettweiler [2012-08-27 05:49:56] 857*2^1227504-1 is not prime. Res64: 6B5787FBCEEF999F Time : 0.0 sec. user=mdettweiler [2012-08-27 05:56:54] 895*2^1227513-1 is not prime. Res64: 946B2734D18D5391 Time : 0.0 sec. user=PCZ [2012-08-27 05:59:32] 779*2^1227516-1 is not prime. Res64: EAD43E775081EE5F Time : 0.0 sec. user=PCZ [2012-08-27 05:59:36] 621*2^1227517-1 is not prime. Res64: 9DFEBC6DBFF7ABC7 Time : 0.0 sec. user=PCZ [2012-08-27 05:59:39] 937*2^1227517-1 is not prime. Res64: 1091489029401936 Time : 0.0 sec. user=PCZ [2012-08-27 05:59:41] 729*2^1227517-1 is not prime. Res64: B44ECC5D7E356CAD Time : 0.0 sec. user=PCZ [2012-08-27 05:59:42] 955*2^1227517-1 is not prime. Res64: 1F376300FBBFDF78 Time : 0.0 sec. user=PCZ [2012-08-27 05:59:45] 979*2^1227517-1 is not prime. Res64: 7B4511AEDD8EAF9E Time : 0.0 sec. user=PCZ [2012-08-27 05:59:46] 773*2^1227518-1 is not prime. Res64: 1619430E6F2A5002 Time : 0.0 sec. user=PCZ [2012-08-27 05:59:51] 623*2^1227518-1 is not prime. Res64: 0FA614793ABC8B32 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:00:59] 843*2^1227518-1 is not prime. Res64: 8E349F29C2A1EC1D Time : 0.0 sec. user=mdettweiler [2012-08-27 06:01:00] 867*2^1227518-1 is not prime. Res64: 3273823BBA5A77CA Time : 0.0 sec. user=mdettweiler [2012-08-27 06:03:08] 949*2^1227513-1 is not prime. Res64: 72234A5D7F0B0ECD Time : 0.0 sec. user=mdettweiler [2012-08-27 06:03:26] 843*2^1227515-1 is not prime. Res64: 84E010523C76081D Time : 0.0 sec. user=mdettweiler [2012-08-27 06:03:27] 859*2^1227515-1 is not prime. Res64: FD5CCD0D0E2A8D02 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:03:29] 861*2^1227515-1 is not prime. Res64: 11ECDF4A8B4DA11E Time : 0.0 sec. user=mdettweiler [2012-08-27 06:03:29] 883*2^1227515-1 is not prime. Res64: 59995E40A84421B0 Time : 0.0 sec. user=vaughan [2012-08-27 06:11:17] 635*2^1227514-1 is not prime. Res64: A80E0C8A56BA6347 Time : 0.0 sec. user=PCZ [2012-08-27 06:11:40] 777*2^1227520-1 is not prime. Res64: 6C63BB5CDE55B89D Time : 0.0 sec. user=PCZ [2012-08-27 06:11:48] 843*2^1227520-1 is not prime. Res64: EB15C415ABF3F207 Time : 0.0 sec. user=PCZ [2012-08-27 06:11:49] 803*2^1227520-1 is not prime. Res64: 777A181CF99CA078 Time : 0.0 sec. user=PCZ [2012-08-27 06:11:51] 873*2^1227520-1 is not prime. Res64: 585D32CF740CB072 Time : 0.0 sec. user=PCZ [2012-08-27 06:11:56] 965*2^1227520-1 is not prime. Res64: 0A0A471DA3B1DF48 Time : 0.0 sec. user=PCZ [2012-08-27 06:11:58] 975*2^1227520-1 is not prime. Res64: DE8D184D73213525 Time : 0.0 sec. user=PCZ [2012-08-27 06:12:00] 917*2^1227520-1 is not prime. Res64: 9E7022E306A72EFC Time : 0.0 sec. user=PCZ [2012-08-27 06:12:01] 645*2^1227521-1 is not prime. Res64: D7BCBEDF95788939 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:13:45] 685*2^1227521-1 is not prime. Res64: 8F132AB8F24445C1 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:13:48] 697*2^1227521-1 is not prime. Res64: 3765BC787EC841E4 Time : 0.0 sec. user=PCZ [2012-08-27 06:23:10] 677*2^1227522-1 is not prime. Res64: ACA07DB50B960475 Time : 0.0 sec. user=PCZ [2012-08-27 06:23:40] 683*2^1227522-1 is not prime. Res64: 87386EFCCAC932F7 Time : 0.0 sec. user=PCZ [2012-08-27 06:23:45] 723*2^1227522-1 is not prime. Res64: 2D94E25621ED7456 Time : 0.0 sec. user=PCZ [2012-08-27 06:23:49] 891*2^1227522-1 is not prime. Res64: 2E97C121D209106E Time : 0.0 sec. user=PCZ [2012-08-27 06:23:49] 821*2^1227522-1 is not prime. Res64: FE2A10C6FC4BCB33 Time : 0.0 sec. user=PCZ [2012-08-27 06:23:50] 833*2^1227522-1 is not prime. Res64: 0CA6524D7E3177A7 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:23:58] 799*2^1227521-1 is not prime. Res64: D61BA26025638355 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:23:59] 811*2^1227521-1 is not prime. Res64: ABECCF2B21F5190B Time : 0.0 sec. user=PCZ [2012-08-27 06:23:59] 963*2^1227522-1 is not prime. Res64: F1FE48C4E49B94FF Time : 0.0 sec. user=mdettweiler [2012-08-27 06:24:01] 865*2^1227521-1 is not prime. Res64: 9E565C8EEDC3FACB Time : 0.0 sec. user=mdettweiler [2012-08-27 06:24:01] 879*2^1227521-1 is not prime. Res64: 2AE02495B5AD77C9 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:26:31] 615*2^1227523-1 is not prime. Res64: FB4B10CE82A07559 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:26:34] 619*2^1227523-1 is not prime. Res64: A5B57E32B22241C6 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:26:36] 717*2^1227520-1 is not prime. Res64: 370FEF1D65D449CF Time : 0.0 sec. user=PCZ [2012-08-27 06:27:13] 633*2^1227523-1 is not prime. Res64: B0CE898A216BDC0F Time : 0.0 sec. user=mdettweiler [2012-08-27 06:32:52] 777*2^1227521-1 is not prime. Res64: C40A9522E59D1431 Time : 0.0 sec. user=PCZ [2012-08-27 06:35:22] 741*2^1227523-1 is not prime. Res64: 4CFB9C99510828D6 Time : 0.0 sec. user=PCZ [2012-08-27 06:35:42] 889*2^1227523-1 is not prime. Res64: 60EB495C0B8EC113 Time : 0.0 sec. user=PCZ [2012-08-27 06:35:50] 895*2^1227523-1 is not prime. Res64: 8D522FCF8E5B9025 Time : 0.0 sec. user=PCZ [2012-08-27 06:35:56] 919*2^1227523-1 is not prime. Res64: F0D7E05269D6CE6E Time : 0.0 sec. user=PCZ [2012-08-27 06:35:56] 699*2^1227524-1 is not prime. Res64: 045B8FE6A1164040 Time : 0.0 sec. user=PCZ [2012-08-27 06:36:01] 683*2^1227524-1 is not prime. Res64: DCAE225E9A99C266 Time : 0.0 sec. user=PCZ [2012-08-27 06:36:05] 927*2^1227524-1 is not prime. Res64: 1927EBC3D2AA4310 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:39:16] 617*2^1227526-1 is not prime. Res64: CD554BE25D2E9D35 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:39:20] 825*2^1227526-1 is not prime. Res64: 2D0EFFF63D4E81A6 Time : 0.0 sec. user=PCZ [2012-08-27 06:39:24] 881*2^1227526-1 is not prime. Res64: DAE2259C01818DB8 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:44:30] 773*2^1227524-1 is not prime. Res64: F29F1F156A82AF2E Time : 0.0 sec. user=mdettweiler [2012-08-27 06:44:30] 813*2^1227524-1 is not prime. Res64: 4CCAC22C4B97FB52 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:44:32] 805*2^1227525-1 is not prime. Res64: 68DE9C93F40CFDAB Time : 0.0 sec. user=mdettweiler [2012-08-27 06:44:33] 817*2^1227525-1 is not prime. Res64: 5008F3A2F0F9D768 Time : 0.0 sec. user=PCZ [2012-08-27 06:47:37] 729*2^1227527-1 is not prime. Res64: 7467D8302BE689D6 Time : 0.0 sec. user=PCZ [2012-08-27 06:47:53] 813*2^1227527-1 is not prime. Res64: EFA7050A9BDD62B1 Time : 0.0 sec. user=PCZ [2012-08-27 06:48:05] 825*2^1227527-1 is not prime. Res64: F80F6A5E49829FBD Time : 0.0 sec. user=PCZ [2012-08-27 06:48:10] 939*2^1227527-1 is not prime. Res64: 1078A8C296FDD92B Time : 0.0 sec. user=PCZ [2012-08-27 06:48:14] 879*2^1227527-1 is not prime. Res64: 15377D0548D85DA9 Time : 0.0 sec. user=PCZ [2012-08-27 06:48:23] 767*2^1227528-1 is not prime. Res64: A1E5BBA92BAA9FE2 Time : 0.0 sec. user=PCZ [2012-08-27 06:48:23] 633*2^1227528-1 is not prime. Res64: 5C667E8494B186D8 Time : 0.0 sec. user=vaughan [2012-08-27 06:48:50] 665*2^1227522-1 is not prime. Res64: FCD7D2E1F11ADAC0 Time : 0.0 sec. user=PCZ [2012-08-27 06:51:38] 977*2^1227528-1 is not prime. Res64: DDE77F6121E6E96A Time : 0.0 sec. user=mdettweiler [2012-08-27 06:52:01] 789*2^1227528-1 is not prime. Res64: 39319450702A6867 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:52:03] 797*2^1227528-1 is not prime. Res64: 68097911FA15B7C6 Time : 0.0 sec. user=mdettweiler [2012-08-27 06:56:11] 867*2^1227526-1 is not prime. Res64: 1122101CDD138906 Time : 0.0 sec. user=PCZ [2012-08-27 06:59:51] 813*2^1227530-1 is not prime. Res64: B41C56A70B6FEB63 Time : 0.0 sec. user=PCZ [2012-08-27 07:00:10] 823*2^1227531-1 is not prime. Res64: F5EE1FA8F712FF8B Time : 0.0 sec. user=mdettweiler [2012-08-27 07:00:14] 979*2^1227515-1 is not prime. Res64: A4F7DB74B3BAF529 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:00:14] 609*2^1227516-1 is not prime. Res64: 9B7F5506336F7B4B Time : 0.0 sec. user=PCZ [2012-08-27 07:00:17] 873*2^1227531-1 is not prime. Res64: 0C9D40584F18AA41 Time : 0.0 sec. user=PCZ [2012-08-27 07:00:20] 895*2^1227531-1 is not prime. Res64: AF47D04BF4B7368A Time : 0.0 sec. user=PCZ [2012-08-27 07:00:21] 629*2^1227532-1 is not prime. Res64: C462FA081326E420 Time : 0.0 sec. user=PCZ [2012-08-27 07:00:33] 657*2^1227532-1 is not prime. Res64: CE7B5C9444022B5F Time : 0.0 sec. user=PCZ [2012-08-27 07:00:34] 803*2^1227532-1 is not prime. Res64: 39F95D85AECF8B3E Time : 0.0 sec. user=mdettweiler [2012-08-27 07:02:31] 645*2^1227527-1 is not prime. Res64: 15B568D690911B48 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:02:44] 789*2^1227516-1 is not prime. Res64: 78DC07A9935469F0 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:02:45] 615*2^1227517-1 is not prime. Res64: C14C179F9934A8E9 Time : 0.0 sec. user=PCZ [2012-08-27 07:03:46] 833*2^1227532-1 is not prime. Res64: 9F715238D60D9047 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:04:43] 633*2^1227519-1 is not prime. Res64: 34DDD483D044999D Time : 0.0 sec. user=mdettweiler [2012-08-27 07:04:44] 693*2^1227519-1 is not prime. Res64: 4E36CD4CC09DCB56 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:04:44] 897*2^1227532-1 is not prime. Res64: 35996BD3D70D6856 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:04:48] 959*2^1227532-1 is not prime. Res64: 8D4F0D59F04EDAB1 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:01] 807*2^1227529-1 is not prime. Res64: EEA745976F5A24E8 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:02] 957*2^1227529-1 is not prime. Res64: 54F593B376FD7926 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:04] 711*2^1227530-1 is not prime. Res64: D8C82AD386180A14 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:07] 791*2^1227530-1 is not prime. Res64: 6B349C7014C94264 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:18] 895*2^1227519-1 is not prime. Res64: 81377572CFB37FA0 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:05:19] 609*2^1227520-1 is not prime. Res64: C0DA3A9F836DF30D Time : 0.0 sec. user=PCZ [2012-08-27 07:12:00] 699*2^1227533-1 is not prime. Res64: C3916E781AF23AAF Time : 0.0 sec. user=PCZ [2012-08-27 07:12:22] 769*2^1227533-1 is not prime. Res64: 4BAE8B356AD9AADC Time : 0.0 sec. user=PCZ [2012-08-27 07:12:26] 641*2^1227534-1 is not prime. Res64: D20ED76FFECCE192 Time : 0.0 sec. user=PCZ [2012-08-27 07:12:28] 795*2^1227534-1 is not prime. Res64: C6036559A88F8314 Time : 0.0 sec. user=PCZ [2012-08-27 07:12:31] 873*2^1227534-1 is not prime. Res64: A486C4C950AFCE57 Time : 0.0 sec. user=PCZ [2012-08-27 07:12:33] 1001*2^1227534-1 is not prime. Res64: D3FEC3D37F2849C2 Time : 0.0 sec. user=PCZ [2012-08-27 07:12:38] 603*2^1227535-1 is not prime. Res64: 0ABA3C815E137786 Time : 0.0 sec. user=PCZ [2012-08-27 07:15:45] 871*2^1227535-1 is not prime. Res64: 9D9D7CD225708A5C Time : 0.0 sec. user=mdettweiler [2012-08-27 07:17:35] 759*2^1227536-1 is not prime. Res64: E45DC186B0B1A191 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:17:36] 875*2^1227536-1 is not prime. Res64: 4ED00DD58EB05F1C Time : 0.0 sec. user=PCZ [2012-08-27 07:24:12] 695*2^1227538-1 is not prime. Res64: 743C2E57CCAC1F9F Time : 0.0 sec. user=PCZ [2012-08-27 07:24:37] 755*2^1227538-1 is not prime. Res64: 778BB3C9EA422B62 Time : 0.0 sec. user=PCZ [2012-08-27 07:24:43] 815*2^1227538-1 is not prime. Res64: 77C9D849B2E96013 Time : 0.0 sec. user=PCZ [2012-08-27 07:24:49] 669*2^1227539-1 is not prime. Res64: 060200466FC79094 Time : 0.0 sec. user=PCZ [2012-08-27 07:24:53] 885*2^1227539-1 is not prime. Res64: E17F6901D77A8483 Time : 0.0 sec. user=PCZ [2012-08-27 07:24:54] 663*2^1227539-1 is not prime. Res64: A03DA985A8AAA50C Time : 0.0 sec. user=PCZ [2012-08-27 07:24:56] 913*2^1227539-1 is not prime. Res64: EB7F42DA2692118D Time : 0.0 sec. user=mdettweiler [2012-08-27 07:25:36] 781*2^1227537-1 is not prime. Res64: D3FB6AA230542B82 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:25:37] 807*2^1227537-1 is not prime. Res64: 6A68556CA0770F96 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:25:41] 867*2^1227537-1 is not prime. Res64: 0C8ED2C045113F7C Time : 0.0 sec. user=mdettweiler [2012-08-27 07:25:42] 979*2^1227537-1 is not prime. Res64: FE1D73E667195DAB Time : 0.0 sec. user=mdettweiler [2012-08-27 07:25:49] 675*2^1227533-1 is not prime. Res64: 2ACF2337331234A1 Time : 0.0 sec. user=vaughan [2012-08-27 07:26:19] 807*2^1227532-1 is not prime. Res64: 5133B3F3EFBF67AE Time : 0.0 sec. user=PCZ [2012-08-27 07:28:11] 939*2^1227539-1 is not prime. Res64: 8A6DB1C0ECCC9352 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:30:25] 943*2^1227539-1 is not prime. Res64: 6C198077C6217018 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:30:27] 949*2^1227539-1 is not prime. Res64: C67F07B91B10F94B Time : 0.0 sec. user=mdettweiler [2012-08-27 07:32:07] 705*2^1227535-1 is not prime. Res64: FEB89DEA9C8D46B3 Time : 0.0 sec. user=PCZ [2012-08-27 07:36:30] 669*2^1227540-1 is not prime. Res64: 8CB461298A84D13F Time : 0.0 sec. user=PCZ [2012-08-27 07:36:55] 719*2^1227540-1 is not prime. Res64: B17769E0AF33FA82 Time : 0.0 sec. user=PCZ [2012-08-27 07:36:56] 737*2^1227540-1 is not prime. Res64: B3E8972C13257D96 Time : 0.0 sec. user=PCZ [2012-08-27 07:37:04] 857*2^1227540-1 is not prime. Res64: CC9112B705A85AF9 Time : 0.0 sec. user=PCZ [2012-08-27 07:37:08] 905*2^1227540-1 is not prime. Res64: 76ABCFD14738FF8C Time : 0.0 sec. user=PCZ [2012-08-27 07:37:11] 909*2^1227540-1 is not prime. Res64: C050988A73BF4F03 Time : 0.0 sec. user=PCZ [2012-08-27 07:37:14] 933*2^1227540-1 is not prime. Res64: F64B4DCFE4BB778A Time : 0.0 sec. user=PCZ [2012-08-27 07:40:29] 671*2^1227542-1 is not prime. Res64: EA2B541C5CDF7DB8 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:46:07] 965*2^1227540-1 is not prime. Res64: 32B2A9E246C8DE40 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:46:08] 645*2^1227541-1 is not prime. Res64: ADFE6A74AF9FAB67 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:46:11] 861*2^1227541-1 is not prime. Res64: 76735C6DAA284E76 Time : 0.0 sec. user=mdettweiler [2012-08-27 07:46:12] 617*2^1227542-1 is not prime. Res64: 2CFF8224B2B6A6BA Time : 0.0 sec. user=PCZ [2012-08-27 07:48:37] 861*2^1227545-1 is not prime. Res64: 9326DB24C9C6FC1D Time : 0.0 sec. user=PCZ [2012-08-27 07:48:47] 1001*2^1227542-1 is not prime. Res64: ABBBFDF9F907A641 Time : 0.0 sec. user=PCZ [2012-08-27 07:48:53] 789*2^1227543-1 is not prime. Res64: 25AB711B44B48EA3 Time : 0.0 sec. user=PCZ [2012-08-27 07:48:54] 751*2^1227543-1 is not prime. Res64: 440E135BD4BDF93C Time : 0.0 sec. user=PCZ [2012-08-27 07:48:58] 945*2^1227543-1 is not prime. Res64: 000967D112452F3D Time : 0.0 sec. user=PCZ [2012-08-27 07:48:58] 863*2^1227544-1 is not prime. Res64: 6EBF1D8E77A671F8 Time : 0.0 sec. user=PCZ [2012-08-27 07:48:58] 913*2^1227543-1 is not prime. Res64: C3F93C8A3981159A Time : 0.0 sec. user=PCZ [2012-08-27 07:48:59] 969*2^1227544-1 is not prime. Res64: 6556314D11D87F7C Time : 0.0 sec. user=PCZ [2012-08-27 07:48:59] 847*2^1227545-1 is not prime. Res64: 6AAA2E308C32AEFD Time : 0.0 sec. user=PCZ [2012-08-27 07:48:59] 617*2^1227544-1 is not prime. Res64: 7B825FA0367AAF28 Time : 0.0 sec. user=PCZ [2012-08-27 07:49:00] 677*2^1227544-1 is not prime. Res64: DB30E02EC6A76A30 Time : 0.0 sec. user=PCZ [2012-08-27 07:49:00] 795*2^1227545-1 is not prime. Res64: 4C3C39E8386E28EB Time : 0.0 sec. user=PCZ [2012-08-27 07:49:00] 777*2^1227545-1 is not prime. Res64: 92492A68D65C88A4 Time : 0.0 sec. user=PCZ [2012-08-27 07:49:02] 885*2^1227545-1 is not prime. Res64: 4AE9379A8DCD4BEF Time : 0.0 sec. user=PCZ [2012-08-27 07:49:07] 925*2^1227545-1 is not prime. Res64: E9F92B00C75E683A Time : 0.0 sec. user=PCZ [2012-08-27 07:49:16] 991*2^1227545-1 is not prime. Res64: 3175C83AC356E951 Time : 0.0 sec. user=PCZ [2012-08-27 07:49:16] 949*2^1227545-1 is not prime. Res64: CAF1E07C5E3C3E7B Time : 0.0 sec. user=PCZ [2012-08-27 07:49:23] 713*2^1227546-1 is not prime. Res64: F38BD95F469E76FA Time : 0.0 sec. user=PCZ [2012-08-27 07:49:24] 611*2^1227546-1 is not prime. Res64: AEF72DE54D9D270F Time : 0.0 sec. user=mdettweiler [2012-08-27 07:55:27] 645*2^1227542-1 is not prime. Res64: A3DE9E0B1DB435B7 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:01:39] 915*2^1227542-1 is not prime. Res64: 7D20286F0231AA39 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:14] 813*2^1227547-1 is not prime. Res64: C9778F72EA7E8599 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:20] 973*2^1227547-1 is not prime. Res64: 901F882B2E4AAE8F Time : 0.0 sec. user=PCZ [2012-08-27 08:02:23] 871*2^1227547-1 is not prime. Res64: ECC5B73B4848E446 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:28] 635*2^1227548-1 is not prime. Res64: AF17406B08497FF8 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:29] 953*2^1227548-1 is not prime. Res64: B95A7E334B0A3B04 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:29] 975*2^1227547-1 is not prime. Res64: D506227901D7CC70 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:31] 753*2^1227548-1 is not prime. Res64: CDE7746F1B30DF3F Time : 0.0 sec. user=PCZ [2012-08-27 08:02:31] 935*2^1227548-1 is not prime. Res64: 2875F99582350F3A Time : 0.0 sec. user=PCZ [2012-08-27 08:02:32] 709*2^1227549-1 is not prime. Res64: 53CFBD1F612A078D Time : 0.0 sec. user=PCZ [2012-08-27 08:02:32] 691*2^1227549-1 is not prime. Res64: B9E41B8414F017E1 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:33] 825*2^1227549-1 is not prime. Res64: 170A96687AC17D32 Time : 0.0 sec. user=PCZ [2012-08-27 08:02:34] 945*2^1227549-1 is not prime. Res64: 32D91EA49EF09C71 Time : 0.0 sec. user=vaughan [2012-08-27 08:03:47] 657*2^1227542-1 is not prime. Res64: 463091D917AB979B Time : 0.0 sec. user=mdettweiler [2012-08-27 08:06:39] 825*2^1227546-1 is not prime. Res64: 527A6E39E9E0FAD9 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:06:41] 923*2^1227546-1 is not prime. Res64: 562A2F17D6AE5F1B Time : 0.0 sec. user=mdettweiler [2012-08-27 08:06:44] 645*2^1227547-1 is not prime. Res64: 29F560173C2CA514 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:06:46] 715*2^1227547-1 is not prime. Res64: AFD91D6843C470FE Time : 0.0 sec. user=mdettweiler [2012-08-27 08:16:48] 837*2^1227533-1 is not prime. Res64: 29E20A4A86AA1EAB Time : 0.0 sec. user=mdettweiler [2012-08-27 08:16:49] 927*2^1227533-1 is not prime. Res64: 538A5AA3DBF83E80 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:19:17] 759*2^1227535-1 is not prime. Res64: 1661DD722107B965 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:19:17] 805*2^1227535-1 is not prime. Res64: 5521CD00520B4A21 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:21:09] 943*2^1227535-1 is not prime. Res64: CFFA89AFEBFB1442 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:21:09] 985*2^1227535-1 is not prime. Res64: 9F81D1E75576DF47 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:21:57] 991*2^1227537-1 is not prime. Res64: B5DA7767596D11FF Time : 0.0 sec. user=mdettweiler [2012-08-27 08:21:57] 623*2^1227538-1 is not prime. Res64: A6618B68CFBF907C Time : 0.0 sec. user=mdettweiler [2012-08-27 08:25:00] 735*2^1227551-1 is not prime. Res64: 62A37E42665815BE Time : 0.0 sec. user=mdettweiler [2012-08-27 08:27:23] 691*2^1227555-1 is not prime. Res64: 791AD4533A55ABAF Time : 0.0 sec. user=mdettweiler [2012-08-27 08:27:23] 709*2^1227555-1 is not prime. Res64: 5069E3010C717170 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:27:26] 753*2^1227555-1 is not prime. Res64: F18D8AB918AD7E60 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:27:26] 913*2^1227555-1 is not prime. Res64: 6057246BB6040D11 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:31:14] 805*2^1227551-1 is not prime. Res64: F0E429D800B3D027 Time : 0.0 sec. user=vaughan [2012-08-27 08:41:16] 619*2^1227555-1 is not prime. Res64: 7A5394EE37D0444F Time : 0.0 sec. user=mdettweiler [2012-08-27 08:47:54] 993*2^1227556-1 is not prime. Res64: 85D0269C1006FAC9 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:47:54] 999*2^1227556-1 is not prime. Res64: 29E5A53009FF3D49 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:47:57] 621*2^1227557-1 is not prime. Res64: DFCFC81BD936C341 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:47:57] 631*2^1227557-1 is not prime. Res64: 6AA73EDC547423B8 Time : 0.0 sec. user=mdettweiler [2012-08-27 08:54:32] 969*2^1227556-1 is not prime. Res64: B195BF448C7CF2FC Time : 0.0 sec. user=mdettweiler [2012-08-27 09:00:50] 697*2^1227557-1 is not prime. Res64: 9B201BE5BA3F7EC5 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:08:25] 711*2^1227558-1 is not prime. Res64: C602B0BE56E5718A Time : 0.0 sec. user=mdettweiler [2012-08-27 09:08:26] 773*2^1227558-1 is not prime. Res64: D0EDE51CF5B113EC Time : 0.0 sec. user=mdettweiler [2012-08-27 09:08:27] 875*2^1227558-1 is not prime. Res64: 87AA6EA912EFEC34 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:08:29] 887*2^1227558-1 is not prime. Res64: 8011FE3F191D9B74 Time : 0.0 sec. user=vaughan [2012-08-27 09:18:44] 715*2^1227557-1 is not prime. Res64: 50C452E88FFD1A54 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:24:05] 927*2^1227558-1 is not prime. Res64: AA8925A7D1718653 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:29:00] 977*2^1227558-1 is not prime. Res64: 9E2B70BF07D91C57 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:29:00] 625*2^1227559-1 is not prime. Res64: 1E59DD9CD2BA26BA Time : 0.0 sec. user=mdettweiler [2012-08-27 09:29:03] 649*2^1227559-1 is not prime. Res64: 317FDBABB0B1EBA2 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:29:04] 793*2^1227559-1 is not prime. Res64: 29096FA7AF24BFF7 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:30:42] 975*2^1227558-1 is not prime. Res64: 1A769AAAF325D4F4 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:33:45] 973*2^1227555-1 is not prime. Res64: 7361B228D4194873 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:33:45] 639*2^1227556-1 is not prime. Res64: A5B902A30473605A Time : 0.0 sec. user=mdettweiler [2012-08-27 09:35:09] 653*2^1227556-1 is not prime. Res64: DD5A01EA9614E380 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:35:10] 689*2^1227556-1 is not prime. Res64: 0969C3C50837B555 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:37:13] 743*2^1227556-1 is not prime. Res64: B391F2DA780F4B25 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:37:14] 803*2^1227556-1 is not prime. Res64: D63EA500184AA1F3 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:38:10] 855*2^1227556-1 is not prime. Res64: CCCF99B06CA33457 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:38:10] 897*2^1227556-1 is not prime. Res64: 6E88D39BC128AD5C Time : 0.0 sec. user=mdettweiler [2012-08-27 09:49:31] 861*2^1227559-1 is not prime. Res64: 38F409264EB1138C Time : 0.0 sec. user=mdettweiler [2012-08-27 09:49:31] 875*2^1227560-1 is not prime. Res64: A64E43B4C683335A Time : 0.0 sec. user=mdettweiler [2012-08-27 09:49:34] 897*2^1227560-1 is not prime. Res64: 7A6E1614EC76E0ED Time : 0.0 sec. user=mdettweiler [2012-08-27 09:49:35] 927*2^1227560-1 is not prime. Res64: B8BB0A3A9D358549 Time : 0.0 sec. user=mdettweiler [2012-08-27 09:53:56] 841*2^1227559-1 is not prime. Res64: 6FCEB70DCD9E7EA0 Time : 0.0 sec. user=vaughan [2012-08-27 09:56:14] 813*2^1227559-1 is not prime. Res64: 1F7AAB4A6C2C4B06 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:00:25] 661*2^1227561-1 is not prime. Res64: 3928CC50D7CF91B5 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:10:02] 843*2^1227562-1 is not prime. Res64: 5ACE4B6AD3350733 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:10:04] 891*2^1227562-1 is not prime. Res64: F7E08D28B06C4470 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:10:06] 917*2^1227562-1 is not prime. Res64: F251F3FF1F5635C6 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:10:08] 951*2^1227562-1 is not prime. Res64: 1F5655EC10F950FF Time : 0.0 sec. user=mdettweiler [2012-08-27 10:23:30] 669*2^1227563-1 is not prime. Res64: 6D8D797CFD4ED8C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:30:01] 879*2^1227563-1 is not prime. Res64: 018DC7AE772871A9 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:30:39] 889*2^1227563-1 is not prime. Res64: DFECC3DD5F5F023E Time : 0.0 sec. user=mdettweiler [2012-08-27 10:30:40] 945*2^1227563-1 is not prime. Res64: 65241A7BB866E70A Time : 0.0 sec. user=mdettweiler [2012-08-27 10:30:44] 949*2^1227563-1 is not prime. Res64: 40B0F99D741D8819 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:30:44] 993*2^1227563-1 is not prime. Res64: C3982E6F0396F1D8 Time : 0.0 sec. user=vaughan [2012-08-27 10:33:42] 811*2^1227563-1 is not prime. Res64: 28573BCC43A4801F Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:16] 923*2^1227564-1 is not prime. Res64: 6B2396F4B821A6DE Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:17] 601*2^1227565-1 is not prime. Res64: EC47B7A67EEF48ED Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:20] 687*2^1227565-1 is not prime. Res64: F69E14949F1BCA4B Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:21] 727*2^1227565-1 is not prime. Res64: B7026A19F4E533F4 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:32] 675*2^1227561-1 is not prime. Res64: 4D5025B76BFC43D5 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:51:32] 735*2^1227561-1 is not prime. Res64: A5F5F91B040D5526 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:52:34] 739*2^1227561-1 is not prime. Res64: AE3E4FC556C5E787 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:52:34] 747*2^1227561-1 is not prime. Res64: DC43AA557B61A811 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:53:03] 719*2^1227564-1 is not prime. Res64: 16933F5457B33381 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:54:26] 751*2^1227561-1 is not prime. Res64: C348779CBDBEDEB2 Time : 0.0 sec. user=mdettweiler [2012-08-27 10:54:26] 795*2^1227561-1 is not prime. Res64: 276E81CEB5A43E0B Time : 0.0 sec. user=mdettweiler [2012-08-27 10:55:54] 735*2^1227562-1 is not prime. Res64: B288FC6014A6BF9F Time : 0.0 sec. user=mdettweiler [2012-08-27 10:55:54] 747*2^1227562-1 is not prime. Res64: 6401E3950935922C Time : 0.0 sec. user=mdettweiler [2012-08-27 10:59:38] 795*2^1227564-1 is not prime. Res64: C0A23556B53B8E0E Time : 0.0 sec. user=mdettweiler [2012-08-27 11:07:53] 743*2^1227542-1 is not prime. Res64: 96015C7A6CCF5381 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:08:02] 755*2^1227542-1 is not prime. Res64: D9F2DB5A9005200A Time : 0.0 sec. user=vaughan [2012-08-27 11:11:17] 741*2^1227565-1 is not prime. Res64: D8DF3B713A498E83 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:11:59] 757*2^1227565-1 is not prime. Res64: 89CD888329C1DFC0 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:12:00] 771*2^1227565-1 is not prime. Res64: 6A856ED6E0FFFED5 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:12:07] 819*2^1227565-1 is not prime. Res64: 42E780D340E8B47E Time : 0.0 sec. user=mdettweiler [2012-08-27 11:12:09] 831*2^1227565-1 is not prime. Res64: 16B886B48505FA1F Time : 0.0 sec. user=mdettweiler [2012-08-27 11:20:57] 693*2^1227567-1 is not prime. Res64: 50C00B3F8BD9A744 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:21:04] 705*2^1227567-1 is not prime. Res64: B84F990AD6E282B1 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:22:49] 693*2^1227566-1 is not prime. Res64: E4182F1ABE017300 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:29:17] 633*2^1227567-1 is not prime. Res64: C9F6678395AA8F2E Time : 0.0 sec. user=mdettweiler [2012-08-27 11:33:01] 871*2^1227567-1 is not prime. Res64: 5FB41A06EED7BAC8 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:33:02] 901*2^1227567-1 is not prime. Res64: 1A4990DD40A4B2C1 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:33:12] 961*2^1227567-1 is not prime. Res64: F6A7B43F00AF7974 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:33:13] 603*2^1227568-1 is not prime. Res64: 35753B5484C06DD1 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:34:06] 639*2^1227568-1 is not prime. Res64: 773DD0C6D40FF744 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:34:07] 657*2^1227568-1 is not prime. Res64: 4619F788184E1900 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:47:07] 843*2^1227568-1 is not prime. Res64: 60E2CD1313106BB4 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:47:10] 845*2^1227568-1 is not prime. Res64: 11E425FE62529A4F Time : 0.0 sec. user=vaughan [2012-08-27 11:48:47] 793*2^1227567-1 is not prime. Res64: 50236CC2EB9A0D1B Time : 0.0 sec. user=mdettweiler [2012-08-27 11:52:26] 665*2^1227568-1 is not prime. Res64: EC2BD8D9B592C98E Time : 0.0 sec. user=mdettweiler [2012-08-27 11:54:04] 705*2^1227568-1 is not prime. Res64: 58AB8FFC181C8EF6 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:54:04] 713*2^1227568-1 is not prime. Res64: B0505D8245DF2D43 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:54:13] 765*2^1227568-1 is not prime. Res64: 09C0F9F253F194CD Time : 0.0 sec. user=mdettweiler [2012-08-27 11:54:13] 813*2^1227568-1 is not prime. Res64: 8AC10F0B8725BF70 Time : 0.0 sec. user=mdettweiler [2012-08-27 11:58:57] 687*2^1227568-1 is not prime. Res64: 91D8670E7A9F7D0A Time : 0.0 sec. user=mdettweiler [2012-08-27 12:00:10] 869*2^1227568-1 is not prime. Res64: 0B3515BD8C821B50 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:00:16] 875*2^1227568-1 is not prime. Res64: 94C232BF885E0E00 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:09:28] 877*2^1227565-1 is not prime. Res64: 0DF2B2FED7315A4B Time : 0.0 sec. user=mdettweiler [2012-08-27 12:09:30] 951*2^1227565-1 is not prime. Res64: CDF34C710AD3E340 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:11:26] 999*2^1227565-1 is not prime. Res64: 7F195310F796549F Time : 0.0 sec. user=mdettweiler [2012-08-27 12:11:26] 635*2^1227566-1 is not prime. Res64: 6BD0A8464D4FE955 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:13:14] 741*2^1227566-1 is not prime. Res64: 6C3EA23B1F8FA3F1 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:13:15] 815*2^1227566-1 is not prime. Res64: 2C6A1BD5E9F42DF7 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:14:40] 983*2^1227566-1 is not prime. Res64: 24CA28345EBC2198 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:14:41] 619*2^1227567-1 is not prime. Res64: 31697A36D3CA941F Time : 0.0 sec. user=mdettweiler [2012-08-27 12:14:59] 611*2^1227570-1 is not prime. Res64: 49F1D6651B4AD0B4 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:14:59] 671*2^1227570-1 is not prime. Res64: A42B80EE0B6E0A6B Time : 0.0 sec. user=mdettweiler [2012-08-27 12:15:07] 735*2^1227570-1 is not prime. Res64: C0A20072D116CC95 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:15:08] 887*2^1227570-1 is not prime. Res64: A18273D094FA1695 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:17:31] 733*2^1227571-1 is not prime. Res64: CF9C63C0D77F18DC Time : 0.0 sec. user=mdettweiler [2012-08-27 12:17:35] 769*2^1227571-1 is not prime. Res64: BB2E46D3031ED471 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:22:01] 645*2^1227569-1 is not prime. Res64: DC3DA1CE8AE4BCEE Time : 0.0 sec. user=vaughan [2012-08-27 12:26:17] 989*2^1227568-1 is not prime. Res64: DF56870C2774CB73 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:28:35] 621*2^1227571-1 is not prime. Res64: BC14A10BB08BF0FB Time : 0.0 sec. user=mdettweiler [2012-08-27 12:31:33] 679*2^1227573-1 is not prime. Res64: 3390A5ED72A31D98 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:31:36] 819*2^1227573-1 is not prime. Res64: 0D3924A6FD1F18C1 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:35:40] 885*2^1227572-1 is not prime. Res64: 0E66B874EB4D89D9 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:35:41] 963*2^1227572-1 is not prime. Res64: C1B67AE61CCB64A7 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:35:47] 987*2^1227572-1 is not prime. Res64: 215BCE00402AF824 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:35:48] 625*2^1227573-1 is not prime. Res64: 41BC1E49679F5B51 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:43:33] 605*2^1227574-1 is not prime. Res64: 35ED7A7346043488 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:43:34] 665*2^1227574-1 is not prime. Res64: 91E7F8284204A93F Time : 0.0 sec. user=mdettweiler [2012-08-27 12:51:40] 861*2^1227573-1 is not prime. Res64: 9B114239C4C4BFE4 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:13] 827*2^1227574-1 is not prime. Res64: A8730EEF23117A01 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:13] 857*2^1227574-1 is not prime. Res64: 7B82AA949145AE12 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:20] 915*2^1227574-1 is not prime. Res64: 2779A82D492BC848 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:20] 643*2^1227575-1 is not prime. Res64: 36EE67578C6F4C46 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:29] 705*2^1227575-1 is not prime. Res64: 5BCDF7EB8EBFC6D8 Time : 0.0 sec. user=mdettweiler [2012-08-27 12:56:30] 661*2^1227575-1 is not prime. Res64: 0B998FE766C6F23A Time : 0.0 sec. user=mdettweiler [2012-08-27 12:58:12] 999*2^1227573-1 is not prime. Res64: D84875B706F93B40 Time : 0.0 sec. user=vaughan [2012-08-27 13:03:45] 961*2^1227573-1 is not prime. Res64: 887DB14E2C93F9A7 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:08:22] 777*2^1227576-1 is not prime. Res64: 90270F2463E154D0 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:08:23] 765*2^1227576-1 is not prime. Res64: 8DEB605B94EC8999 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:16:45] 753*2^1227575-1 is not prime. Res64: 46ED13E2BDB3B1AF Time : 0.0 sec. user=mdettweiler [2012-08-27 13:16:46] 669*2^1227576-1 is not prime. Res64: F986FD87A2FDA4BE Time : 0.0 sec. user=mdettweiler [2012-08-27 13:16:52] 683*2^1227576-1 is not prime. Res64: 4F9FB8B3751D7103 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:16:52] 723*2^1227576-1 is not prime. Res64: F862E2F09A01BA5B Time : 0.0 sec. user=mdettweiler [2012-08-27 13:20:13] 637*2^1227577-1 is not prime. Res64: C2493C77805E76BD Time : 0.0 sec. user=mdettweiler [2012-08-27 13:20:15] 639*2^1227577-1 is not prime. Res64: BFA553034F5A84CA Time : 0.0 sec. user=mdettweiler [2012-08-27 13:21:16] 739*2^1227575-1 is not prime. Res64: 6BA11C3739EE25D5 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:27:31] 901*2^1227571-1 is not prime. Res64: 9AD115813791EFAF Time : 0.0 sec. user=mdettweiler [2012-08-27 13:27:32] 969*2^1227571-1 is not prime. Res64: 4B7B71A3DB4F74BC Time : 0.0 sec. user=mdettweiler [2012-08-27 13:27:49] 875*2^1227576-1 is not prime. Res64: 14809DC3222DBB4C Time : 0.0 sec. user=mdettweiler [2012-08-27 13:29:48] 975*2^1227571-1 is not prime. Res64: 76BCEDD4BA786490 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:29:50] 603*2^1227572-1 is not prime. Res64: A8097A82354F94CB Time : 0.0 sec. user=mdettweiler [2012-08-27 13:31:00] 635*2^1227572-1 is not prime. Res64: 0C44E3F33ABBFF21 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:31:00] 735*2^1227572-1 is not prime. Res64: 6F97DCABFA37F2C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:32:03] 955*2^1227577-1 is not prime. Res64: 53FAB051F6C5D6E7 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:32:05] 633*2^1227578-1 is not prime. Res64: 6B88C5D4BF64A86D Time : 0.0 sec. user=mdettweiler [2012-08-27 13:32:27] 753*2^1227572-1 is not prime. Res64: 8D65B73D8CD39499 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:32:28] 873*2^1227572-1 is not prime. Res64: D4A360EC3BEF6E0E Time : 0.0 sec. user=mdettweiler [2012-08-27 13:37:20] 741*2^1227577-1 is not prime. Res64: FAF34AAF73DE966F Time : 0.0 sec. user=mdettweiler [2012-08-27 13:37:20] 799*2^1227577-1 is not prime. Res64: 519E98D6A271FFB0 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:37:23] 801*2^1227577-1 is not prime. Res64: 721BD781831B8808 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:37:24] 867*2^1227577-1 is not prime. Res64: B7EA5CEED9EEADDE Time : 0.0 sec. user=vaughan [2012-08-27 13:41:19] 923*2^1227576-1 is not prime. Res64: C68824D510A52472 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:43:56] 853*2^1227579-1 is not prime. Res64: 5336BF76F0F1EF4D Time : 0.0 sec. user=mdettweiler [2012-08-27 13:43:58] 825*2^1227580-1 is not prime. Res64: F0BB63DE906AC7F8 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:50:50] 735*2^1227578-1 is not prime. Res64: 52CAE7245A4B6FE8 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:55:46] 681*2^1227582-1 is not prime. Res64: F388CF5B974D0866 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:55:47] 693*2^1227582-1 is not prime. Res64: 9875EB8232B66794 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:57:19] 857*2^1227578-1 is not prime. Res64: FE30E69C043BD5B0 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:57:51] 795*2^1227581-1 is not prime. Res64: 566D553BBBCAD92D Time : 0.0 sec. user=mdettweiler [2012-08-27 13:57:52] 825*2^1227581-1 is not prime. Res64: AB50DC48B9B7E0A9 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:57:55] 907*2^1227581-1 is not prime. Res64: 20C8D0567351D8E3 Time : 0.0 sec. user=mdettweiler [2012-08-27 13:57:55] 945*2^1227581-1 is not prime. Res64: 9CB9AFDB0BDCB760 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:07:40] 983*2^1227582-1 is not prime. Res64: 4E79902C7A7BD931 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:07:41] 673*2^1227583-1 is not prime. Res64: 982AC938211965ED Time : 0.0 sec. user=mdettweiler [2012-08-27 14:18:23] 925*2^1227583-1 is not prime. Res64: 05FC4F505718B3A9 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:18:24] 951*2^1227583-1 is not prime. Res64: 0280E742DCC11FD2 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:18:26] 993*2^1227583-1 is not prime. Res64: 780E34ECF098BE84 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:18:27] 615*2^1227584-1 is not prime. Res64: 71BC7D0869885192 Time : 0.0 sec. user=vaughan [2012-08-27 14:18:47] 991*2^1227581-1 is not prime. Res64: 30639CAA81AC660C Time : 0.0 sec. user=mdettweiler [2012-08-27 14:19:39] 767*2^1227584-1 is not prime. Res64: B9F76D6EA1B6C542 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:19:41] 717*2^1227585-1 is not prime. Res64: 77019E092466E9FA Time : 0.0 sec. user=mdettweiler [2012-08-27 14:20:36] 863*2^1227582-1 is not prime. Res64: 631767F2D749A8B1 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:26:59] 861*2^1227583-1 is not prime. Res64: B2D8DCDB13BD9984 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:31:31] 705*2^1227586-1 is not prime. Res64: D2F18B787B993A35 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:31:32] 855*2^1227586-1 is not prime. Res64: B62E2E7E04B0016A Time : 0.0 sec. user=mdettweiler [2012-08-27 14:39:02] 777*2^1227585-1 is not prime. Res64: AEE85591358EC1CA Time : 0.0 sec. user=mdettweiler [2012-08-27 14:39:02] 871*2^1227585-1 is not prime. Res64: 53052D09D9D8E39C Time : 0.0 sec. user=mdettweiler [2012-08-27 14:39:03] 895*2^1227585-1 is not prime. Res64: 99C1F112849C1F77 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:39:03] 909*2^1227585-1 is not prime. Res64: 029AAD83AA9561CC Time : 0.0 sec. user=mdettweiler [2012-08-27 14:43:24] 703*2^1227587-1 is not prime. Res64: 6283DE3B8FCED1F7 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:43:25] 871*2^1227587-1 is not prime. Res64: B9A77CB35DC01EA7 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:45:24] 767*2^1227578-1 is not prime. Res64: 501DA7FCD7887B31 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:45:24] 815*2^1227578-1 is not prime. Res64: F6992AA583CBE886 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:48:31] 941*2^1227578-1 is not prime. Res64: 988381D741E26CBC Time : 0.0 sec. user=mdettweiler [2012-08-27 14:48:31] 601*2^1227579-1 is not prime. Res64: 2216AB482C382317 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:50:05] 619*2^1227579-1 is not prime. Res64: E3FA1491CE32245B Time : 0.0 sec. user=mdettweiler [2012-08-27 14:50:05] 705*2^1227579-1 is not prime. Res64: 7E857D28486806CE Time : 0.0 sec. user=mdettweiler [2012-08-27 14:50:08] 669*2^1227587-1 is not prime. Res64: F99BA51C4B7BA6DB Time : 0.0 sec. user=mdettweiler [2012-08-27 14:51:12] 909*2^1227580-1 is not prime. Res64: E3BAC3ED81685859 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:51:12] 983*2^1227580-1 is not prime. Res64: E79BCC7660F3CCF8 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:55:21] 699*2^1227588-1 is not prime. Res64: 63AFE7AEF74A8E9F Time : 0.0 sec. user=mdettweiler [2012-08-27 14:55:22] 753*2^1227588-1 is not prime. Res64: F009D2B1138FB741 Time : 0.0 sec. user=vaughan [2012-08-27 14:56:15] 653*2^1227586-1 is not prime. Res64: 9E93DFE1FF6BB5C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:56:32] 675*2^1227587-1 is not prime. Res64: 26A2448FE7ED9D3D Time : 0.0 sec. user=mdettweiler [2012-08-27 14:59:40] 885*2^1227587-1 is not prime. Res64: 10CA0B580B0D9019 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:59:40] 955*2^1227587-1 is not prime. Res64: 0612E41F47F41514 Time : 0.0 sec. user=mdettweiler [2012-08-27 14:59:41] 981*2^1227587-1 is not prime. Res64: 883320991535FBFB Time : 0.0 sec. user=mdettweiler [2012-08-27 14:59:41] 689*2^1227588-1 is not prime. Res64: D322F967F8C1A36B Time : 0.0 sec. user=mdettweiler [2012-08-27 15:07:18] 657*2^1227590-1 is not prime. Res64: 57AAA23D8B5E0015 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:07:19] 731*2^1227590-1 is not prime. Res64: 54262CEDBA8F73BA Time : 0.0 sec. user=mdettweiler [2012-08-27 15:19:15] 861*2^1227591-1 is not prime. Res64: EB1A2ED49D0043AD Time : 0.0 sec. user=mdettweiler [2012-08-27 15:19:16] 745*2^1227591-1 is not prime. Res64: D75E7BC786EF2A27 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:19:41] 997*2^1227589-1 is not prime. Res64: 32655E516892BDBD Time : 0.0 sec. user=mdettweiler [2012-08-27 15:20:17] 857*2^1227590-1 is not prime. Res64: C6B95FB39779DCF9 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:20:17] 885*2^1227590-1 is not prime. Res64: 95ED49006A5165D9 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:20:18] 615*2^1227591-1 is not prime. Res64: 8511A791627067C4 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:20:19] 723*2^1227591-1 is not prime. Res64: 1DE9D3B54F738B97 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:26:06] 801*2^1227590-1 is not prime. Res64: BD80F05032334418 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:31:35] 969*2^1227591-1 is not prime. Res64: B74400F26B8DA9FB Time : 0.0 sec. user=mdettweiler [2012-08-27 15:31:36] 665*2^1227592-1 is not prime. Res64: B32206724B0D45BC Time : 0.0 sec. user=vaughan [2012-08-27 15:33:42] 761*2^1227590-1 is not prime. Res64: C7B1B471E36A3E6A Time : 0.0 sec. user=mdettweiler [2012-08-27 15:40:55] 619*2^1227593-1 is not prime. Res64: C3051E2A268F8753 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:40:55] 649*2^1227593-1 is not prime. Res64: A72EF66A4249404A Time : 0.0 sec. user=mdettweiler [2012-08-27 15:40:56] 727*2^1227593-1 is not prime. Res64: 8D376E63876B569C Time : 0.0 sec. user=mdettweiler [2012-08-27 15:40:57] 741*2^1227593-1 is not prime. Res64: 74FC1C4EC646336E Time : 0.0 sec. user=mdettweiler [2012-08-27 15:43:40] 855*2^1227593-1 is not prime. Res64: 7F954C505DD232D4 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:43:42] 847*2^1227593-1 is not prime. Res64: 9E7AA0F64CDE15EE Time : 0.0 sec. user=mdettweiler [2012-08-27 15:49:12] 965*2^1227592-1 is not prime. Res64: 4651892B7293C91D Time : 0.0 sec. user=mdettweiler [2012-08-27 15:55:34] 803*2^1227594-1 is not prime. Res64: A543A7E28648EA6C Time : 0.0 sec. user=mdettweiler [2012-08-27 15:55:36] 927*2^1227594-1 is not prime. Res64: 51D025FAA61EC796 Time : 0.0 sec. user=mdettweiler [2012-08-27 15:55:38] 771*2^1227593-1 is not prime. Res64: 2E2BE24DD78AEC5C Time : 0.0 sec. user=mdettweiler [2012-08-27 16:01:34] 949*2^1227593-1 is not prime. Res64: B66346BDF1D6B109 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:01:34] 611*2^1227594-1 is not prime. Res64: 79834F6FF7295867 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:01:34] 985*2^1227593-1 is not prime. Res64: 77E86A0BEB9F5D07 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:01:35] 621*2^1227594-1 is not prime. Res64: A7B038ADE746DF8A Time : 0.0 sec. user=mdettweiler [2012-08-27 16:03:28] 759*2^1227588-1 is not prime. Res64: 51721CEF9BB4EBDD Time : 0.0 sec. user=mdettweiler [2012-08-27 16:03:28] 783*2^1227588-1 is not prime. Res64: EE4594C29E8AB7F6 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:06:01] 675*2^1227589-1 is not prime. Res64: 2026BD9D68FBE936 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:06:03] 801*2^1227589-1 is not prime. Res64: 243386195C156EAC Time : 0.0 sec. user=mdettweiler [2012-08-27 16:07:30] 733*2^1227595-1 is not prime. Res64: 95A741E575FB672A Time : 0.0 sec. user=mdettweiler [2012-08-27 16:07:32] 871*2^1227595-1 is not prime. Res64: BC3D812DC4866A1C Time : 0.0 sec. user=mdettweiler [2012-08-27 16:08:44] 825*2^1227589-1 is not prime. Res64: 1B68851AD22076F5 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:08:48] 951*2^1227589-1 is not prime. Res64: 1DBBD0A8FF9274C8 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:09:18] 641*2^1227590-1 is not prime. Res64: 0F3BBDD368212A1D Time : 0.0 sec. user=mdettweiler [2012-08-27 16:09:21] 645*2^1227590-1 is not prime. Res64: 186C837734D1EE6C Time : 0.0 sec. user=vaughan [2012-08-27 16:11:11] 889*2^1227593-1 is not prime. Res64: 096DAC2DDB828C38 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:18:48] 619*2^1227595-1 is not prime. Res64: 54AA1DD37289513D Time : 0.0 sec. user=mdettweiler [2012-08-27 16:20:26] 777*2^1227597-1 is not prime. Res64: 6F08B394D96E6FD2 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:20:29] 759*2^1227597-1 is not prime. Res64: A0787B6F02C6294D Time : 0.0 sec. user=mdettweiler [2012-08-27 16:22:13] 615*2^1227596-1 is not prime. Res64: 8FF02C4B6E4B0D30 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:22:14] 743*2^1227596-1 is not prime. Res64: 8609B6A1856AD81E Time : 0.0 sec. user=mdettweiler [2012-08-27 16:22:14] 777*2^1227596-1 is not prime. Res64: 0F15CA9D60726F38 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:22:18] 873*2^1227596-1 is not prime. Res64: 09A8E21D8FAC5CF3 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:25:11] 895*2^1227595-1 is not prime. Res64: 75E9E0EA9EF4DFD5 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:32:42] 615*2^1227599-1 is not prime. Res64: EA505C5DB69D6099 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:32:43] 655*2^1227599-1 is not prime. Res64: F6B1D38B8F24663E Time : 0.0 sec. user=mdettweiler [2012-08-27 16:42:52] 721*2^1227599-1 is not prime. Res64: 5B4B3EB1FC198F7F Time : 0.0 sec. user=mdettweiler [2012-08-27 16:42:52] 829*2^1227599-1 is not prime. Res64: AEED57A2F9232734 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:42:56] 861*2^1227599-1 is not prime. Res64: 62AF498BBE047046 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:42:56] 909*2^1227599-1 is not prime. Res64: E230FFE60DC332F4 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:44:40] 973*2^1227599-1 is not prime. Res64: 4A722749FE4F68A6 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:44:40] 699*2^1227600-1 is not prime. Res64: 7ACA5795E01DDC41 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:48:28] 987*2^1227598-1 is not prime. Res64: A32DD14593C1D56F Time : 0.0 sec. user=vaughan [2012-08-27 16:49:04] 831*2^1227598-1 is not prime. Res64: DB4923C320B55E13 Time : 0.0 sec. user=mdettweiler [2012-08-27 16:54:46] 949*2^1227599-1 is not prime. Res64: 5F35D289DA8AD23B Time : 0.0 sec. user=mdettweiler [2012-08-27 17:03:31] 843*2^1227600-1 is not prime. Res64: 2975BAAE75B007AF Time : 0.0 sec. user=mdettweiler [2012-08-27 17:03:32] 863*2^1227600-1 is not prime. Res64: CC006D81BA4461FD Time : 0.0 sec. user=mdettweiler [2012-08-27 17:03:34] 879*2^1227600-1 is not prime. Res64: 60CE1928EE1A3AC3 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:03:36] 887*2^1227600-1 is not prime. Res64: B410B2ED0A7C9C54 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:11:14] 893*2^1227600-1 is not prime. Res64: 81C120DEBCE37001 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:11:20] 959*2^1227600-1 is not prime. Res64: FCF1D38384B51481 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:18:33] 983*2^1227600-1 is not prime. Res64: 805A6803C55F6D4A Time : 0.0 sec. user=mdettweiler [2012-08-27 17:22:52] 899*2^1227596-1 is not prime. Res64: F71E88A9EC548AB9 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:22:52] 999*2^1227596-1 is not prime. Res64: 99BD424E9F708736 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:24:18] 741*2^1227601-1 is not prime. Res64: 70CBEAB6A9BAC9FD Time : 0.0 sec. user=mdettweiler [2012-08-27 17:24:18] 835*2^1227601-1 is not prime. Res64: 7C79748779B96D5A Time : 0.0 sec. user=mdettweiler [2012-08-27 17:24:19] 847*2^1227601-1 is not prime. Res64: C9065FBCDE658478 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:24:20] 951*2^1227601-1 is not prime. Res64: A4387FA430F15C63 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:25:31] 727*2^1227601-1 is not prime. Res64: A73ABDA52D51E3AE Time : 0.0 sec. user=mdettweiler [2012-08-27 17:26:15] 627*2^1227597-1 is not prime. Res64: 00FA41B2F86BE29D Time : 0.0 sec. user=mdettweiler [2012-08-27 17:26:15] 651*2^1227597-1 is not prime. Res64: EB8EF85590AD6AF5 Time : 0.0 sec. user=vaughan [2012-08-27 17:26:34] 687*2^1227601-1 is not prime. Res64: CB406C20BAC619C3 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:29:11] 817*2^1227597-1 is not prime. Res64: 4AF37985B0A4C7D3 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:29:11] 865*2^1227597-1 is not prime. Res64: 568988706BA65FB4 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:29:25] 949*2^1227597-1 is not prime. Res64: 534C7CB4D4EEAC62 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:29:26] 611*2^1227598-1 is not prime. Res64: FDC57D510C8A47CC Time : 0.0 sec. user=mdettweiler [2012-08-27 17:44:57] 815*2^1227602-1 is not prime. Res64: 95DB8385CB9DCA68 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:44:58] 873*2^1227602-1 is not prime. Res64: 7ACB10539D8AFBA7 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:44:58] 915*2^1227602-1 is not prime. Res64: 88D34F738C644C8F Time : 0.0 sec. user=mdettweiler [2012-08-27 17:44:59] 981*2^1227602-1 is not prime. Res64: 0FEBF561E5C37FCC Time : 0.0 sec. user=mdettweiler [2012-08-27 17:48:39] 645*2^1227602-1 is not prime. Res64: 1DA10B5270E20523 Time : 0.0 sec. user=mdettweiler [2012-08-27 17:55:13] 649*2^1227603-1 is not prime. Res64: ABBD0222B51C95A2 Time : 0.0 sec. user=vaughan [2012-08-27 18:04:02] 723*2^1227603-1 is not prime. Res64: 1F67DC7BA0BBCB99 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:05:42] 843*2^1227604-1 is not prime. Res64: 23D923B9321F6D23 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:05:44] 903*2^1227604-1 is not prime. Res64: 22BE78FDCD4B64A7 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:05:46] 607*2^1227605-1 is not prime. Res64: D75D66186906A039 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:05:49] 675*2^1227605-1 is not prime. Res64: C43B25F796EF84FA Time : 0.0 sec. user=mdettweiler [2012-08-27 18:18:12] 697*2^1227605-1 is not prime. Res64: 406756755C8776A1 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:24:45] 787*2^1227605-1 is not prime. Res64: 9246676EC0D0A47D Time : 0.0 sec. user=mdettweiler [2012-08-27 18:26:48] 979*2^1227605-1 is not prime. Res64: B3A2F782C0C8CF40 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:26:48] 725*2^1227606-1 is not prime. Res64: 0900F06C8645C4BB Time : 0.0 sec. user=mdettweiler [2012-08-27 18:26:51] 741*2^1227606-1 is not prime. Res64: 45EF98EEC61D2B0A Time : 0.0 sec. user=mdettweiler [2012-08-27 18:26:51] 783*2^1227606-1 is not prime. Res64: ADA5476087745F78 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:40:23] 747*2^1227602-1 is not prime. Res64: FF567FCA92241876 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:40:24] 767*2^1227602-1 is not prime. Res64: EF18A473948692C1 Time : 0.0 sec. user=vaughan [2012-08-27 18:41:33] 825*2^1227605-1 is not prime. Res64: 50E50454F1A01135 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:43:54] 663*2^1227603-1 is not prime. Res64: 7C98295BB95D0A41 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:43:54] 691*2^1227603-1 is not prime. Res64: 8AD1D08368E7175B Time : 0.0 sec. user=mdettweiler [2012-08-27 18:46:48] 835*2^1227603-1 is not prime. Res64: ABC962460942EEED Time : 0.0 sec. user=mdettweiler [2012-08-27 18:46:48] 871*2^1227603-1 is not prime. Res64: 0EA36DA897223996 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:04] 783*2^1227604-1 is not prime. Res64: 91D3C63095A98380 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:04] 833*2^1227604-1 is not prime. Res64: 41104B5DF03F6E1A Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:25] 851*2^1227606-1 is not prime. Res64: E9EF4B844CDAD1F9 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:26] 887*2^1227606-1 is not prime. Res64: 200ACEE34DCFF877 Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:28] 917*2^1227606-1 is not prime. Res64: C8D156DFF5B9246C Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:28] 983*2^1227606-1 is not prime. Res64: EA081A3CBCAB1A6F Time : 0.0 sec. user=mdettweiler [2012-08-27 18:47:58] 801*2^1227606-1 is not prime. Res64: EA624BB89A1999CE Time : 0.0 sec. user=mdettweiler [2012-08-27 18:54:31] 843*2^1227606-1 is not prime. Res64: E584698D52130655 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:08:03] 915*2^1227608-1 is not prime. Res64: C9AB85ACE5BAC4C3 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:08:04] 935*2^1227608-1 is not prime. Res64: 48E4F5453C1CBF34 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:08:06] 669*2^1227609-1 is not prime. Res64: 88BAD393E06B87A9 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:08:08] 745*2^1227609-1 is not prime. Res64: DA1CA331C2DB2DE6 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:17:36] 847*2^1227609-1 is not prime. Res64: E83CFC6064971140 Time : 0.0 sec. user=vaughan [2012-08-27 19:19:03] 925*2^1227607-1 is not prime. Res64: 2838ABEFABB6F5DD Time : 0.0 sec. user=mdettweiler [2012-08-27 19:24:04] 861*2^1227609-1 is not prime. Res64: E75BB13ADDFCE10A Time : 0.0 sec. user=mdettweiler [2012-08-27 19:29:04] 895*2^1227609-1 is not prime. Res64: 7E36AE8A66A0506F Time : 0.0 sec. user=mdettweiler [2012-08-27 19:29:05] 955*2^1227609-1 is not prime. Res64: 47C074752EF5B1EB Time : 0.0 sec. user=mdettweiler [2012-08-27 19:29:06] 687*2^1227610-1 is not prime. Res64: 0C45FD7075A47F58 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:29:07] 773*2^1227610-1 is not prime. Res64: 30C6A83E522B5DC9 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:41:33] 975*2^1227601-1 is not prime. Res64: 83EFD9761563CF6E Time : 0.0 sec. user=mdettweiler [2012-08-27 19:41:43] 635*2^1227602-1 is not prime. Res64: B0CF12477CA3A3F5 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:47:11] 791*2^1227610-1 is not prime. Res64: 4CC28D6D29561763 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:49:42] 923*2^1227610-1 is not prime. Res64: 186A2A9C45DAF289 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:49:43] 631*2^1227611-1 is not prime. Res64: 6BAD1D419FB3B7DB Time : 0.0 sec. user=mdettweiler [2012-08-27 19:49:44] 703*2^1227611-1 is not prime. Res64: FAB9466D7002A0C4 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:49:45] 647*2^1227612-1 is not prime. Res64: 498847279F9ED447 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:53:38] 857*2^1227610-1 is not prime. Res64: A314756DD8475E18 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:54:28] 689*2^1227612-1 is not prime. Res64: 4DA938F5D817B254 Time : 0.0 sec. user=mdettweiler [2012-08-27 19:54:35] 717*2^1227612-1 is not prime. Res64: 972B9D273DB2EC13 Time : 0.0 sec. user=vaughan [2012-08-27 19:56:32] 843*2^1227610-1 is not prime. Res64: A81A061CD5FBAFFB Time : 0.0 sec. user=mdettweiler [2012-08-27 19:57:43] 843*2^1227607-1 is not prime. Res64: E377D1845E91AECB Time : 0.0 sec. user=mdettweiler [2012-08-27 19:57:43] 901*2^1227607-1 is not prime. Res64: 200E45EDB22331EC Time : 0.0 sec. user=mdettweiler [2012-08-27 20:01:23] 931*2^1227607-1 is not prime. Res64: 953CBA15AFFEE261 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:01:24] 933*2^1227607-1 is not prime. Res64: DC5E3DA0E8D3CAAC Time : 0.0 sec. user=mdettweiler [2012-08-27 20:04:05] 951*2^1227607-1 is not prime. Res64: B50CF5211F37DE5E Time : 0.0 sec. user=mdettweiler [2012-08-27 20:04:06] 975*2^1227607-1 is not prime. Res64: 0EBDB9C7DB859AC6 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:04:48] 985*2^1227607-1 is not prime. Res64: 6C4239F01DC40856 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:04:49] 735*2^1227608-1 is not prime. Res64: 40D1D9F201FEB7BC Time : 0.0 sec. user=mdettweiler [2012-08-27 20:07:33] 855*2^1227613-1 is not prime. Res64: 60353A8B46B26522 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:07:38] 885*2^1227613-1 is not prime. Res64: 734ED1708D99AB6F Time : 0.0 sec. user=mdettweiler [2012-08-27 20:10:22] 809*2^1227612-1 is not prime. Res64: 743366CA58621DA6 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:10:23] 873*2^1227612-1 is not prime. Res64: C5E6662877DE252B Time : 0.0 sec. user=mdettweiler [2012-08-27 20:10:25] 965*2^1227612-1 is not prime. Res64: 7F5331BDBAB5B283 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:10:29] 699*2^1227613-1 is not prime. Res64: 0FA343BA772DA96E Time : 0.0 sec. user=mdettweiler [2012-08-27 20:16:53] 797*2^1227612-1 is not prime. Res64: 880E9355BE6E60A8 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:20:41] 781*2^1227615-1 is not prime. Res64: 3EEE838DE7DB2AA2 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:20:42] 865*2^1227615-1 is not prime. Res64: 2153328AC7F25442 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:23:17] 789*2^1227613-1 is not prime. Res64: 3E23093777ADEEB5 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:31:15] 921*2^1227615-1 is not prime. Res64: B81C2133CBA96036 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:31:16] 961*2^1227615-1 is not prime. Res64: B17E0768FA9DDDE5 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:31:17] 985*2^1227615-1 is not prime. Res64: 71B6A6A1A22DB913 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:31:18] 609*2^1227616-1 is not prime. Res64: 9F288E72AA648AF5 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:33:54] 803*2^1227616-1 is not prime. Res64: 47AA03EBDC0C44B5 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:33:55] 723*2^1227616-1 is not prime. Res64: AF6399508C4E9729 Time : 0.0 sec. user=vaughan [2012-08-27 20:34:01] 705*2^1227614-1 is not prime. Res64: 9C7608C36C2634C1 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:46:29] 675*2^1227616-1 is not prime. Res64: 453128C2882F68F1 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:46:53] 871*2^1227617-1 is not prime. Res64: 40F006A4F39425AF Time : 0.0 sec. user=mdettweiler [2012-08-27 20:46:55] 931*2^1227617-1 is not prime. Res64: 4D1BB7766C961403 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:51:55] 989*2^1227616-1 is not prime. Res64: 3B59DA717FC69FD9 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:51:55] 917*2^1227616-1 is not prime. Res64: 34E16D2C6D4F52CE Time : 0.0 sec. user=mdettweiler [2012-08-27 20:51:56] 829*2^1227617-1 is not prime. Res64: 041DC450B615063D Time : 0.0 sec. user=mdettweiler [2012-08-27 20:51:56] 939*2^1227616-1 is not prime. Res64: 59215562E6518666 Time : 0.0 sec. user=mdettweiler [2012-08-27 20:52:50] 843*2^1227616-1 is not prime. Res64: 88363C466EFF09A5 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:00:04] 621*2^1227618-1 is not prime. Res64: F1ECCFD79840FC54 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:00:06] 725*2^1227618-1 is not prime. Res64: 019610CFAAFDC4A7 Time : 0.0 sec. user=vaughan [2012-08-27 21:11:30] 949*2^1227617-1 is not prime. Res64: D67A3CF02817A907 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:12:33] 747*2^1227618-1 is not prime. Res64: E274F1ABA59860A3 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:12:35] 843*2^1227618-1 is not prime. Res64: 1CD67DD27D739D8C Time : 0.0 sec. user=mdettweiler [2012-08-27 21:12:36] 893*2^1227618-1 is not prime. Res64: B14F49A177D9A503 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:12:37] 921*2^1227618-1 is not prime. Res64: 8AE8B1C609FB4F59 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:13:06] 693*2^1227619-1 is not prime. Res64: A624BE362EC4DF15 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:13:10] 733*2^1227619-1 is not prime. Res64: 0C09E6425205F073 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:14:28] 743*2^1227614-1 is not prime. Res64: 3A6DE8DE17F593DA Time : 0.0 sec. user=mdettweiler [2012-08-27 21:14:29] 861*2^1227614-1 is not prime. Res64: 369199790755EA93 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:16:03] 605*2^1227618-1 is not prime. Res64: 31178CE1CFA0972A Time : 0.0 sec. user=mdettweiler [2012-08-27 21:18:25] 885*2^1227614-1 is not prime. Res64: 4E42757B93F290B3 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:18:25] 951*2^1227614-1 is not prime. Res64: 721C5D23C82D49E5 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:20:54] 953*2^1227614-1 is not prime. Res64: 06C16E061DF8094C Time : 0.0 sec. user=mdettweiler [2012-08-27 21:20:54] 993*2^1227614-1 is not prime. Res64: 1D0449D7047F0899 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:22:19] 675*2^1227615-1 is not prime. Res64: 0531DDE9F0383487 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:22:20] 685*2^1227615-1 is not prime. Res64: 456152A8EB190BC0 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:22:25] 619*2^1227619-1 is not prime. Res64: 4AC13B4E68FF0BED Time : 0.0 sec. user=mdettweiler [2012-08-27 21:26:28] 985*2^1227619-1 is not prime. Res64: FEAF4145E0B0128A Time : 0.0 sec. user=mdettweiler [2012-08-27 21:26:36] 635*2^1227620-1 is not prime. Res64: 99519635BAFF8E6F Time : 0.0 sec. user=mdettweiler [2012-08-27 21:33:18] 811*2^1227619-1 is not prime. Res64: B82F64B8F0A9D1C6 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:33:19] 889*2^1227619-1 is not prime. Res64: 51D58187E5F30A9F Time : 0.0 sec. user=mdettweiler [2012-08-27 21:33:22] 919*2^1227619-1 is not prime. Res64: EBAAF4451E737138 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:33:23] 975*2^1227619-1 is not prime. Res64: 9E0883691507F287 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:39:23] 789*2^1227621-1 is not prime. Res64: 38A0290844187833 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:39:27] 835*2^1227621-1 is not prime. Res64: D903E155967AFDED Time : 0.0 sec. user=mdettweiler [2012-08-27 21:45:41] 875*2^1227620-1 is not prime. Res64: 35C1A2557BA1525A Time : 0.0 sec. user=vaughan [2012-08-27 21:49:02] 735*2^1227619-1 is not prime. Res64: 65029FEB889F9F01 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:52:02] 781*2^1227621-1 is not prime. Res64: ED383707F22C9D4C Time : 0.0 sec. user=mdettweiler [2012-08-27 21:52:17] 791*2^1227622-1 is not prime. Res64: 16B9653D50143937 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:52:22] 863*2^1227622-1 is not prime. Res64: 73E2BCC1838526CF Time : 0.0 sec. user=mdettweiler [2012-08-27 21:53:58] 921*2^1227621-1 is not prime. Res64: 7C04896CF0466F32 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:53:58] 937*2^1227621-1 is not prime. Res64: 17D3E423F2AA27A6 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:54:01] 617*2^1227622-1 is not prime. Res64: F2E3638990883F34 Time : 0.0 sec. user=mdettweiler [2012-08-27 21:54:01] 621*2^1227622-1 is not prime. Res64: 8846DED57DCE968D Time : 0.0 sec. user=mdettweiler [2012-08-27 22:05:28] 963*2^1227623-1 is not prime. Res64: CE6AD56B14229C36 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:05:32] 973*2^1227623-1 is not prime. Res64: 002C453A9DB37E6B Time : 0.0 sec. user=mdettweiler [2012-08-27 22:14:40] 981*2^1227623-1 is not prime. Res64: 16A1C9139274F0CC Time : 0.0 sec. user=mdettweiler [2012-08-27 22:14:42] 993*2^1227623-1 is not prime. Res64: 5F498ACADD1E0864 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:14:44] 705*2^1227624-1 is not prime. Res64: 351F54EB40E092C8 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:14:45] 725*2^1227624-1 is not prime. Res64: 04F531F881E7CA12 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:15:18] 663*2^1227623-1 is not prime. Res64: 5FAE253B94A15046 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:21:37] 879*2^1227623-1 is not prime. Res64: 80EB6805914FCFFF Time : 0.0 sec. user=vaughan [2012-08-27 22:26:51] 685*2^1227623-1 is not prime. Res64: 4F89A5FA4D0324C0 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:32:10] 773*2^1227620-1 is not prime. Res64: 814D1FD766C35664 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:32:11] 789*2^1227620-1 is not prime. Res64: 524516A8D844E7C2 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:35:32] 909*2^1227624-1 is not prime. Res64: 769EA97373BE3B5D Time : 0.0 sec. user=mdettweiler [2012-08-27 22:35:32] 917*2^1227624-1 is not prime. Res64: 8B456CD37A54AE51 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:35:33] 975*2^1227624-1 is not prime. Res64: 8247041A0712FBDB Time : 0.0 sec. user=mdettweiler [2012-08-27 22:35:33] 667*2^1227625-1 is not prime. Res64: A641A2D3E8953763 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:36:05] 909*2^1227620-1 is not prime. Res64: 94E9CAD99159AF3C Time : 0.0 sec. user=mdettweiler [2012-08-27 22:36:05] 995*2^1227620-1 is not prime. Res64: 39067800DDC59012 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:38:24] 607*2^1227621-1 is not prime. Res64: 9451036B00CB176A Time : 0.0 sec. user=mdettweiler [2012-08-27 22:38:24] 691*2^1227621-1 is not prime. Res64: 7E8EAFA5C29442D5 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:39:58] 709*2^1227621-1 is not prime. Res64: FEFAF292ADDCACE1 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:39:59] 751*2^1227621-1 is not prime. Res64: 8E68F7440B63FA87 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:44:50] 691*2^1227625-1 is not prime. Res64: BB63156263A96835 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:51:10] 741*2^1227625-1 is not prime. Res64: 0E17D825A68064FB Time : 0.0 sec. user=mdettweiler [2012-08-27 22:56:10] 641*2^1227626-1 is not prime. Res64: 8D3B9F8D3BFE3FBC Time : 0.0 sec. user=mdettweiler [2012-08-27 22:56:11] 683*2^1227626-1 is not prime. Res64: 3821F6076353C2F3 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:56:11] 707*2^1227626-1 is not prime. Res64: F14FA197F9DD1E72 Time : 0.0 sec. user=mdettweiler [2012-08-27 22:56:12] 713*2^1227626-1 is not prime. Res64: BB8C36FC31BCD55A Time : 0.0 sec. user=gd_barnes [2012-08-27 22:59:28] 981*2^1227625-1 is not prime. Res64: A066B4E6A83EB9AC Time : 0.0 sec. user=vaughan [2012-08-27 23:04:32] 925*2^1227625-1 is not prime. Res64: D26621233C0C8C31 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:14:53] 941*2^1227626-1 is not prime. Res64: 6C32C46B60AE5CB1 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:16:49] 643*2^1227627-1 is not prime. Res64: 6C47C65647A68D69 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:16:49] 805*2^1227627-1 is not prime. Res64: A302241FA070876C Time : 0.0 sec. user=mdettweiler [2012-08-27 23:16:49] 795*2^1227627-1 is not prime. Res64: 331BD80FD7D7249F Time : 0.0 sec. user=mdettweiler [2012-08-27 23:16:49] 909*2^1227627-1 is not prime. Res64: 658D2A55FF6567FC Time : 0.0 sec. user=mdettweiler [2012-08-27 23:21:04] 625*2^1227627-1 is not prime. Res64: A8385B5EAF3A3FE8 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:37:27] 765*2^1227628-1 is not prime. Res64: C5ACE2ED01CF4D6A Time : 0.0 sec. user=mdettweiler [2012-08-27 23:37:28] 843*2^1227628-1 is not prime. Res64: D0AB41246A3F3C64 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:37:28] 869*2^1227628-1 is not prime. Res64: FBAE8BF1A9F6C149 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:37:29] 887*2^1227628-1 is not prime. Res64: DBB6E2A4687EA34D Time : 0.0 sec. user=vaughan [2012-08-27 23:42:16] 951*2^1227627-1 is not prime. Res64: 259DCAD810FC2922 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:44:31] 689*2^1227628-1 is not prime. Res64: 45802C8EA4434D22 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:50:18] 997*2^1227625-1 is not prime. Res64: B837F03FEBAEA68C Time : 0.0 sec. user=mdettweiler [2012-08-27 23:50:19] 999*2^1227625-1 is not prime. Res64: 3A80CE1B175427F1 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:50:38] 649*2^1227629-1 is not prime. Res64: A2262FFEA04E85D5 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:53:33] 741*2^1227626-1 is not prime. Res64: 5EE532947543F3DA Time : 0.0 sec. user=mdettweiler [2012-08-27 23:53:34] 783*2^1227626-1 is not prime. Res64: A5D85BFA9956B687 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:55:20] 827*2^1227626-1 is not prime. Res64: 3D3721C9D4A9BD52 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:55:20] 867*2^1227626-1 is not prime. Res64: 63D13EB88E45F3E0 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:57:15] 911*2^1227626-1 is not prime. Res64: CD217DD0C796125B Time : 0.0 sec. user=mdettweiler [2012-08-27 23:57:15] 921*2^1227626-1 is not prime. Res64: 52331A652579394F Time : 0.0 sec. user=mdettweiler [2012-08-27 23:58:13] 801*2^1227629-1 is not prime. Res64: 5BE38E5005E11DA0 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:58:14] 865*2^1227629-1 is not prime. Res64: C46B63E376F51706 Time : 0.0 sec. user=mdettweiler [2012-08-27 23:58:14] 635*2^1227630-1 is not prime. Res64: 367EBBB57ED62E2E Time : 0.0 sec. user=mdettweiler [2012-08-27 23:58:15] 647*2^1227630-1 is not prime. Res64: 75959F91363146BB Time : 0.0 sec.