user=mdettweiler [2014-06-15 00:07:16] 631*2^1319873-1 is not prime. Res64: B8C5993FA8165950 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:07:16] 771*2^1319873-1 is not prime. Res64: E7D2077AC779CFF4 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:13:47] 633*2^1319874-1 is not prime. Res64: DD81DF5BFD2BA403 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:13:48] 671*2^1319874-1 is not prime. Res64: 4FAA1C83C056D0A2 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:22:43] 705*2^1319874-1 is not prime. Res64: AA014B2C31218BFF Time : 0.0 sec. user=mdettweiler [2014-06-15 00:22:43] 723*2^1319874-1 is not prime. Res64: E474991F7324F6CC Time : 0.0 sec. user=mdettweiler [2014-06-15 00:25:29] 915*2^1319874-1 is not prime. Res64: 83B7D53D8997AE5E Time : 0.0 sec. user=mdettweiler [2014-06-15 00:25:30] 705*2^1319875-1 is not prime. Res64: 540B1865D8D7F8FF Time : 0.0 sec. user=mdettweiler [2014-06-15 00:35:32] 723*2^1319875-1 is not prime. Res64: F5F40C25BEC00264 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:35:32] 733*2^1319875-1 is not prime. Res64: 515EC15D2D68CF5F Time : 0.0 sec. user=mdettweiler [2014-06-15 00:44:01] 741*2^1319875-1 is not prime. Res64: 2F76E940BA17D68C Time : 0.0 sec. user=mdettweiler [2014-06-15 00:44:01] 789*2^1319875-1 is not prime. Res64: 4C598D5599FB04F0 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:51:47] 883*2^1319875-1 is not prime. Res64: 258EA7D1E562E818 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:51:48] 909*2^1319875-1 is not prime. Res64: 913B226B441E716A Time : 0.0 sec. user=mdettweiler [2014-06-15 00:55:18] 915*2^1319875-1 is not prime. Res64: C1293F99D1C48E46 Time : 0.0 sec. user=mdettweiler [2014-06-15 00:55:19] 961*2^1319875-1 is not prime. Res64: 9BA45E53CFEAE99B Time : 0.0 sec. user=mdettweiler [2014-06-15 01:02:23] 743*2^1319876-1 is not prime. Res64: 0EA07FFA4CD739BB Time : 0.0 sec. user=mdettweiler [2014-06-15 01:02:24] 879*2^1319876-1 is not prime. Res64: 96E8316B65815906 Time : 0.0 sec. user=juhehe [2014-06-15 01:03:52] 609*2^1319876-1 is not prime. Res64: 72EB8C47A4BBCB75 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:11:53] 923*2^1319876-1 is not prime. Res64: 048A9D4D77D5D02B Time : 0.0 sec. user=mdettweiler [2014-06-15 01:11:55] 957*2^1319876-1 is not prime. Res64: A7BD0C1C4E04EFBD Time : 0.0 sec. user=mdettweiler [2014-06-15 01:17:00] 615*2^1319877-1 is not prime. Res64: 9FDD1608F1485EFE Time : 0.0 sec. user=mdettweiler [2014-06-15 01:17:00] 669*2^1319877-1 is not prime. Res64: 54D458CA840D0AE0 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:21:46] 847*2^1319877-1 is not prime. Res64: 9173F53F92DF2BC9 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:21:46] 671*2^1319878-1 is not prime. Res64: 5ED839E65CCB0849 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:29:12] 687*2^1319878-1 is not prime. Res64: 806C477F7DB3E977 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:29:13] 915*2^1319878-1 is not prime. Res64: 72A46D26791B71BC Time : 0.0 sec. user=mdettweiler [2014-06-15 01:39:29] 923*2^1319878-1 is not prime. Res64: C6EECA8650843757 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:39:30] 951*2^1319878-1 is not prime. Res64: D02D192CFF8787C9 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:44:23] 971*2^1319878-1 is not prime. Res64: 11F673D637797C68 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:44:24] 975*2^1319878-1 is not prime. Res64: 96F431C7AC9393E0 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:46:55] 643*2^1319879-1 is not prime. Res64: 3DF4CEB326C09E58 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:46:55] 741*2^1319879-1 is not prime. Res64: A51CE223C12A54C1 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:55:39] 841*2^1319879-1 is not prime. Res64: 71224CACC76463C6 Time : 0.0 sec. user=mdettweiler [2014-06-15 01:55:39] 635*2^1319880-1 is not prime. Res64: C3C985CF2E7F0D82 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:07:03] 839*2^1319880-1 is not prime. Res64: 54BABF72D22C3464 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:07:04] 975*2^1319880-1 is not prime. Res64: 0955828E69CF92DF Time : 0.0 sec. user=mdettweiler [2014-06-15 02:09:39] 625*2^1319881-1 is not prime. Res64: 4009FE3FAD0A7799 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:09:40] 741*2^1319881-1 is not prime. Res64: 44836784AFC7A87F Time : 0.0 sec. user=juhehe [2014-06-15 02:10:07] 773*2^1319880-1 is not prime. Res64: 4D142361B8E16864 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:13:09] 867*2^1319881-1 is not prime. Res64: 846A0707CFC27E3E Time : 0.0 sec. user=mdettweiler [2014-06-15 02:13:09] 623*2^1319882-1 is not prime. Res64: 35668D1DA1532A78 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:20:38] 675*2^1319882-1 is not prime. Res64: 472ADE01F8A539AA Time : 0.0 sec. user=mdettweiler [2014-06-15 02:20:38] 735*2^1319882-1 is not prime. Res64: 30ED95826243D2C2 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:34:22] 815*2^1319882-1 is not prime. Res64: 0BE4EFB1E934FE5F Time : 0.0 sec. user=mdettweiler [2014-06-15 02:34:23] 827*2^1319882-1 is not prime. Res64: 56845E56AEE6DCC3 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:36:48] 957*2^1319882-1 is not prime. Res64: 4E0E99B904206C45 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:36:48] 721*2^1319883-1 is not prime. Res64: 5023F64B01E2EDC0 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:41:44] 781*2^1319883-1 is not prime. Res64: 90E66794CFF6BF10 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:41:45] 945*2^1319883-1 is not prime. Res64: 72078E0A90A04B08 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:47:29] 949*2^1319883-1 is not prime. Res64: 0189B65E726F0428 Time : 0.0 sec. user=mdettweiler [2014-06-15 02:47:30] 705*2^1319884-1 is not prime. Res64: E8762BD12059C60C Time : 0.0 sec. user=mdettweiler [2014-06-15 03:01:24] 755*2^1319884-1 is not prime. Res64: F4D61A801655AD5E Time : 0.0 sec. user=mdettweiler [2014-06-15 03:01:25] 813*2^1319884-1 is not prime. Res64: 34331C8FA3ED8DF3 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:04:06] 819*2^1319884-1 is not prime. Res64: 77C40EE93C51D386 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:04:07] 969*2^1319884-1 is not prime. Res64: 20BF6F2793351A56 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:07:45] 989*2^1319884-1 is not prime. Res64: D1DC1A20B3A2D45D Time : 0.0 sec. user=mdettweiler [2014-06-15 03:07:46] 619*2^1319885-1 is not prime. Res64: 71FC83ED06671240 Time : 0.0 sec. user=juhehe [2014-06-15 03:14:44] 729*2^1319885-1 is not prime. Res64: 887633021EA2AE74 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:14:57] 867*2^1319885-1 is not prime. Res64: 3ADD3D751D14AC05 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:14:57] 871*2^1319885-1 is not prime. Res64: 244C7C3BDBEB0FD3 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:27:35] 627*2^1319886-1 is not prime. Res64: 3EFDF094B33DA3DF Time : 0.0 sec. user=mdettweiler [2014-06-15 03:27:35] 641*2^1319886-1 is not prime. Res64: 935186BCBFB63A66 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:30:50] 693*2^1319886-1 is not prime. Res64: 817EDAB3D8665730 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:30:51] 833*2^1319886-1 is not prime. Res64: 3020BE5345D5EE84 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:34:56] 873*2^1319886-1 is not prime. Res64: E432E1999D487E13 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:35:01] 917*2^1319886-1 is not prime. Res64: 5345BC9190326EF5 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:42:11] 971*2^1319886-1 is not prime. Res64: 2FDAC423E063E837 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:42:11] 975*2^1319886-1 is not prime. Res64: D686C0E1E3729C8D Time : 0.0 sec. user=mdettweiler [2014-06-15 03:53:00] 601*2^1319887-1 is not prime. Res64: CB23B0D36F72C2ED Time : 0.0 sec. user=mdettweiler [2014-06-15 03:53:00] 673*2^1319887-1 is not prime. Res64: D9967EAE1CA8A5F6 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:56:29] 685*2^1319887-1 is not prime. Res64: DB47471508895B88 Time : 0.0 sec. user=mdettweiler [2014-06-15 03:56:29] 729*2^1319887-1 is not prime. Res64: E4605B859FD724D6 Time : 0.0 sec. user=mdettweiler [2014-06-15 04:11:40] 841*2^1319887-1 is not prime. Res64: 76F878DEA99CD0A5 Time : 0.0 sec. user=mdettweiler [2014-06-15 04:11:41] 891*2^1319887-1 is not prime. Res64: A22602D44E72EED9 Time : 0.0 sec. user=juhehe [2014-06-15 04:21:26] 901*2^1319887-1 is not prime. Res64: 3BB44115289125EA Time : 0.0 sec. user=mdettweiler [2014-06-15 04:23:04] 919*2^1319887-1 is not prime. Res64: C9B0840E007DFF0F Time : 0.0 sec. user=mdettweiler [2014-06-15 04:23:04] 973*2^1319887-1 is not prime. Res64: D4E582613DC375AE Time : 0.0 sec. user=mdettweiler [2014-06-15 04:23:50] 617*2^1319888-1 is not prime. Res64: A775D678CED1050E Time : 0.0 sec. user=mdettweiler [2014-06-15 04:23:51] 669*2^1319888-1 is not prime. Res64: 56F9BF484EBB238A Time : 0.0 sec. user=mdettweiler [2014-06-15 04:42:39] 819*2^1319888-1 is not prime. Res64: 7565B6BB11DE7170 Time : 0.0 sec. user=mdettweiler [2014-06-15 04:42:40] 979*2^1319889-1 is not prime. Res64: FAC295F6C6217BA6 Time : 0.0 sec. user=mdettweiler [2014-06-15 04:51:29] 657*2^1319890-1 is not prime. Res64: 7174C56DEC2FCF66 Time : 0.0 sec. user=mdettweiler [2014-06-15 04:51:30] 717*2^1319890-1 is not prime. Res64: 978AAFCFA23C6C7E Time : 0.0 sec. user=mdettweiler [2014-06-15 04:51:47] 605*2^1319890-1 is not prime. Res64: 5935167FFC79055F Time : 0.0 sec. user=mdettweiler [2014-06-15 04:51:47] 623*2^1319890-1 is not prime. Res64: DECD3084BE05F639 Time : 0.0 sec. user=juhehe [2014-06-15 04:54:05] 603*2^1319890-1 is not prime. Res64: D0D2CEC164E70E02 Time : 0.0 sec. user=mdettweiler [2014-06-15 05:11:15] 831*2^1319890-1 is not prime. Res64: 079CB905D8BDC93B Time : 0.0 sec. user=mdettweiler [2014-06-15 05:11:15] 855*2^1319890-1 is not prime. Res64: 6EAB77715A8F451F Time : 0.0 sec. user=mdettweiler [2014-06-15 05:17:20] 675*2^1319891-1 is not prime. Res64: 72A38D48AC0C5CC9 Time : 0.0 sec. user=mdettweiler [2014-06-15 05:17:20] 711*2^1319891-1 is not prime. Res64: E2EA89BE4889FD0E Time : 0.0 sec. user=mdettweiler [2014-06-15 05:18:18] 1001*2^1319890-1 is not prime. Res64: F74BB514D5464EEB Time : 0.0 sec. user=mdettweiler [2014-06-15 05:18:18] 643*2^1319891-1 is not prime. Res64: 1163000D422EF94F Time : 0.0 sec. user=mdettweiler [2014-06-15 05:39:25] 735*2^1319891-1 is not prime. Res64: F2F7E0B69157ACF0 Time : 0.0 sec. user=mdettweiler [2014-06-15 05:39:25] 805*2^1319891-1 is not prime. Res64: A5A34F14D11EB72F Time : 0.0 sec. user=mdettweiler [2014-06-15 05:45:20] 811*2^1319891-1 is not prime. Res64: 85C5BB16A051DFEE Time : 0.0 sec. user=mdettweiler [2014-06-15 05:45:20] 813*2^1319891-1 is not prime. Res64: 24FCB0426BC6340B Time : 0.0 sec. user=mdettweiler [2014-06-15 05:46:55] 973*2^1319891-1 is not prime. Res64: 8E82CF9FA92EE22B Time : 0.0 sec. user=mdettweiler [2014-06-15 05:46:55] 981*2^1319891-1 is not prime. Res64: F4F7EDB7F3CA37C2 Time : 0.0 sec. user=juhehe [2014-06-15 06:02:30] 615*2^1319892-1 is not prime. Res64: CA049E25DAC8FD53 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:05:47] 629*2^1319892-1 is not prime. Res64: E0A9ECA689A7C153 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:05:48] 825*2^1319892-1 is not prime. Res64: D8FE4110D6C67194 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:13:27] 745*2^1319893-1 is not prime. Res64: 48D45E8F79567F17 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:13:27] 861*2^1319893-1 is not prime. Res64: A398AF4CA2441360 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:14:24] 887*2^1319892-1 is not prime. Res64: A8DE2A437CA17451 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:14:25] 621*2^1319893-1 is not prime. Res64: FE31D79D87870280 Time : 0.0 sec. user=mdettweiler [2014-06-15 06:33:48] 897*2^1319893-1 is not prime. Res64: C128586CE10FD7AC Time : 0.0 sec. user=mdettweiler [2014-06-15 06:33:48] 915*2^1319893-1 is not prime. Res64: 0E0FE18913DA502E Time : 0.0 sec. user=mdettweiler [2014-06-15 06:39:34] 675*2^1319894-1 is not prime. Res64: C55A283057EBC4CF Time : 0.0 sec. user=mdettweiler [2014-06-15 06:39:34] 705*2^1319894-1 is not prime. Res64: 948DB0D502790C5E Time : 0.0 sec. user=mdettweiler [2014-06-15 06:39:54] 623*2^1319894-1 is not prime. Res64: 8821596F404974DC Time : 0.0 sec. user=mdettweiler [2014-06-15 06:39:54] 651*2^1319894-1 is not prime. Res64: BEC728AFE71F8EC8 Time : 0.0 sec. user=juhehe [2014-06-15 06:42:39] 945*2^1319893-1 is not prime. Res64: 38EBE48F9601DE90 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:00:47] 753*2^1319894-1 is not prime. Res64: 574ADF5FE570A004 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:00:48] 773*2^1319894-1 is not prime. Res64: 8281D7BD171C6F34 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:07:18] 861*2^1319894-1 is not prime. Res64: 6486E0D96514EA86 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:07:18] 873*2^1319894-1 is not prime. Res64: 55E2A319489C9D05 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:07:23] 875*2^1319894-1 is not prime. Res64: C5D2DD34EC55D15A Time : 0.0 sec. user=mdettweiler [2014-06-15 07:07:23] 971*2^1319894-1 is not prime. Res64: 777A221052BE59A9 Time : 0.0 sec. user=juhehe [2014-06-15 07:12:19] 825*2^1319894-1 is not prime. Res64: 0C814F54699E6856 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:23:49] 993*2^1319894-1 is not prime. Res64: EF11D042D84E301D Time : 0.0 sec. user=mdettweiler [2014-06-15 07:23:49] 601*2^1319895-1 is not prime. Res64: BEFE03FCF580C1AB Time : 0.0 sec. user=mdettweiler [2014-06-15 07:25:37] 643*2^1319895-1 is not prime. Res64: CC8B32FB794E0653 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:25:37] 663*2^1319895-1 is not prime. Res64: C9159DED9C2EA5BE Time : 0.0 sec. user=mdettweiler [2014-06-15 07:34:16] 829*2^1319895-1 is not prime. Res64: D71C3B0A4F451205 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:34:16] 859*2^1319895-1 is not prime. Res64: 1D176D9BF1060A6C Time : 0.0 sec. user=mdettweiler [2014-06-15 07:34:43] 861*2^1319895-1 is not prime. Res64: 5C889CEA1FBFA22B Time : 0.0 sec. user=mdettweiler [2014-06-15 07:34:43] 871*2^1319895-1 is not prime. Res64: 77314928422EC544 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:50:58] 623*2^1319896-1 is not prime. Res64: 58ECCA176BE07EFA Time : 0.0 sec. user=mdettweiler [2014-06-15 07:50:58] 717*2^1319896-1 is not prime. Res64: C3C0EEC18C9E57EA Time : 0.0 sec. user=mdettweiler [2014-06-15 07:51:20] 933*2^1319895-1 is not prime. Res64: 00AE5AEB53A27928 Time : 0.0 sec. user=mdettweiler [2014-06-15 07:51:20] 943*2^1319895-1 is not prime. Res64: 929AF92A79CE8087 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:00:49] 849*2^1319896-1 is not prime. Res64: 042F6465988FDA6F Time : 0.0 sec. user=mdettweiler [2014-06-15 08:00:50] 857*2^1319896-1 is not prime. Res64: B473ADB4C480150C Time : 0.0 sec. user=mdettweiler [2014-06-15 08:02:13] 869*2^1319896-1 is not prime. Res64: EB4E3382C0943C66 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:02:14] 899*2^1319896-1 is not prime. Res64: 46B56632D6137504 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:18:22] 759*2^1319897-1 is not prime. Res64: B037170E56C33D23 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:18:22] 865*2^1319897-1 is not prime. Res64: EB3CDB1B25A4FF40 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:18:53] 901*2^1319897-1 is not prime. Res64: D6DDE5087C590EDC Time : 0.0 sec. user=mdettweiler [2014-06-15 08:18:53] 955*2^1319897-1 is not prime. Res64: BE4FBE57478569D5 Time : 0.0 sec. user=juhehe [2014-06-15 08:19:06] 939*2^1319896-1 is not prime. Res64: CC66058CBE1CF832 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:26:49] 705*2^1319898-1 is not prime. Res64: F8DFE593C8E68F84 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:26:50] 777*2^1319898-1 is not prime. Res64: B8255B13278D2A0A Time : 0.0 sec. user=mdettweiler [2014-06-15 08:29:24] 797*2^1319898-1 is not prime. Res64: AF3B0863F0303C9F Time : 0.0 sec. user=mdettweiler [2014-06-15 08:29:24] 861*2^1319898-1 is not prime. Res64: 3C5919DE5281FC73 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:45:02] 975*2^1319899-1 is not prime. Res64: C5F2C81B5D3154F4 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:45:02] 615*2^1319900-1 is not prime. Res64: F8FDB53E7D849011 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:45:32] 945*2^1319898-1 is not prime. Res64: 16D11D7889500DDC Time : 0.0 sec. user=mdettweiler [2014-06-15 08:45:32] 885*2^1319899-1 is not prime. Res64: 22CAE66CF690A378 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:51:45] 633*2^1319900-1 is not prime. Res64: 540FC4F7562A2BDE Time : 0.0 sec. user=mdettweiler [2014-06-15 08:51:45] 635*2^1319900-1 is not prime. Res64: 6CE662256DE9F51A Time : 0.0 sec. user=mdettweiler [2014-06-15 08:54:18] 663*2^1319900-1 is not prime. Res64: 6A423E7989D983D8 Time : 0.0 sec. user=mdettweiler [2014-06-15 08:54:18] 725*2^1319900-1 is not prime. Res64: B79DEDAEF4CE7104 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:11:44] 825*2^1319900-1 is not prime. Res64: F5EADFC68F149A67 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:11:45] 935*2^1319900-1 is not prime. Res64: 8E778AC66D8A1F9F Time : 0.0 sec. user=mdettweiler [2014-06-15 09:11:46] 679*2^1319901-1 is not prime. Res64: 46EB0F96FC68BB8E Time : 0.0 sec. user=mdettweiler [2014-06-15 09:11:48] 817*2^1319901-1 is not prime. Res64: 80E8297F9B82661F Time : 0.0 sec. user=mdettweiler [2014-06-15 09:19:04] 865*2^1319901-1 is not prime. Res64: D410E88D5889F49D Time : 0.0 sec. user=mdettweiler [2014-06-15 09:19:05] 895*2^1319901-1 is not prime. Res64: 100495B2CD7B5E6F Time : 0.0 sec. user=mdettweiler [2014-06-15 09:21:50] 927*2^1319901-1 is not prime. Res64: 0C49508CFC1F46FD Time : 0.0 sec. user=mdettweiler [2014-06-15 09:21:50] 969*2^1319901-1 is not prime. Res64: 88AE435EFC5B78CF Time : 0.0 sec. user=juhehe [2014-06-15 09:28:43] 621*2^1319902-1 is not prime. Res64: 93F73A15096533B7 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:38:13] 695*2^1319902-1 is not prime. Res64: 3DD1352685804FF0 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:38:13] 755*2^1319902-1 is not prime. Res64: EB741880DA3606EF Time : 0.0 sec. user=mdettweiler [2014-06-15 09:39:33] 945*2^1319902-1 is not prime. Res64: A0A734F15EC2A4CC Time : 0.0 sec. user=mdettweiler [2014-06-15 09:39:33] 975*2^1319902-1 is not prime. Res64: A5C03FB961EC1577 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:43:48] 615*2^1319903-1 is not prime. Res64: 6980EEB65F3189F6 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:43:48] 679*2^1319903-1 is not prime. Res64: 6AA6409CEC11EC2B Time : 0.0 sec. user=mdettweiler [2014-06-15 09:48:58] 861*2^1319903-1 is not prime. Res64: F41C0F81B01507E4 Time : 0.0 sec. user=mdettweiler [2014-06-15 09:48:59] 943*2^1319903-1 is not prime. Res64: B62208CCA9683CCE Time : 0.0 sec. user=juhehe [2014-06-15 10:00:54] 615*2^1319904-1 is not prime. Res64: 37DAD79D56CD7410 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:02:49] 675*2^1319904-1 is not prime. Res64: DED8E9D6507044D5 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:02:50] 707*2^1319904-1 is not prime. Res64: 0BB9DCF0E7188560 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:05:44] 725*2^1319904-1 is not prime. Res64: B1FDE1921C526A0D Time : 0.0 sec. user=mdettweiler [2014-06-15 10:05:45] 795*2^1319904-1 is not prime. Res64: D9580E54C12D57C1 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:11:10] 803*2^1319904-1 is not prime. Res64: 8D689935141C2AB3 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:11:11] 915*2^1319904-1 is not prime. Res64: 69279F0E144B2E0C Time : 0.0 sec. user=mdettweiler [2014-06-15 10:15:06] 729*2^1319905-1 is not prime. Res64: 4F23ACA545C20BE6 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:15:06] 777*2^1319905-1 is not prime. Res64: 8B403829D81219AA Time : 0.0 sec. user=mdettweiler [2014-06-15 10:29:47] 817*2^1319905-1 is not prime. Res64: 0FF4261B71094B5E Time : 0.0 sec. user=mdettweiler [2014-06-15 10:29:47] 831*2^1319905-1 is not prime. Res64: ABABA9B0C6776794 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:32:48] 895*2^1319905-1 is not prime. Res64: 57C533582A8D9C6E Time : 0.0 sec. user=mdettweiler [2014-06-15 10:32:48] 909*2^1319905-1 is not prime. Res64: 05E5B0B693745549 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:39:46] 975*2^1319905-1 is not prime. Res64: 3F8DDF48878DD0E4 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:39:47] 851*2^1319906-1 is not prime. Res64: 4EF3FD44BACEAEC5 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:41:28] 987*2^1319906-1 is not prime. Res64: 71B3FA6947C30E36 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:41:28] 625*2^1319907-1 is not prime. Res64: 293D4FAB6202A167 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:54:05] 711*2^1319907-1 is not prime. Res64: AB84389D2522B5CD Time : 0.0 sec. user=mdettweiler [2014-06-15 10:54:05] 751*2^1319907-1 is not prime. Res64: D4BEC5A7E7444C18 Time : 0.0 sec. user=mdettweiler [2014-06-15 10:59:41] 765*2^1319907-1 is not prime. Res64: AB84B4695F502E5B Time : 0.0 sec. user=mdettweiler [2014-06-15 10:59:42] 859*2^1319907-1 is not prime. Res64: 02AE18B54C450877 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:06:32] 895*2^1319907-1 is not prime. Res64: 9AABFE2D91D24008 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:06:33] 919*2^1319907-1 is not prime. Res64: 27DE9C45859DF139 Time : 0.0 sec. user=juhehe [2014-06-15 11:07:43] 891*2^1319907-1 is not prime. Res64: 3CB47912A65BE9C3 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:09:02] 945*2^1319907-1 is not prime. Res64: 4C5997EA8C179931 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:09:04] 961*2^1319907-1 is not prime. Res64: A208C709A035A1EC Time : 0.0 sec. user=mdettweiler [2014-06-15 11:20:16] 979*2^1319907-1 is not prime. Res64: 928E62DC9611F4D6 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:20:16] 735*2^1319908-1 is not prime. Res64: 2C45D99FBEB8D52E Time : 0.0 sec. user=mdettweiler [2014-06-15 11:27:36] 825*2^1319908-1 is not prime. Res64: 29D5AC0E5E67FD9C Time : 0.0 sec. user=mdettweiler [2014-06-15 11:27:36] 863*2^1319908-1 is not prime. Res64: 40CA9C1C753D5111 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:32:12] 909*2^1319908-1 is not prime. Res64: 8C840F419B46F590 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:32:13] 645*2^1319909-1 is not prime. Res64: 646C035B01B30C45 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:35:19] 729*2^1319909-1 is not prime. Res64: 2C3968B0FAE5335F Time : 0.0 sec. user=mdettweiler [2014-06-15 11:35:19] 985*2^1319909-1 is not prime. Res64: FED840A8DE06A90D Time : 0.0 sec. user=mdettweiler [2014-06-15 11:44:08] 611*2^1319910-1 is not prime. Res64: 31A01C2781288018 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:44:08] 641*2^1319910-1 is not prime. Res64: 8E7BA9694DD1EA0E Time : 0.0 sec. user=mdettweiler [2014-06-15 11:52:23] 713*2^1319910-1 is not prime. Res64: F13C4DFECEEBF996 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:52:23] 867*2^1319910-1 is not prime. Res64: 95E4F785A7230DBF Time : 0.0 sec. user=mdettweiler [2014-06-15 11:57:32] 893*2^1319910-1 is not prime. Res64: EB74E4B4EDF8A1F6 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:57:32] 917*2^1319910-1 is not prime. Res64: 9F0DE37C94C76556 Time : 0.0 sec. user=mdettweiler [2014-06-15 11:58:22] 651*2^1319911-1 is not prime. Res64: 930074FCD9C1AD3A Time : 0.0 sec. user=mdettweiler [2014-06-15 11:58:23] 705*2^1319911-1 is not prime. Res64: 78075EB846A72122 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:07:06] 617*2^1319912-1 is not prime. Res64: 4F41127426A6CBBB Time : 0.0 sec. user=mdettweiler [2014-06-15 12:07:09] 735*2^1319912-1 is not prime. Res64: D39E6788A3E8CEF0 Time : 0.0 sec. user=juhehe [2014-06-15 12:14:35] 605*2^1319912-1 is not prime. Res64: 07D3349DE04EBA03 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:17:31] 755*2^1319912-1 is not prime. Res64: 0028BA0FC5260E76 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:17:32] 803*2^1319912-1 is not prime. Res64: 15EB1EA78BD8497B Time : 0.0 sec. user=mdettweiler [2014-06-15 12:22:25] 959*2^1319912-1 is not prime. Res64: FF6FD2A6800CD060 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:22:25] 681*2^1319913-1 is not prime. Res64: 31B9F1E3D7C36CAD Time : 0.0 sec. user=mdettweiler [2014-06-15 12:22:39] 837*2^1319912-1 is not prime. Res64: CBDE8D0415EBF379 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:22:39] 903*2^1319912-1 is not prime. Res64: AC2F1A3BC2D7BEDE Time : 0.0 sec. user=mdettweiler [2014-06-15 12:32:31] 781*2^1319913-1 is not prime. Res64: 4331CA1606CAAC4A Time : 0.0 sec. user=mdettweiler [2014-06-15 12:32:31] 805*2^1319913-1 is not prime. Res64: 4BBF2B66394AE931 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:42:45] 807*2^1319913-1 is not prime. Res64: 7DECFCEE757AF38C Time : 0.0 sec. user=mdettweiler [2014-06-15 12:42:46] 813*2^1319914-1 is not prime. Res64: C3F5CB50307DE63B Time : 0.0 sec. user=mdettweiler [2014-06-15 12:47:33] 887*2^1319914-1 is not prime. Res64: 690F2EF88B2ECB3E Time : 0.0 sec. user=mdettweiler [2014-06-15 12:47:33] 917*2^1319914-1 is not prime. Res64: 273C463810E6B0FF Time : 0.0 sec. user=mdettweiler [2014-06-15 12:47:48] 951*2^1319914-1 is not prime. Res64: C5FAFAB9904C2449 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:47:48] 981*2^1319914-1 is not prime. Res64: 8651E58601E8E1E7 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:56:28] 993*2^1319914-1 is not prime. Res64: 9BEFD573CEBFC431 Time : 0.0 sec. user=mdettweiler [2014-06-15 12:56:28] 633*2^1319915-1 is not prime. Res64: EB6162FBA49C7829 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:05:46] 675*2^1319915-1 is not prime. Res64: 998D586421626942 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:05:47] 685*2^1319915-1 is not prime. Res64: 641B5EEDC5BCDD78 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:11:37] 799*2^1319915-1 is not prime. Res64: AEF735170EEF0C78 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:11:37] 723*2^1319916-1 is not prime. Res64: 5AE2DB588FD01DAE Time : 0.0 sec. user=mdettweiler [2014-06-15 13:13:01] 765*2^1319916-1 is not prime. Res64: A865F7D229D5EA22 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:13:02] 893*2^1319916-1 is not prime. Res64: 6EA959C9D27245B3 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:20:29] 945*2^1319916-1 is not prime. Res64: ED17B840A3CE6959 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:20:29] 717*2^1319917-1 is not prime. Res64: E0CA330441BC2DD1 Time : 0.0 sec. user=juhehe [2014-06-15 13:24:43] 909*2^1319916-1 is not prime. Res64: 28DDCAC06CDDDEB5 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:31:04] 771*2^1319917-1 is not prime. Res64: 76FB41DFCA9E0AB1 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:31:04] 829*2^1319917-1 is not prime. Res64: 434394A1DA2D7744 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:36:47] 889*2^1319917-1 is not prime. Res64: CA63EC816D5E7D4C Time : 0.0 sec. user=mdettweiler [2014-06-15 13:36:47] 901*2^1319917-1 is not prime. Res64: 7FA60ECB60F5077B Time : 0.0 sec. user=mdettweiler [2014-06-15 13:38:09] 919*2^1319917-1 is not prime. Res64: A95C4A179B82A4F4 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:38:10] 939*2^1319917-1 is not prime. Res64: A00AF064CF5F0741 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:45:45] 773*2^1319918-1 is not prime. Res64: 6CEC8E6C6EC92EF7 Time : 0.0 sec. user=mdettweiler [2014-06-15 13:45:45] 815*2^1319918-1 is not prime. Res64: FDCCCBDA1360C7EC Time : 0.0 sec. user=mdettweiler [2014-06-15 13:56:15] 887*2^1319918-1 is not prime. Res64: 54CF1A5C9A422C7E Time : 0.0 sec. user=mdettweiler [2014-06-15 13:56:15] 935*2^1319918-1 is not prime. Res64: 08FBF942181F46B8 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:01:56] 951*2^1319918-1 is not prime. Res64: 9A5B73463E3752FD Time : 0.0 sec. user=mdettweiler [2014-06-15 14:01:57] 953*2^1319918-1 is not prime. Res64: D3D658BE3CB68FDB Time : 0.0 sec. user=mdettweiler [2014-06-15 14:02:15] 971*2^1319918-1 is not prime. Res64: A6683B3FCCE4AFA3 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:02:16] 633*2^1319919-1 is not prime. Res64: 85AAC1DF16493F48 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:08:41] 691*2^1319919-1 is not prime. Res64: E5D4E2C0A1E4CD7B Time : 0.0 sec. user=mdettweiler [2014-06-15 14:08:42] 745*2^1319919-1 is not prime. Res64: CC93E7A6533CD40E Time : 0.0 sec. user=mdettweiler [2014-06-15 14:21:31] 789*2^1319919-1 is not prime. Res64: BDFE3D276B009C34 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:21:31] 895*2^1319919-1 is not prime. Res64: E130A532EFA5FF20 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:26:00] 999*2^1319919-1 is not prime. Res64: 2273CA6F4BE5284F Time : 0.0 sec. user=mdettweiler [2014-06-15 14:26:00] 623*2^1319920-1 is not prime. Res64: D849D4187C7F31C5 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:26:20] 653*2^1319920-1 is not prime. Res64: 69086D896FE2EEA5 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:26:20] 819*2^1319920-1 is not prime. Res64: 057680067A4F52CA Time : 0.0 sec. user=juhehe [2014-06-15 14:31:48] 969*2^1319919-1 is not prime. Res64: FA195EE19FE183D2 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:33:50] 839*2^1319920-1 is not prime. Res64: 8F887BF46BB63A49 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:33:50] 855*2^1319920-1 is not prime. Res64: F3D5D0F134B61BD5 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:45:39] 863*2^1319920-1 is not prime. Res64: 01E0CCE841BBFE08 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:45:40] 631*2^1319921-1 is not prime. Res64: A88553A54A7C7D06 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:50:03] 669*2^1319921-1 is not prime. Res64: 719D8B51BD26E839 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:50:03] 799*2^1319921-1 is not prime. Res64: 1A0D7EDBD5F60CBF Time : 0.0 sec. user=mdettweiler [2014-06-15 14:50:25] 909*2^1319921-1 is not prime. Res64: 23399CF8CCAA59EB Time : 0.0 sec. user=mdettweiler [2014-06-15 14:50:25] 633*2^1319922-1 is not prime. Res64: C79B1E6E497D7802 Time : 0.0 sec. user=mdettweiler [2014-06-15 14:57:58] 737*2^1319922-1 is not prime. Res64: 6234C216CCCA030E Time : 0.0 sec. user=mdettweiler [2014-06-15 14:57:58] 755*2^1319922-1 is not prime. Res64: 900DF623BD71A3EE Time : 0.0 sec. user=juhehe [2014-06-15 15:04:07] 677*2^1319922-1 is not prime. Res64: 8A3AA03C10A08A28 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:11:44] 777*2^1319922-1 is not prime. Res64: 34E9C358DD3A60AA Time : 0.0 sec. user=mdettweiler [2014-06-15 15:11:45] 867*2^1319922-1 is not prime. Res64: 8C37FF15D44E52A9 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:14:21] 663*2^1319923-1 is not prime. Res64: 160F80607A47BF43 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:14:21] 679*2^1319923-1 is not prime. Res64: 1F2E17ACD3CB74E5 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:16:07] 893*2^1319922-1 is not prime. Res64: 489C579734DD9184 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:16:07] 903*2^1319922-1 is not prime. Res64: 56B3B6C95B521184 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:24:07] 853*2^1319923-1 is not prime. Res64: 5019ABBDEE5C179E Time : 0.0 sec. user=mdettweiler [2014-06-15 15:24:07] 871*2^1319923-1 is not prime. Res64: 4A4D722DE8FB2C49 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:37:18] 901*2^1319923-1 is not prime. Res64: BE4DC906CFA60E06 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:37:19] 925*2^1319923-1 is not prime. Res64: 15DEF891BE0557A6 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:39:35] 961*2^1319923-1 is not prime. Res64: D8229F45036EFD12 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:39:35] 985*2^1319923-1 is not prime. Res64: EE67B4EDA62A6AF7 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:40:18] 605*2^1319924-1 is not prime. Res64: E9D642C4493D8FF2 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:40:19] 759*2^1319924-1 is not prime. Res64: E64A1746F033D6BE Time : 0.0 sec. user=mdettweiler [2014-06-15 15:49:23] 827*2^1319924-1 is not prime. Res64: 668173B820547901 Time : 0.0 sec. user=mdettweiler [2014-06-15 15:49:23] 837*2^1319924-1 is not prime. Res64: 4F7E90863FD1EBAD Time : 0.0 sec. user=mdettweiler [2014-06-15 16:01:26] 877*2^1319925-1 is not prime. Res64: 5C0DB1397B900BB7 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:01:28] 611*2^1319926-1 is not prime. Res64: 5808F056AC9D41A5 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:02:34] 617*2^1319926-1 is not prime. Res64: D0BA1C474F2E1C3B Time : 0.0 sec. user=mdettweiler [2014-06-15 16:02:35] 705*2^1319926-1 is not prime. Res64: 5125132306BE82C2 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:04:23] 765*2^1319926-1 is not prime. Res64: 2CEC276067B8899D Time : 0.0 sec. user=mdettweiler [2014-06-15 16:04:23] 661*2^1319927-1 is not prime. Res64: 63A1AEF6D0967841 Time : 0.0 sec. user=juhehe [2014-06-15 16:11:01] 893*2^1319924-1 is not prime. Res64: 20FB719F8ABC13C8 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:13:38] 693*2^1319927-1 is not prime. Res64: E48BD9AB0EAAD9EF Time : 0.0 sec. user=mdettweiler [2014-06-15 16:13:38] 823*2^1319927-1 is not prime. Res64: 3F3EA9CE5E17F205 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:26:40] 669*2^1319928-1 is not prime. Res64: 871A83DEABDD057D Time : 0.0 sec. user=mdettweiler [2014-06-15 16:26:41] 825*2^1319928-1 is not prime. Res64: 1958C35D3F2B021B Time : 0.0 sec. user=mdettweiler [2014-06-15 16:27:00] 861*2^1319927-1 is not prime. Res64: A72F21B40843DB79 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:27:00] 879*2^1319927-1 is not prime. Res64: 674CB5F30757A60D Time : 0.0 sec. user=mdettweiler [2014-06-15 16:29:42] 879*2^1319928-1 is not prime. Res64: 86B90A7F0341BDAB Time : 0.0 sec. user=mdettweiler [2014-06-15 16:29:42] 929*2^1319928-1 is not prime. Res64: 8FFDA8038F8C7576 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:37:52] 977*2^1319928-1 is not prime. Res64: 0127E6915CEA17A3 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:37:52] 601*2^1319929-1 is not prime. Res64: FCE5E376F12442E8 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:51:57] 801*2^1319929-1 is not prime. Res64: 9BF5BCB7C0ED9ECB Time : 0.0 sec. user=mdettweiler [2014-06-15 16:51:57] 877*2^1319929-1 is not prime. Res64: 913A0351A9EB8E96 Time : 0.0 sec. user=mdettweiler [2014-06-15 16:52:24] 945*2^1319929-1 is not prime. Res64: C6D10B5BD0DF171E Time : 0.0 sec. user=mdettweiler [2014-06-15 16:52:24] 999*2^1319929-1 is not prime. Res64: 562ACCF14D54EBEE Time : 0.0 sec. user=mdettweiler [2014-06-15 16:52:46] 623*2^1319930-1 is not prime. Res64: 94EC739E610CB79B Time : 0.0 sec. user=mdettweiler [2014-06-15 16:52:46] 665*2^1319930-1 is not prime. Res64: EDF3A628E7EAFCDB Time : 0.0 sec. user=mdettweiler [2014-06-15 17:03:08] 801*2^1319930-1 is not prime. Res64: 1735531437190642 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:03:10] 813*2^1319930-1 is not prime. Res64: 2A63641061FC5AC1 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:15:46] 623*2^1319932-1 is not prime. Res64: 2DEECBFC76A328F4 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:15:46] 629*2^1319932-1 is not prime. Res64: E9CA878F192E8953 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:17:10] 793*2^1319931-1 is not prime. Res64: CFCCAE8004AF11F3 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:17:11] 795*2^1319931-1 is not prime. Res64: 9079A680B2539F0F Time : 0.0 sec. user=mdettweiler [2014-06-15 17:17:42] 849*2^1319931-1 is not prime. Res64: EA81AB6EFAD5D951 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:17:43] 991*2^1319931-1 is not prime. Res64: 7689229337AD63F7 Time : 0.0 sec. user=juhehe [2014-06-15 17:19:22] 827*2^1319930-1 is not prime. Res64: E824CBA4572F3EDE Time : 0.0 sec. user=mdettweiler [2014-06-15 17:26:29] 675*2^1319932-1 is not prime. Res64: 34CFFE828754CE04 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:26:29] 689*2^1319932-1 is not prime. Res64: 2991D11EC3D25C58 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:41:11] 797*2^1319932-1 is not prime. Res64: 7A1F4FD642FD9920 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:41:11] 833*2^1319932-1 is not prime. Res64: 984D0FF54FE5CFAC Time : 0.0 sec. user=mdettweiler [2014-06-15 17:42:35] 869*2^1319932-1 is not prime. Res64: 271E30892027DCE0 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:42:35] 909*2^1319932-1 is not prime. Res64: FE0014E370D888E5 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:43:02] 929*2^1319932-1 is not prime. Res64: 81FC582FBC9FFAF2 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:43:02] 987*2^1319932-1 is not prime. Res64: 8345FEF7AD162552 Time : 0.0 sec. user=mdettweiler [2014-06-15 17:52:03] 775*2^1319933-1 is not prime. Res64: 8B97E0CF0EC35C7A Time : 0.0 sec. user=mdettweiler [2014-06-15 17:52:03] 885*2^1319933-1 is not prime. Res64: E356B1803F9C7CE8 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:05:54] 641*2^1319934-1 is not prime. Res64: 270A1633319E543E Time : 0.0 sec. user=mdettweiler [2014-06-15 18:05:55] 707*2^1319934-1 is not prime. Res64: 5092B1417D19F8DA Time : 0.0 sec. user=mdettweiler [2014-06-15 18:06:25] 725*2^1319934-1 is not prime. Res64: 21D6C4485739CAF7 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:06:26] 731*2^1319934-1 is not prime. Res64: AF4D28ECC2C2BE08 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:06:43] 927*2^1319933-1 is not prime. Res64: FA10CA547008B352 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:06:43] 967*2^1319933-1 is not prime. Res64: 1D9F58F938597B86 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:16:36] 741*2^1319934-1 is not prime. Res64: 7EC66BFFB0EC76AA Time : 0.0 sec. user=mdettweiler [2014-06-15 18:16:37] 791*2^1319934-1 is not prime. Res64: 163B5E5406064ECA Time : 0.0 sec. user=juhehe [2014-06-15 18:30:15] 917*2^1319934-1 is not prime. Res64: AFAC8420809A412A Time : 0.0 sec. user=mdettweiler [2014-06-15 18:30:26] 971*2^1319934-1 is not prime. Res64: 73533682EC7031AB Time : 0.0 sec. user=mdettweiler [2014-06-15 18:30:26] 601*2^1319935-1 is not prime. Res64: F0DEF30CE6E1A150 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:31:02] 645*2^1319935-1 is not prime. Res64: F5C19D7AB49D52B7 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:31:02] 789*2^1319935-1 is not prime. Res64: 109D74D3E258E707 Time : 0.0 sec. user=juhehe [2014-06-15 18:32:17] 951*2^1319934-1 is not prime. Res64: 2A3FC56B4E61F74F Time : 0.0 sec. user=mdettweiler [2014-06-15 18:32:23] 871*2^1319935-1 is not prime. Res64: 27B8854FD459C0D0 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:32:23] 979*2^1319935-1 is not prime. Res64: 23E672DAA0C4989D Time : 0.0 sec. user=mdettweiler [2014-06-15 18:40:05] 603*2^1319936-1 is not prime. Res64: 18AF5828BEB77310 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:40:06] 617*2^1319936-1 is not prime. Res64: 1E1AD80949DBECD3 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:53:48] 635*2^1319936-1 is not prime. Res64: A163509C3FD08E62 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:53:48] 689*2^1319936-1 is not prime. Res64: E9B39393859DCBA0 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:54:19] 693*2^1319936-1 is not prime. Res64: 2E9D2664C5F15273 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:54:20] 609*2^1319937-1 is not prime. Res64: B74E5AC05591E61B Time : 0.0 sec. user=mdettweiler [2014-06-15 18:55:43] 675*2^1319937-1 is not prime. Res64: E2DD86E6E8828B81 Time : 0.0 sec. user=mdettweiler [2014-06-15 18:55:43] 699*2^1319937-1 is not prime. Res64: A8012349FAB06718 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:04:27] 717*2^1319937-1 is not prime. Res64: F2D979C390C03B35 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:04:28] 781*2^1319937-1 is not prime. Res64: A27D21430E8305D8 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:19:22] 807*2^1319937-1 is not prime. Res64: C4144A29CAB81668 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:19:22] 819*2^1319937-1 is not prime. Res64: 228AB5DFC75799DE Time : 0.0 sec. user=mdettweiler [2014-06-15 19:19:51] 937*2^1319937-1 is not prime. Res64: FA4E1FAC0D171D62 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:19:52] 997*2^1319937-1 is not prime. Res64: 6A35C9D7C072B06A Time : 0.0 sec. user=mdettweiler [2014-06-15 19:20:03] 743*2^1319938-1 is not prime. Res64: A10CE801935FB00D Time : 0.0 sec. user=mdettweiler [2014-06-15 19:20:04] 773*2^1319938-1 is not prime. Res64: 3FF52CC1EA767D4B Time : 0.0 sec. user=mdettweiler [2014-06-15 19:29:59] 813*2^1319938-1 is not prime. Res64: D2190ADD185E5DAB Time : 0.0 sec. user=mdettweiler [2014-06-15 19:30:00] 831*2^1319938-1 is not prime. Res64: D7CE6FDC8E13A856 Time : 0.0 sec. user=juhehe [2014-06-15 19:41:18] 867*2^1319938-1 is not prime. Res64: 12E02072505BB015 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:42:58] 621*2^1319939-1 is not prime. Res64: C90F247D783485FC Time : 0.0 sec. user=mdettweiler [2014-06-15 19:42:59] 735*2^1319939-1 is not prime. Res64: 67410CA1DFCCF395 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:43:21] 741*2^1319939-1 is not prime. Res64: FB24BF136CC36B27 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:43:22] 753*2^1319939-1 is not prime. Res64: 3E183B9FF0D969BD Time : 0.0 sec. user=mdettweiler [2014-06-15 19:43:40] 945*2^1319938-1 is not prime. Res64: 723D0070DDF2D877 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:43:40] 603*2^1319939-1 is not prime. Res64: 3E0C8A1593D19D08 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:54:24] 991*2^1319939-1 is not prime. Res64: AB737C86C9C06EB7 Time : 0.0 sec. user=mdettweiler [2014-06-15 19:54:24] 675*2^1319940-1 is not prime. Res64: 19B158111AECE810 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:08:26] 767*2^1319940-1 is not prime. Res64: A912ADCE8FDF1467 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:08:26] 783*2^1319940-1 is not prime. Res64: 15EF9E8540069464 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:08:56] 809*2^1319940-1 is not prime. Res64: 142A2F41D6A30F2C Time : 0.0 sec. user=mdettweiler [2014-06-15 20:08:57] 819*2^1319940-1 is not prime. Res64: 6009D60AF9F9C68F Time : 0.0 sec. user=mdettweiler [2014-06-15 20:09:10] 843*2^1319940-1 is not prime. Res64: 8DDD69E5CEE75F5C Time : 0.0 sec. user=mdettweiler [2014-06-15 20:09:11] 857*2^1319940-1 is not prime. Res64: 3656E1F3FFF5A485 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:19:56] 933*2^1319940-1 is not prime. Res64: A68993552B0CD538 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:19:57] 959*2^1319940-1 is not prime. Res64: 125507C2EF139F82 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:32:57] 609*2^1319941-1 is not prime. Res64: EBD9899E82E513DF Time : 0.0 sec. user=mdettweiler [2014-06-15 20:32:57] 771*2^1319941-1 is not prime. Res64: 355DBA1C71A6EFC0 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:33:35] 753*2^1319942-1 is not prime. Res64: AF9257E450763D33 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:33:36] 875*2^1319942-1 is not prime. Res64: 0F9CA226537C9116 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:34:30] 825*2^1319941-1 is not prime. Res64: AF940E28816BAD05 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:34:30] 925*2^1319941-1 is not prime. Res64: 55BFA89C8799C358 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:43:13] 685*2^1319943-1 is not prime. Res64: 66271FA2AD70D77B Time : 0.0 sec. user=mdettweiler [2014-06-15 20:43:13] 693*2^1319943-1 is not prime. Res64: EBB8F6D60D56228D Time : 0.0 sec. user=juhehe [2014-06-15 20:48:25] 669*2^1319943-1 is not prime. Res64: 2715D54A2D877607 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:56:09] 703*2^1319943-1 is not prime. Res64: 2C605EC2CE57C95C Time : 0.0 sec. user=mdettweiler [2014-06-15 20:56:09] 735*2^1319943-1 is not prime. Res64: 9DABEEAA3969603F Time : 0.0 sec. user=mdettweiler [2014-06-15 20:57:45] 635*2^1319944-1 is not prime. Res64: 9843D07772F5F6C8 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:57:45] 719*2^1319944-1 is not prime. Res64: 8F754F071519DA0B Time : 0.0 sec. user=mdettweiler [2014-06-15 20:59:06] 789*2^1319943-1 is not prime. Res64: 9008C430133DA465 Time : 0.0 sec. user=mdettweiler [2014-06-15 20:59:07] 949*2^1319943-1 is not prime. Res64: 7B05981546AC8B9A Time : 0.0 sec. user=mdettweiler [2014-06-15 21:08:54] 765*2^1319944-1 is not prime. Res64: CF7ACAEAF0C35506 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:08:55] 819*2^1319944-1 is not prime. Res64: 8CFF765891A199C0 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:21:58] 917*2^1319944-1 is not prime. Res64: D495D67B2A1258A1 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:21:58] 923*2^1319944-1 is not prime. Res64: C0E961C1CF1A9140 Time : 0.0 sec. user=juhehe [2014-06-15 21:22:20] 875*2^1319944-1 is not prime. Res64: BD7AD741602A2041 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:22:28] 927*2^1319944-1 is not prime. Res64: 08F328D964B03494 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:22:28] 657*2^1319945-1 is not prime. Res64: FAB575963BABD0B4 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:22:41] 685*2^1319945-1 is not prime. Res64: 43CD866CC0B17FE5 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:22:41] 697*2^1319945-1 is not prime. Res64: 7E8B039F3A9E3808 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:33:29] 705*2^1319945-1 is not prime. Res64: A29CC3D38AD40847 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:33:29] 889*2^1319945-1 is not prime. Res64: E7424456D63080BA Time : 0.0 sec. user=mdettweiler [2014-06-15 21:47:32] 783*2^1319946-1 is not prime. Res64: 90A27A8C2161CC17 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:47:32] 875*2^1319946-1 is not prime. Res64: F91BD5CA56BB584C Time : 0.0 sec. user=mdettweiler [2014-06-15 21:48:05] 917*2^1319946-1 is not prime. Res64: 1941A2F3DB2BE053 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:48:05] 933*2^1319946-1 is not prime. Res64: 2AD7FB70A4CE7683 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:48:11] 971*2^1319946-1 is not prime. Res64: 0C70C2D9B23989D3 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:48:12] 983*2^1319946-1 is not prime. Res64: FBDB37FED9FD45BB Time : 0.0 sec. user=mdettweiler [2014-06-15 21:56:46] 615*2^1319947-1 is not prime. Res64: 5C88B9412239C698 Time : 0.0 sec. user=mdettweiler [2014-06-15 21:56:46] 619*2^1319947-1 is not prime. Res64: FB3A2338FB7960CE Time : 0.0 sec. user=mdettweiler [2014-06-15 22:11:23] 725*2^1319948-1 is not prime. Res64: DB9D509D10C6E658 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:11:24] 753*2^1319948-1 is not prime. Res64: 3EE2B77259AA8D33 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:11:49] 633*2^1319947-1 is not prime. Res64: 65DA3C2A7594E5BA Time : 0.0 sec. user=mdettweiler [2014-06-15 22:11:50] 915*2^1319947-1 is not prime. Res64: 839A89FBCF0DBE44 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:12:20] 999*2^1319947-1 is not prime. Res64: C6841DB18D70E0E2 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:12:21] 707*2^1319948-1 is not prime. Res64: 86BB4126400DAC7C Time : 0.0 sec. user=mdettweiler [2014-06-15 22:22:11] 945*2^1319948-1 is not prime. Res64: 41E14AA81545F32F Time : 0.0 sec. user=mdettweiler [2014-06-15 22:22:11] 953*2^1319948-1 is not prime. Res64: 3A00E9174BAD7A84 Time : 0.0 sec. user=juhehe [2014-06-15 22:29:25] 875*2^1319948-1 is not prime. Res64: 45AD7CF0273E8C77 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:34:41] 609*2^1319949-1 is not prime. Res64: 58DCD3243D163EF8 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:34:41] 621*2^1319949-1 is not prime. Res64: 7130A5FA69A544F4 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:35:10] 627*2^1319949-1 is not prime. Res64: FB2CD97BD3815C8D Time : 0.0 sec. user=mdettweiler [2014-06-15 22:35:10] 649*2^1319949-1 is not prime. Res64: 5C3ED707FD45FCF2 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:35:38] 727*2^1319949-1 is not prime. Res64: 2A46ED2A86EDF2D7 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:35:38] 747*2^1319949-1 is not prime. Res64: 754C6F8DFD74DCAC Time : 0.0 sec. user=mdettweiler [2014-06-15 22:47:37] 895*2^1319949-1 is not prime. Res64: 299D5628E26DA5F3 Time : 0.0 sec. user=mdettweiler [2014-06-15 22:47:37] 831*2^1319950-1 is not prime. Res64: 28A3D2460A76161B Time : 0.0 sec. user=mdettweiler [2014-06-15 22:58:24] 669*2^1319952-1 is not prime. Res64: 16173935E317BD1C Time : 0.0 sec. user=mdettweiler [2014-06-15 22:58:24] 693*2^1319952-1 is not prime. Res64: 155920A67046E6BC Time : 0.0 sec. user=mdettweiler [2014-06-15 23:00:12] 781*2^1319951-1 is not prime. Res64: C8026A298A9CD574 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:00:13] 909*2^1319951-1 is not prime. Res64: E41941D60B41FB5F Time : 0.0 sec. user=mdettweiler [2014-06-15 23:01:04] 759*2^1319952-1 is not prime. Res64: 58AD9F3C22F2B57A Time : 0.0 sec. user=mdettweiler [2014-06-15 23:01:04] 765*2^1319952-1 is not prime. Res64: 2189CBC72B94F5F4 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:13:09] 825*2^1319952-1 is not prime. Res64: E2D1FA6EB17B856F Time : 0.0 sec. user=mdettweiler [2014-06-15 23:13:10] 857*2^1319952-1 is not prime. Res64: 0BEADDFBEC4F7788 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:23:33] 637*2^1319953-1 is not prime. Res64: 4A8AD723ACBC1314 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:23:33] 699*2^1319953-1 is not prime. Res64: CDBE8D4E612C5167 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:23:59] 887*2^1319952-1 is not prime. Res64: 33B634FC4D1297E8 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:23:59] 947*2^1319952-1 is not prime. Res64: E22A5C27F2B53343 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:25:30] 705*2^1319953-1 is not prime. Res64: 57B66826B99AF40D Time : 0.0 sec. user=mdettweiler [2014-06-15 23:25:30] 877*2^1319953-1 is not prime. Res64: B94EF1E07FDEF296 Time : 0.0 sec. user=juhehe [2014-06-15 23:35:32] 889*2^1319953-1 is not prime. Res64: D469A4D03BAC166F Time : 0.0 sec. user=mdettweiler [2014-06-15 23:37:35] 999*2^1319953-1 is not prime. Res64: EAF0B4B176FD22E9 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:37:35] 645*2^1319954-1 is not prime. Res64: 7DF66BC4F18E1639 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:47:12] 643*2^1319955-1 is not prime. Res64: 4EFBA0AB2444F79C Time : 0.0 sec. user=mdettweiler [2014-06-15 23:47:12] 649*2^1319955-1 is not prime. Res64: 99A3D83D0745E9E7 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:49:08] 773*2^1319954-1 is not prime. Res64: 55C382430E31B0ED Time : 0.0 sec. user=mdettweiler [2014-06-15 23:49:08] 921*2^1319954-1 is not prime. Res64: 23CC0BF54903D8B7 Time : 0.0 sec. user=mdettweiler [2014-06-15 23:49:52] 741*2^1319955-1 is not prime. Res64: 554803AEB2A0EDEC Time : 0.0 sec. user=mdettweiler [2014-06-15 23:49:52] 765*2^1319955-1 is not prime. Res64: C14B69B7FE292F0A Time : 0.0 sec.