user=juhehe [2015-01-14 00:03:09] 703*2^1388951-1 is not prime. Res64: 74D27A4763796A2E Time : 0.0 sec. user=mdettweiler [2015-01-14 00:31:24] 615*2^1388952-1 is not prime. Res64: A3BE3DF13BCED0CE Time : 0.0 sec. user=mdettweiler [2015-01-14 00:31:24] 627*2^1388952-1 is not prime. Res64: 7286D643B2F829E9 Time : 0.0 sec. user=mdettweiler [2015-01-14 00:36:22] 633*2^1388952-1 is not prime. Res64: 487B4A940218D35C Time : 0.0 sec. user=mdettweiler [2015-01-14 00:36:22] 675*2^1388952-1 is not prime. Res64: CE60E33DD0C26E66 Time : 0.0 sec. user=mdettweiler [2015-01-14 00:36:57] 737*2^1388952-1 is not prime. Res64: 177E3394C900AF54 Time : 0.0 sec. user=juhehe [2015-01-14 00:39:33] 899*2^1388952-1 is not prime. Res64: 3DE25CBD7702EC9C Time : 0.0 sec. user=mdettweiler [2015-01-14 01:17:58] 609*2^1388953-1 is not prime. Res64: E346DFAE89382C5D Time : 0.0 sec. user=mdettweiler [2015-01-14 01:17:59] 679*2^1388953-1 is not prime. Res64: 392210B1F2D74668 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:19:46] 747*2^1388953-1 is not prime. Res64: E93647D7F85F0D89 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:19:47] 765*2^1388953-1 is not prime. Res64: 2114DBCA9D184169 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:45:08] 615*2^1388954-1 is not prime. Res64: C842173EF5692695 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:45:08] 635*2^1388954-1 is not prime. Res64: 301F398CA996F8D1 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:47:59] 641*2^1388954-1 is not prime. Res64: 70EF835D8AB1AC51 Time : 0.0 sec. user=mdettweiler [2015-01-14 01:48:00] 687*2^1388954-1 is not prime. Res64: 6E52EF2ED4E5214B Time : 0.0 sec. user=juhehe [2015-01-14 01:54:29] 849*2^1388953-1 is not prime. Res64: 59162A252EDCE3D9 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:00:36] 979*2^1388951-1 is not prime. Res64: 563AC3B58F98D186 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:00:36] 991*2^1388951-1 is not prime. Res64: 982E0F65D81AF856 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:13:55] 743*2^1388954-1 is not prime. Res64: 5BA5E8AC50C86AF0 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:13:56] 755*2^1388954-1 is not prime. Res64: 88F3F02F022E64E6 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:16:50] 843*2^1388952-1 is not prime. Res64: 41F404DC5F2B68C0 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:17:05] 827*2^1388954-1 is not prime. Res64: B71DB6C476C425A9 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:17:05] 831*2^1388954-1 is not prime. Res64: 5A6CF38D3F1EA1C3 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:38:07] 887*2^1388954-1 is not prime. Res64: FEACB37CBCFC132F Time : 0.0 sec. user=mdettweiler [2015-01-14 02:38:08] 945*2^1388954-1 is not prime. Res64: FCCD72E43CA410B4 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:50:43] 951*2^1388954-1 is not prime. Res64: ECDB56F8E035DD7A Time : 0.0 sec. user=mdettweiler [2015-01-14 02:50:45] 651*2^1388955-1 is not prime. Res64: E3B80DB3BA57FBB6 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:50:45] 663*2^1388955-1 is not prime. Res64: 49BFD2CDA3E10993 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:50:51] 669*2^1388955-1 is not prime. Res64: D97765306F727062 Time : 0.0 sec. user=mdettweiler [2015-01-14 02:50:52] 955*2^1388955-1 is not prime. Res64: 6BF6F0B894157C9B Time : 0.0 sec. user=mdettweiler [2015-01-14 03:03:57] 623*2^1388956-1 is not prime. Res64: D586A5074FB44593 Time : 0.0 sec. user=mdettweiler [2015-01-14 03:03:58] 693*2^1388956-1 is not prime. Res64: E4C3D612F888D3C3 Time : 0.0 sec. user=mdettweiler [2015-01-14 03:16:27] 857*2^1388956-1 is not prime. Res64: 7E8DB3B31450488D Time : 0.0 sec. user=mdettweiler [2015-01-14 03:16:27] 803*2^1388956-1 is not prime. Res64: D042A051E00E0DF6 Time : 0.0 sec. user=mdettweiler [2015-01-14 03:16:39] 873*2^1388956-1 is not prime. Res64: EE535F2880859E33 Time : 0.0 sec. user=mdettweiler [2015-01-14 03:16:39] 833*2^1388956-1 is not prime. Res64: 6045F347166ABD18 Time : 0.0 sec. user=mdettweiler [2015-01-14 04:22:27] 971*2^1388954-1 is not prime. Res64: 1751473A41AF9BB7 Time : 0.0 sec. user=mdettweiler [2015-01-14 04:48:37] 615*2^1388957-1 is not prime. Res64: B26AF1CA886A50B6 Time : 0.0 sec. user=mdettweiler [2015-01-14 04:48:37] 711*2^1388957-1 is not prime. Res64: 1B7AAC17C8E043E2 Time : 0.0 sec. user=mdettweiler [2015-01-14 04:49:16] 769*2^1388957-1 is not prime. Res64: 17000DC57DCCAF12 Time : 0.0 sec. user=mdettweiler [2015-01-14 04:49:16] 781*2^1388957-1 is not prime. Res64: 5EADE80A619384E6 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:14:35] 831*2^1388957-1 is not prime. Res64: D2CD7625E36501E9 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:14:41] 635*2^1388958-1 is not prime. Res64: E01FE5C3D3183740 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:14:42] 833*2^1388958-1 is not prime. Res64: 33A1B7499E1D60D4 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:17:05] 891*2^1388958-1 is not prime. Res64: FB856E059679B671 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:17:05] 977*2^1388958-1 is not prime. Res64: 627EA986ADF31FE8 Time : 0.0 sec. user=juhehe [2015-01-14 05:35:40] 675*2^1388959-1 is not prime. Res64: 9A8E98E3974AE879 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:41:07] 681*2^1388959-1 is not prime. Res64: 8967B8304F9DE7D1 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:41:08] 693*2^1388959-1 is not prime. Res64: 9A2A49BA31C89C08 Time : 0.0 sec. user=mdettweiler [2015-01-14 05:43:10] 723*2^1388959-1 is not prime. Res64: 80692723D1C2E32C Time : 0.0 sec. user=mdettweiler [2015-01-14 05:43:11] 913*2^1388959-1 is not prime. Res64: 5AC037FD5771633E Time : 0.0 sec. user=mdettweiler [2015-01-14 06:07:13] 645*2^1388960-1 is not prime. Res64: 6F4A82AFAA633257 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:07:16] 665*2^1388960-1 is not prime. Res64: 6BA602F2ABA40B34 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:09:09] 713*2^1388960-1 is not prime. Res64: E1F541EA13F49543 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:09:13] 795*2^1388960-1 is not prime. Res64: F786D60E2FD2F553 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:20:24] 875*2^1388956-1 is not prime. Res64: BF494A9A7EA282BD Time : 0.0 sec. user=mdettweiler [2015-01-14 06:20:25] 927*2^1388956-1 is not prime. Res64: 319EF14CC8B56C3F Time : 0.0 sec. user=mdettweiler [2015-01-14 06:24:57] 867*2^1388957-1 is not prime. Res64: A56757B14AEEDA5D Time : 0.0 sec. user=mdettweiler [2015-01-14 06:34:01] 983*2^1388876-1 is not prime. Res64: 68AFF406752C4D03 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:34:01] 819*2^1388960-1 is not prime. Res64: FE913074DDC0EE30 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:35:12] 845*2^1388960-1 is not prime. Res64: F0EE7E93660BA5D2 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:45:59] 705*2^1388961-1 is not prime. Res64: 3300B797605CD544 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:45:59] 751*2^1388961-1 is not prime. Res64: FF2D4EBCC2112DBC Time : 0.0 sec. user=juhehe [2015-01-14 06:49:24] 739*2^1388961-1 is not prime. Res64: 9AC402360CA4DAB5 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:50:18] 817*2^1388961-1 is not prime. Res64: 0A41B846F89CD28D Time : 0.0 sec. user=mdettweiler [2015-01-14 06:50:18] 849*2^1388961-1 is not prime. Res64: 67E8C9EAC1782F78 Time : 0.0 sec. user=mdettweiler [2015-01-14 06:59:49] 889*2^1388961-1 is not prime. Res64: 249FF7519E30643A Time : 0.0 sec. user=mdettweiler [2015-01-14 07:12:24] 741*2^1388962-1 is not prime. Res64: E7CC90A602C37A9B Time : 0.0 sec. user=mdettweiler [2015-01-14 07:16:22] 825*2^1388963-1 is not prime. Res64: 9825A8F74577C8D0 Time : 0.0 sec. user=mdettweiler [2015-01-14 07:16:22] 861*2^1388963-1 is not prime. Res64: 7810F3F2EE57208A Time : 0.0 sec. user=juhehe [2015-01-14 07:23:26] 975*2^1388962-1 is not prime. Res64: EABC273901D5EEE6 Time : 0.0 sec. user=mdettweiler [2015-01-14 07:43:38] 949*2^1388963-1 is not prime. Res64: C8BC347131E2546E Time : 0.0 sec. user=mdettweiler [2015-01-14 07:43:39] 665*2^1388964-1 is not prime. Res64: 5C8A92478C43F4E6 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:01:09] 995*2^1388960-1 is not prime. Res64: 7888C55D2ABDC2F5 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:10:07] 725*2^1388964-1 is not prime. Res64: 8F1974115663AD1A Time : 0.0 sec. user=mdettweiler [2015-01-14 08:10:09] 737*2^1388964-1 is not prime. Res64: C779381AEEABFFC3 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:22:05] 695*2^1388962-1 is not prime. Res64: EB9F649468D6B20F Time : 0.0 sec. user=mdettweiler [2015-01-14 08:27:37] 803*2^1388964-1 is not prime. Res64: DAB8EBB5DB0A174E Time : 0.0 sec. user=mdettweiler [2015-01-14 08:27:37] 885*2^1388962-1 is not prime. Res64: 8F6D4CF2501FAFBD Time : 0.0 sec. user=mdettweiler [2015-01-14 08:27:37] 759*2^1388965-1 is not prime. Res64: E72B1CE5C0055D9D Time : 0.0 sec. user=juhehe [2015-01-14 08:35:44] 705*2^1388878-1 is not prime. Res64: 1D2006CEF9F31A94 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:36:15] 765*2^1388965-1 is not prime. Res64: 0B4173EC351E3C74 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:36:24] 895*2^1388965-1 is not prime. Res64: AFF5A17ABEF24F5F Time : 0.0 sec. user=mdettweiler [2015-01-14 08:47:25] 915*2^1388965-1 is not prime. Res64: 64CFF5E96212CAF6 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:47:26] 999*2^1388965-1 is not prime. Res64: 96E753F9DA7A2415 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:53:09] 861*2^1388966-1 is not prime. Res64: E10862BA16D1AC71 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:53:09] 657*2^1388966-1 is not prime. Res64: 64EAF02C03212B76 Time : 0.0 sec. user=mdettweiler [2015-01-14 08:53:10] 873*2^1388966-1 is not prime. Res64: 5A49FE1E15EC01FB Time : 0.0 sec. user=mdettweiler [2015-01-14 08:53:10] 857*2^1388966-1 is not prime. Res64: 1F8FD77793906876 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:01:39] 917*2^1388966-1 is not prime. Res64: 85083F159B265D0D Time : 0.0 sec. user=mdettweiler [2015-01-14 09:01:40] 643*2^1388967-1 is not prime. Res64: BF212870DCBF9A2B Time : 0.0 sec. user=mdettweiler [2015-01-14 09:12:44] 751*2^1388967-1 is not prime. Res64: 2D0710A3BA115062 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:12:45] 849*2^1388967-1 is not prime. Res64: 2399AF337313B07A Time : 0.0 sec. user=juhehe [2015-01-14 09:14:36] 875*2^1388966-1 is not prime. Res64: 59CC5B69DA9FD36F Time : 0.0 sec. user=mdettweiler [2015-01-14 09:18:30] 723*2^1388968-1 is not prime. Res64: F30B53F478BDB460 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:18:31] 869*2^1388968-1 is not prime. Res64: 22E3BC2EDF430691 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:18:31] 865*2^1388967-1 is not prime. Res64: 1A73C554D4F49073 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:18:32] 885*2^1388967-1 is not prime. Res64: 01395519E0DF13A5 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:26:57] 915*2^1388968-1 is not prime. Res64: 727DC6D8AC46B3CF Time : 0.0 sec. user=mdettweiler [2015-01-14 09:26:57] 933*2^1388968-1 is not prime. Res64: 3E1BC93A4C15EE21 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:38:15] 969*2^1388968-1 is not prime. Res64: E120F8A574BE2CFD Time : 0.0 sec. user=mdettweiler [2015-01-14 09:38:16] 675*2^1388969-1 is not prime. Res64: D5FC975667B4BB8E Time : 0.0 sec. user=mdettweiler [2015-01-14 09:43:55] 691*2^1388969-1 is not prime. Res64: 5ADE41FE944459C8 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:43:55] 789*2^1388969-1 is not prime. Res64: C9C58973AF0C9A8B Time : 0.0 sec. user=mdettweiler [2015-01-14 09:44:04] 795*2^1388969-1 is not prime. Res64: A54A0D97B6B64445 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:44:05] 799*2^1388969-1 is not prime. Res64: C2B493EC0EABFC27 Time : 0.0 sec. user=mdettweiler [2015-01-14 09:52:15] 841*2^1388969-1 is not prime. Res64: 984EE113E44CC09E Time : 0.0 sec. user=mdettweiler [2015-01-14 09:52:16] 879*2^1388969-1 is not prime. Res64: 0ED8155393F89F89 Time : 0.0 sec. user=mdettweiler [2015-01-14 10:03:49] 897*2^1388969-1 is not prime. Res64: CB4A1AEEFA8A757F Time : 0.0 sec. user=mdettweiler [2015-01-14 10:03:50] 949*2^1388969-1 is not prime. Res64: 753C29EA234E4E08 Time : 0.0 sec. user=mdettweiler [2015-01-14 10:17:53] 1001*2^1388970-1 is not prime. Res64: E3B9AF1EF4895FED Time : 0.0 sec. user=juhehe [2015-01-14 10:28:15] 615*2^1388971-1 is not prime. Res64: 28549BDFEEEB2FA7 Time : 0.0 sec. user=mdettweiler [2015-01-14 10:31:14] 631*2^1388971-1 is not prime. Res64: FEE3EFAB212137A8 Time : 0.0 sec. user=mdettweiler [2015-01-14 10:31:14] 639*2^1388971-1 is not prime. Res64: A502D8EC76E77D0B Time : 0.0 sec. user=mdettweiler [2015-01-14 10:59:00] 829*2^1388971-1 is not prime. Res64: 5949C851645A1FC8 Time : 0.0 sec. user=mdettweiler [2015-01-14 10:59:01] 891*2^1388971-1 is not prime. Res64: F5A25A1A348C2D53 Time : 0.0 sec. user=juhehe [2015-01-14 11:02:24] 783*2^1388971-1 is not prime. Res64: 74958AC6CD647802 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:27:00] 951*2^1388971-1 is not prime. Res64: 7A093664E589D809 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:27:01] 669*2^1388972-1 is not prime. Res64: 1A755C247EDA664D Time : 0.0 sec. user=mdettweiler [2015-01-14 11:29:55] 851*2^1388970-1 is not prime. Res64: 0725FCD387D5E609 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:29:56] 971*2^1388970-1 is not prime. Res64: 00B12AEB0A725B28 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:38:50] 641*2^1388970-1 is not prime. Res64: D8CDED2273A4B778 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:38:50] 833*2^1388970-1 is not prime. Res64: 7F3CA094ED980C75 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:46:05] 601*2^1388971-1 is not prime. Res64: 8DF87494F8CF6859 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:53:11] 777*2^1388972-1 is not prime. Res64: 6685AE57016AC784 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:53:11] 885*2^1388972-1 is not prime. Res64: BABB94082644B14D Time : 0.0 sec. user=mdettweiler [2015-01-14 11:55:55] 959*2^1388972-1 is not prime. Res64: C2713A18FAF73D73 Time : 0.0 sec. user=mdettweiler [2015-01-14 11:55:56] 987*2^1388972-1 is not prime. Res64: F5A91E81A290E231 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:04:33] 895*2^1388973-1 is not prime. Res64: 1B16E0F75E0BA452 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:04:35] 999*2^1388973-1 is not prime. Res64: EE37219E363EEE11 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:11:38] 635*2^1388974-1 is not prime. Res64: 4EF3637E7E45DC86 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:11:38] 707*2^1388974-1 is not prime. Res64: ECA0CE62367904BC Time : 0.0 sec. user=juhehe [2015-01-14 12:13:39] 627*2^1388973-1 is not prime. Res64: F9B49CA1A32F1A31 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:19:02] 813*2^1388974-1 is not prime. Res64: 7CC95A387D091E39 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:19:02] 833*2^1388974-1 is not prime. Res64: F48FC495BECC7ECF Time : 0.0 sec. user=mdettweiler [2015-01-14 12:21:25] 857*2^1388974-1 is not prime. Res64: C392DCF5C036ECA1 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:21:26] 923*2^1388974-1 is not prime. Res64: 155969D427652583 Time : 0.0 sec. user=juhehe [2015-01-14 12:28:39] 741*2^1388974-1 is not prime. Res64: 8CC8F75CB1C92835 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:30:49] 945*2^1388974-1 is not prime. Res64: 29CDF5E592AD9670 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:30:50] 957*2^1388974-1 is not prime. Res64: 60BE97504B04295D Time : 0.0 sec. user=mdettweiler [2015-01-14 12:37:23] 643*2^1388975-1 is not prime. Res64: F1BAD6C33C9C90E5 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:44:47] 825*2^1388975-1 is not prime. Res64: D4C8AF09E536AB65 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:44:48] 689*2^1388976-1 is not prime. Res64: 86CA6DA93D7A17AE Time : 0.0 sec. user=mdettweiler [2015-01-14 12:47:16] 737*2^1388976-1 is not prime. Res64: 558556410FB07E09 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:47:17] 875*2^1388976-1 is not prime. Res64: AC0DE2497BCA4DCA Time : 0.0 sec. user=juhehe [2015-01-14 12:52:46] 775*2^1388975-1 is not prime. Res64: 4AEEE344F86D03C1 Time : 0.0 sec. user=mdettweiler [2015-01-14 12:57:19] 993*2^1388976-1 is not prime. Res64: 1BF20254C249AA56 Time : 0.0 sec. user=mdettweiler [2015-01-14 13:12:34] 831*2^1388977-1 is not prime. Res64: 67E24054C269D237 Time : 0.0 sec. user=mdettweiler [2015-01-14 13:12:34] 871*2^1388977-1 is not prime. Res64: 116D04F3044AB4CF Time : 0.0 sec. user=mdettweiler [2015-01-14 13:15:23] 897*2^1388977-1 is not prime. Res64: 8CAFD870F4AAABB1 Time : 0.0 sec. user=mdettweiler [2015-01-14 13:54:55] 669*2^1388975-1 is not prime. Res64: 92CBC11DF1C873C5 Time : 0.0 sec. user=mdettweiler [2015-01-14 14:32:50] 981*2^1388977-1 is not prime. Res64: 2F3AF41215A06AEF Time : 0.0 sec. user=mdettweiler [2015-01-14 14:32:50] 603*2^1388978-1 is not prime. Res64: A566174261556978 Time : 0.0 sec. user=juhehe [2015-01-14 14:47:14] 711*2^1388978-1 is not prime. Res64: B4D14287D5B442DC Time : 0.0 sec. user=mdettweiler [2015-01-14 14:48:18] 829*2^1388977-1 is not prime. Res64: 59E2758AA8062969 Time : 0.0 sec. user=mdettweiler [2015-01-14 14:55:07] 919*2^1388977-1 is not prime. Res64: 86503A4CF68C4078 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:01:07] 731*2^1388978-1 is not prime. Res64: F14DF2B76160CD24 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:01:08] 753*2^1388978-1 is not prime. Res64: F26CFDA1BC239E84 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:15:39] 791*2^1388978-1 is not prime. Res64: 6CB8A89EDB8E1BAC Time : 0.0 sec. user=mdettweiler [2015-01-14 15:15:40] 837*2^1388978-1 is not prime. Res64: E898E8165CD88012 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:22:28] 857*2^1388978-1 is not prime. Res64: 2B628C346939EE5D Time : 0.0 sec. user=mdettweiler [2015-01-14 15:22:28] 609*2^1388979-1 is not prime. Res64: 5A5CFAF91FB19AFE Time : 0.0 sec. user=mdettweiler [2015-01-14 15:28:04] 615*2^1388979-1 is not prime. Res64: 2B99CEDE32B7D2A6 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:28:05] 691*2^1388979-1 is not prime. Res64: 33D8EB12944023F2 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:42:53] 741*2^1388979-1 is not prime. Res64: 7C9970F15F502828 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:42:53] 795*2^1388979-1 is not prime. Res64: C1E3D4604D50B62B Time : 0.0 sec. user=mdettweiler [2015-01-14 15:49:29] 829*2^1388979-1 is not prime. Res64: 416AA4DDB0153407 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:49:29] 843*2^1388979-1 is not prime. Res64: 3AACE8D2612FCE58 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:55:13] 603*2^1388980-1 is not prime. Res64: 7EBA532ED53ADB88 Time : 0.0 sec. user=mdettweiler [2015-01-14 15:55:13] 647*2^1388980-1 is not prime. Res64: 12DF8A0AF7FD8B97 Time : 0.0 sec. user=juhehe [2015-01-14 16:02:17] 879*2^1388979-1 is not prime. Res64: 577756D7C98AECAA Time : 0.0 sec. user=mdettweiler [2015-01-14 16:09:58] 785*2^1388980-1 is not prime. Res64: 014E199525D3F2DC Time : 0.0 sec. user=mdettweiler [2015-01-14 16:10:01] 827*2^1388980-1 is not prime. Res64: C94190874BC319A0 Time : 0.0 sec. user=mdettweiler [2015-01-14 16:17:01] 833*2^1388980-1 is not prime. Res64: 2A77FCF59B3CBFB3 Time : 0.0 sec. user=mdettweiler [2015-01-14 16:17:01] 843*2^1388980-1 is not prime. Res64: C0DD547B936339DB Time : 0.0 sec. user=mdettweiler [2015-01-14 16:25:57] 857*2^1388980-1 is not prime. Res64: 18656A2CD86B97AF Time : 0.0 sec. user=mdettweiler [2015-01-14 16:48:55] 989*2^1388980-1 is not prime. Res64: 191D43B8D79A1344 Time : 0.0 sec. user=mdettweiler [2015-01-14 16:48:56] 669*2^1388981-1 is not prime. Res64: 47DEEF480768CFE6 Time : 0.0 sec. user=mdettweiler [2015-01-14 16:56:30] 711*2^1388981-1 is not prime. Res64: F6B29E7D6B5E990C Time : 0.0 sec. user=mdettweiler [2015-01-14 16:56:30] 715*2^1388981-1 is not prime. Res64: 0F9EDAC8D2272CD5 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:19:10] 861*2^1388981-1 is not prime. Res64: CC0DFD964FD1E4F9 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:19:11] 651*2^1388982-1 is not prime. Res64: CCD5C680E5480871 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:26:03] 665*2^1388982-1 is not prime. Res64: A8E1E3E60611F024 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:26:04] 711*2^1388982-1 is not prime. Res64: 132E365C9E2F507C Time : 0.0 sec. user=mdettweiler [2015-01-14 17:48:50] 741*2^1388982-1 is not prime. Res64: CD84D8DAA5652B95 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:48:51] 815*2^1388982-1 is not prime. Res64: 427F0B226E10E4B7 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:55:39] 825*2^1388982-1 is not prime. Res64: 42449D37E6D027C9 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:55:40] 885*2^1388982-1 is not prime. Res64: FB9A77B46C6F0F10 Time : 0.0 sec. user=mdettweiler [2015-01-14 17:56:24] 933*2^1388980-1 is not prime. Res64: 1FC49CE2EDD0457B Time : 0.0 sec. user=juhehe [2015-01-14 18:11:42] 923*2^1388982-1 is not prime. Res64: 7996F60CFB580BBA Time : 0.0 sec. user=mdettweiler [2015-01-14 18:17:36] 977*2^1388982-1 is not prime. Res64: 947CC64724367E2B Time : 0.0 sec. user=mdettweiler [2015-01-14 18:17:36] 609*2^1388983-1 is not prime. Res64: 39874B56EBC47513 Time : 0.0 sec. user=mdettweiler [2015-01-14 18:24:24] 625*2^1388983-1 is not prime. Res64: 8A9A6100E136912B Time : 0.0 sec. user=mdettweiler [2015-01-14 18:24:24] 633*2^1388983-1 is not prime. Res64: 1F3582D74EF157A2 Time : 0.0 sec. user=mdettweiler [2015-01-14 18:24:27] 649*2^1388983-1 is not prime. Res64: 068532BC687C1F64 Time : 0.0 sec. user=mdettweiler [2015-01-14 18:24:27] 663*2^1388983-1 is not prime. Res64: 1DC0EA7414311D2B Time : 0.0 sec. user=mdettweiler [2015-01-14 18:55:05] 741*2^1388983-1 is not prime. Res64: 0671ADC6BD54F55A Time : 0.0 sec. user=mdettweiler [2015-01-14 18:55:06] 783*2^1388983-1 is not prime. Res64: 736545DE51160F29 Time : 0.0 sec. user=mdettweiler [2015-01-14 18:56:41] 805*2^1388983-1 is not prime. Res64: 0DC33519A7BFAC38 Time : 0.0 sec. user=mdettweiler [2015-01-14 18:56:41] 861*2^1388983-1 is not prime. Res64: BEC4F89FA501C669 Time : 0.0 sec.