user=mdettweiler [2012-01-01 00:46:18] 829*2^1000015-1 is not prime. Res64: 83C2B514CE1843EF Time : 0.0 sec. user=mdettweiler [2012-01-01 00:46:19] 973*2^1000015-1 is not prime. Res64: 1E560DF3A9B310B3 Time : 0.0 sec. user=mdettweiler [2012-01-01 00:53:10] 985*2^1000015-1 is not prime. Res64: 3E06644FFDB7B6E5 Time : 0.0 sec. user=mdettweiler [2012-01-01 00:53:10] 623*2^1000016-1 is not prime. Res64: 41680DA196CA185C Time : 0.0 sec. user=mdettweiler [2012-01-01 00:58:49] 633*2^1000016-1 is not prime. Res64: 4DB7C352DD9ABB7D Time : 0.0 sec. user=mdettweiler [2012-01-01 00:58:49] 645*2^1000016-1 is not prime. Res64: F0A498FA8A132367 Time : 0.0 sec. user=mdettweiler [2012-01-01 01:58:52] 875*2^1000016-1 is not prime. Res64: 4A75E948824CF065 Time : 0.0 sec. user=mdettweiler [2012-01-01 01:58:52] 945*2^1000016-1 is not prime. Res64: 8A550DC5483EDA4D Time : 0.0 sec. user=mdettweiler [2012-01-01 02:05:49] 711*2^1000017-1 is not prime. Res64: 4B070D0381BE2E99 Time : 0.0 sec. user=mdettweiler [2012-01-01 02:05:51] 865*2^1000017-1 is not prime. Res64: 32902E07229C372B Time : 0.0 sec. user=mdettweiler [2012-01-01 02:11:21] 885*2^1000017-1 is not prime. Res64: 2DDE0CC18D932468 Time : 0.0 sec. user=mdettweiler [2012-01-01 02:11:22] 895*2^1000017-1 is not prime. Res64: 2331A9581A5A245A Time : 0.0 sec. user=mdettweiler [2012-01-01 03:11:25] 915*2^1000017-1 is not prime. Res64: E3D92F047234A930 Time : 0.0 sec. user=mdettweiler [2012-01-01 03:11:27] 955*2^1000017-1 is not prime. Res64: BA349252E8D2AAC3 Time : 0.0 sec. user=mdettweiler [2012-01-01 03:23:54] 657*2^1000018-1 is not prime. Res64: E84DAAE350876A2D Time : 0.0 sec. user=mdettweiler [2012-01-01 03:23:55] 677*2^1000018-1 is not prime. Res64: B08E0E8C2FF41B12 Time : 0.0 sec. user=mdettweiler [2012-01-01 03:26:29] 991*2^1000017-1 is not prime. Res64: AA8BD3C5897D4A10 Time : 0.0 sec. user=mdettweiler [2012-01-01 03:26:29] 647*2^1000018-1 is not prime. Res64: 3619B47A59FDFFD9 Time : 0.0 sec. user=mdettweiler [2012-01-01 04:24:00] 681*2^1000018-1 is not prime. Res64: 25877F1AC1F58256 Time : 0.0 sec. user=mdettweiler [2012-01-01 04:24:00] 713*2^1000018-1 is not prime. Res64: 44092EE38CFD2AFF Time : 0.0 sec. user=mdettweiler [2012-01-01 04:36:23] 723*2^1000018-1 is not prime. Res64: C7657760D4A8153A Time : 0.0 sec. user=mdettweiler [2012-01-01 04:36:24] 815*2^1000018-1 is not prime. Res64: 0D556876DBC53CFE Time : 0.0 sec. user=mdettweiler [2012-01-01 04:38:55] 861*2^1000018-1 is not prime. Res64: A0B9135427625E4A Time : 0.0 sec. user=mdettweiler [2012-01-01 04:38:57] 911*2^1000018-1 is not prime. Res64: 9356987096DE6EBA Time : 0.0 sec. user=mdettweiler [2012-01-01 05:36:32] 933*2^1000018-1 is not prime. Res64: 55486BE3D5654BE1 Time : 0.0 sec. user=mdettweiler [2012-01-01 05:36:32] 945*2^1000018-1 is not prime. Res64: 156CAB6B66DC4D85 Time : 0.0 sec. user=mdettweiler [2012-01-01 05:51:27] 619*2^1000019-1 is not prime. Res64: 9CDC265F08A2D6F5 Time : 0.0 sec. user=mdettweiler [2012-01-01 05:51:27] 655*2^1000019-1 is not prime. Res64: 92F557BF689F59F7 Time : 0.0 sec. user=mdettweiler [2012-01-01 05:57:03] 981*2^1000018-1 is not prime. Res64: 88A26D6E10E59BAF Time : 0.0 sec. user=mdettweiler [2012-01-01 05:57:03] 601*2^1000019-1 is not prime. Res64: D6EA6A07C2946594 Time : 0.0 sec. user=mdettweiler [2012-01-01 06:49:04] 711*2^1000019-1 is not prime. Res64: 199B9D20727F7CF8 Time : 0.0 sec. user=mdettweiler [2012-01-01 06:49:04] 759*2^1000019-1 is not prime. Res64: 1D99E62F71D6F1B0 Time : 0.0 sec. user=mdettweiler [2012-01-01 07:09:30] 609*2^1000020-1 is not prime. Res64: BE9AE749DE793C2A Time : 0.0 sec. user=mdettweiler [2012-01-01 07:09:32] 783*2^1000020-1 is not prime. Res64: 914010A288F29834 Time : 0.0 sec. user=mdettweiler [2012-01-01 07:11:58] 883*2^1000019-1 is not prime. Res64: 0A3D81AFACF03817 Time : 0.0 sec. user=mdettweiler [2012-01-01 07:11:59] 979*2^1000019-1 is not prime. Res64: 83BD933B25B5639F Time : 0.0 sec. user=mdettweiler [2012-01-01 08:01:51] 795*2^1000020-1 is not prime. Res64: 2C3AB7065D05F68B Time : 0.0 sec. user=mdettweiler [2012-01-01 08:01:52] 933*2^1000020-1 is not prime. Res64: E1F65E7C9AF674AE Time : 0.0 sec. user=mdettweiler [2012-01-01 08:24:52] 607*2^1000021-1 is not prime. Res64: E1E5FDC9CF719401 Time : 0.0 sec. user=mdettweiler [2012-01-01 08:24:52] 615*2^1000021-1 is not prime. Res64: 4457832ACE4AC289 Time : 0.0 sec. user=mdettweiler [2012-01-01 08:38:25] 983*2^1000020-1 is not prime. Res64: F13A57F68F30775C Time : 0.0 sec. user=mdettweiler [2012-01-01 08:38:25] 999*2^1000020-1 is not prime. Res64: B845ECC3F394066E Time : 0.0 sec. user=mdettweiler [2012-01-01 09:13:26] 625*2^1000021-1 is not prime. Res64: 6E92601BCBD6E6A9 Time : 0.0 sec. user=mdettweiler [2012-01-01 09:13:27] 687*2^1000021-1 is not prime. Res64: 25482B3C7CCFCE3A Time : 0.0 sec. user=mdettweiler [2012-01-01 09:35:57] 861*2^1000021-1 is not prime. Res64: 9DDD1457E4835DDF Time : 0.0 sec. user=mdettweiler [2012-01-01 09:35:57] 895*2^1000021-1 is not prime. Res64: 8F3D328B843FA59E Time : 0.0 sec. user=mdettweiler [2012-01-01 09:56:59] 939*2^1000021-1 is not prime. Res64: 756BD5A345573618 Time : 0.0 sec. user=mdettweiler [2012-01-01 09:56:59] 979*2^1000021-1 is not prime. Res64: 455AF5E3D2D1B973 Time : 0.0 sec. user=mdettweiler [2012-01-01 10:32:11] 987*2^1000021-1 is not prime. Res64: 3762F4E4753BB567 Time : 0.0 sec. user=mdettweiler [2012-01-01 10:32:11] 665*2^1000022-1 is not prime. Res64: 58866F5CE7BCA2B1 Time : 0.0 sec. user=mdettweiler [2012-01-01 10:46:33] 675*2^1000022-1 is not prime. Res64: A716A209F812C5D5 Time : 0.0 sec. user=mdettweiler [2012-01-01 10:46:33] 813*2^1000022-1 is not prime. Res64: 5316113F69F8AB90 Time : 0.0 sec. user=mdettweiler [2012-01-01 11:07:45] 915*2^1000022-1 is not prime. Res64: 41280F66B43495DA Time : 0.0 sec. user=mdettweiler [2012-01-01 11:07:46] 951*2^1000022-1 is not prime. Res64: F9B755BF8A8B31D8 Time : 0.0 sec. user=mdettweiler [2012-01-01 11:43:41] 691*2^1000023-1 is not prime. Res64: 03F50A7819014067 Time : 0.0 sec. user=mdettweiler [2012-01-01 11:43:41] 693*2^1000023-1 is not prime. Res64: D28FAD32D7E091EC Time : 0.0 sec. user=mdettweiler [2012-01-01 11:58:34] 763*2^1000023-1 is not prime. Res64: E88E53DABFB6246B Time : 0.0 sec. user=mdettweiler [2012-01-01 11:58:34] 789*2^1000023-1 is not prime. Res64: 802D6BD533EEFB5E Time : 0.0 sec. user=mdettweiler [2012-01-01 12:20:28] 879*2^1000023-1 is not prime. Res64: 4008CEBB9405B4DD Time : 0.0 sec. user=mdettweiler [2012-01-01 12:20:28] 943*2^1000023-1 is not prime. Res64: 29749C43F4703017 Time : 0.0 sec. user=mdettweiler [2012-01-01 12:36:14] 675*2^1000024-1 is not prime. Res64: D92AECA9BC82B099 Time : 0.0 sec. user=mdettweiler [2012-01-01 12:36:15] 623*2^1000024-1 is not prime. Res64: 930B888D0D1AEBC7 Time : 0.0 sec. user=mdettweiler [2012-01-01 13:03:23] 645*2^1000024-1 is not prime. Res64: 8D66CDAF7512E324 Time : 0.0 sec. user=mdettweiler [2012-01-01 13:18:12] 863*2^1000024-1 is not prime. Res64: 0396A3A99A240AA3 Time : 0.0 sec. user=mdettweiler [2012-01-01 13:38:38] 927*2^1000024-1 is not prime. Res64: 4448FAB26E89B49A Time : 0.0 sec. user=mdettweiler [2012-01-01 13:38:38] 669*2^1000025-1 is not prime. Res64: 9B2E0AD46EAF03A8 Time : 0.0 sec. user=mdettweiler [2012-01-01 14:11:59] 675*2^1000025-1 is not prime. Res64: 2507A6E708AA4A87 Time : 0.0 sec. user=mdettweiler [2012-01-01 14:12:01] 777*2^1000025-1 is not prime. Res64: 6C22C57B4CEC48D6 Time : 0.0 sec. user=mdettweiler [2012-01-01 15:00:16] 981*2^1000025-1 is not prime. Res64: 3FF05CBD88817031 Time : 0.0 sec. user=mdettweiler [2012-01-01 15:00:19] 987*2^1000025-1 is not prime. Res64: 8386D26F27D390EF Time : 0.0 sec. user=mdettweiler [2012-01-01 15:18:17] 695*2^1000026-1 is not prime. Res64: 33F2B11F04CBE244 Time : 0.0 sec. user=mdettweiler [2012-01-01 15:18:17] 713*2^1000026-1 is not prime. Res64: 644245DF0B39563F Time : 0.0 sec. user=mdettweiler [2012-01-01 16:06:34] 807*2^1000026-1 is not prime. Res64: 9F7F452EBFB2EB66 Time : 0.0 sec. user=mdettweiler [2012-01-01 16:06:35] 945*2^1000026-1 is not prime. Res64: 56DDE6899203159A Time : 0.0 sec. user=mdettweiler [2012-01-01 16:31:51] 1001*2^1000026-1 is not prime. Res64: C3BA6162E117E092 Time : 0.0 sec. user=mdettweiler [2012-01-01 16:31:52] 615*2^1000027-1 is not prime. Res64: C5A016D8C7E9A208 Time : 0.0 sec. user=mdettweiler [2012-01-01 17:12:45] 645*2^1000027-1 is not prime. Res64: 3CD851F994D29EBD Time : 0.0 sec. user=mdettweiler [2012-01-01 17:12:51] 649*2^1000027-1 is not prime. Res64: A060020CCE363858 Time : 0.0 sec. user=mdettweiler [2012-01-01 17:37:46] 685*2^1000027-1 is not prime. Res64: D87395E09EB036A2 Time : 0.0 sec. user=mdettweiler [2012-01-01 17:37:46] 741*2^1000027-1 is not prime. Res64: E07E9B79635FA5D4 Time : 0.0 sec. user=mdettweiler [2012-01-01 18:18:54] 765*2^1000027-1 is not prime. Res64: 98DD5FD3E778E672 Time : 0.0 sec. user=mdettweiler [2012-01-01 18:18:54] 819*2^1000027-1 is not prime. Res64: 96A8A5D905663E0A Time : 0.0 sec. user=mdettweiler [2012-01-01 18:43:38] 871*2^1000027-1 is not prime. Res64: 6217FC82BFADDC30 Time : 0.0 sec. user=mdettweiler [2012-01-01 18:43:39] 909*2^1000027-1 is not prime. Res64: ADFF29E318B7C5EB Time : 0.0 sec. user=mdettweiler [2012-01-01 19:25:38] 919*2^1000027-1 is not prime. Res64: B284962EB7BC2BA3 Time : 0.0 sec. user=mdettweiler [2012-01-01 19:25:38] 633*2^1000028-1 is not prime. Res64: 36EBA79887635F3F Time : 0.0 sec. user=mdettweiler [2012-01-01 19:50:45] 635*2^1000028-1 is not prime. Res64: F6C793EABFABBEFD Time : 0.0 sec. user=mdettweiler [2012-01-01 19:50:45] 735*2^1000028-1 is not prime. Res64: CD5A9FF4D3C32E07 Time : 0.0 sec. user=mdettweiler [2012-01-01 20:31:45] 825*2^1000028-1 is not prime. Res64: DDBC58B84B7EFA01 Time : 0.0 sec. user=mdettweiler [2012-01-01 20:31:46] 837*2^1000028-1 is not prime. Res64: 884B7A941984617A Time : 0.0 sec. user=mdettweiler [2012-01-01 20:56:23] 909*2^1000028-1 is not prime. Res64: 90E8785378CCA2AC Time : 0.0 sec. user=mdettweiler [2012-01-01 20:56:23] 929*2^1000028-1 is not prime. Res64: 809A104130A2C369 Time : 0.0 sec. user=mdettweiler [2012-01-01 21:37:06] 935*2^1000028-1 is not prime. Res64: A4660495C461EFDA Time : 0.0 sec. user=mdettweiler [2012-01-01 21:37:06] 609*2^1000029-1 is not prime. Res64: 61BAAAF5CF670214 Time : 0.0 sec. user=mdettweiler [2012-01-01 22:01:31] 669*2^1000029-1 is not prime. Res64: 027F68B595EEBDE2 Time : 0.0 sec. user=mdettweiler [2012-01-01 22:01:32] 787*2^1000029-1 is not prime. Res64: 51E3EFD258CBFEF5 Time : 0.0 sec. user=mdettweiler [2012-01-01 22:41:55] 795*2^1000029-1 is not prime. Res64: 6A0C42B7E66B7A29 Time : 0.0 sec. user=mdettweiler [2012-01-01 22:41:55] 865*2^1000029-1 is not prime. Res64: 9E8D5C03A477DD19 Time : 0.0 sec. user=mdettweiler [2012-01-01 23:06:39] 653*2^1000030-1 is not prime. Res64: CBF31DC3C314B481 Time : 0.0 sec. user=mdettweiler [2012-01-01 23:06:40] 761*2^1000030-1 is not prime. Res64: 407DF7CAEE533FCC Time : 0.0 sec. user=mdettweiler [2012-01-01 23:48:02] 777*2^1000030-1 is not prime. Res64: 45F717BE05CB557D Time : 0.0 sec. user=mdettweiler [2012-01-01 23:48:02] 863*2^1000030-1 is not prime. Res64: AE30B8EAD18217AD Time : 0.0 sec.