user=mdettweiler [2013-08-11 00:10:45] 993*2^1250383-1 is not prime. Res64: F837D17D359DDC58 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:10:46] 615*2^1250384-1 is not prime. Res64: 049CE9DB7B2B247C Time : 0.0 sec. user=mdettweiler [2013-08-11 00:11:01] 659*2^1250384-1 is not prime. Res64: 4BA056B0DA2143F0 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:11:02] 665*2^1250384-1 is not prime. Res64: 0BF22491C4A4007A Time : 0.0 sec. user=mdettweiler [2013-08-11 00:14:59] 747*2^1250384-1 is not prime. Res64: C54635B9DECEFC1C Time : 0.0 sec. user=mdettweiler [2013-08-11 00:20:04] 857*2^1250384-1 is not prime. Res64: 936FF623D8F84E27 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:20:04] 875*2^1250384-1 is not prime. Res64: 33FCD4226BECD7FE Time : 0.0 sec. user=mdettweiler [2013-08-11 00:30:53] 717*2^1250385-1 is not prime. Res64: 2F199501ECF2597D Time : 0.0 sec. user=mdettweiler [2013-08-11 00:30:53] 871*2^1250385-1 is not prime. Res64: 8F567E5971F2C352 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:32:35] 917*2^1250384-1 is not prime. Res64: 4B3A605295A060DD Time : 0.0 sec. user=mdettweiler [2013-08-11 00:32:35] 929*2^1250384-1 is not prime. Res64: DFB556BFE6B3D013 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:40:07] 889*2^1250385-1 is not prime. Res64: 2FF71C0C9A8E33EC Time : 0.0 sec. user=mdettweiler [2013-08-11 00:40:07] 611*2^1250386-1 is not prime. Res64: 2D93E24BA9B5055B Time : 0.0 sec. user=mdettweiler [2013-08-11 00:50:44] 623*2^1250386-1 is not prime. Res64: F6906F1E7A8494D5 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:50:44] 657*2^1250386-1 is not prime. Res64: 2563357205225569 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:52:37] 801*2^1250386-1 is not prime. Res64: 5E115D0F5AE943C6 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:52:37] 815*2^1250386-1 is not prime. Res64: EA25F854B2998BDC Time : 0.0 sec. user=mdettweiler [2013-08-11 01:00:07] 833*2^1250386-1 is not prime. Res64: 4845809A43DBE3AE Time : 0.0 sec. user=mdettweiler [2013-08-11 01:00:08] 861*2^1250386-1 is not prime. Res64: 810D52B9C66303FA Time : 0.0 sec. user=mdettweiler [2013-08-11 01:04:13] 825*2^1250384-1 is not prime. Res64: 855C2CAE2DE2F151 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:11:39] 983*2^1250386-1 is not prime. Res64: 9D58F9A4EADECF5D Time : 0.0 sec. user=mdettweiler [2013-08-11 01:11:39] 685*2^1250387-1 is not prime. Res64: 14D9ECA8D2033842 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:12:38] 759*2^1250387-1 is not prime. Res64: 8B0AD1AC85BAA073 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:12:39] 801*2^1250387-1 is not prime. Res64: 10A2E2FCF7A0AF0E Time : 0.0 sec. user=mdettweiler [2013-08-11 01:20:02] 879*2^1250387-1 is not prime. Res64: 2FA9473B73F19F5D Time : 0.0 sec. user=mdettweiler [2013-08-11 01:20:02] 885*2^1250387-1 is not prime. Res64: B779DAB7870E8138 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:23:57] 663*2^1250388-1 is not prime. Res64: EC99166FE88F715B Time : 0.0 sec. user=mdettweiler [2013-08-11 01:23:57] 887*2^1250388-1 is not prime. Res64: DF405621747D346D Time : 0.0 sec. user=mdettweiler [2013-08-11 01:32:16] 771*2^1250389-1 is not prime. Res64: 38054543F6FB6366 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:32:17] 925*2^1250389-1 is not prime. Res64: 8CD425124499D060 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:32:27] 677*2^1250390-1 is not prime. Res64: 04DD3976E39CD57F Time : 0.0 sec. user=mdettweiler [2013-08-11 01:32:27] 797*2^1250390-1 is not prime. Res64: FC48538CCE59F658 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:40:42] 801*2^1250390-1 is not prime. Res64: 2AB0F00750AE0518 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:40:43] 1001*2^1250390-1 is not prime. Res64: 43A7607DB6208B78 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:43:37] 619*2^1250391-1 is not prime. Res64: 8C62C55F67278925 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:43:37] 781*2^1250391-1 is not prime. Res64: A56C72F28E5DE4A9 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:51:54] 825*2^1250391-1 is not prime. Res64: 5A96735B24B2E661 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:51:54] 859*2^1250391-1 is not prime. Res64: 792704AB86A86CCA Time : 0.0 sec. user=mdettweiler [2013-08-11 01:53:05] 975*2^1250391-1 is not prime. Res64: 437878D5D8640AA7 Time : 0.0 sec. user=mdettweiler [2013-08-11 01:53:06] 617*2^1250392-1 is not prime. Res64: A612A9E279277B83 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:00:24] 717*2^1250392-1 is not prime. Res64: BD590F78F5368B63 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:00:25] 735*2^1250392-1 is not prime. Res64: 716276D30E85DEEC Time : 0.0 sec. user=mdettweiler [2013-08-11 02:03:13] 863*2^1250392-1 is not prime. Res64: 246798950189A950 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:03:14] 903*2^1250392-1 is not prime. Res64: E1BDE43E3065107E Time : 0.0 sec. user=mdettweiler [2013-08-11 02:12:39] 983*2^1250392-1 is not prime. Res64: 954A5721F8B6F220 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:12:39] 607*2^1250393-1 is not prime. Res64: 2177AA5E2A944953 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:12:52] 657*2^1250393-1 is not prime. Res64: 20BC4518E12BDE37 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:12:52] 699*2^1250393-1 is not prime. Res64: 0FFDDECA8D9A3E32 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:20:25] 705*2^1250393-1 is not prime. Res64: 93B896BEAE2BC0A0 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:20:25] 871*2^1250393-1 is not prime. Res64: 28223B201B267E74 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:23:50] 967*2^1250393-1 is not prime. Res64: 38C1EFF8FFFD3477 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:23:51] 605*2^1250394-1 is not prime. Res64: 7CF41B4C326FFC2D Time : 0.0 sec. user=mdettweiler [2013-08-11 02:32:19] 663*2^1250394-1 is not prime. Res64: 14139939D6BF6CAC Time : 0.0 sec. user=mdettweiler [2013-08-11 02:32:20] 681*2^1250394-1 is not prime. Res64: C00EACC3537F1B3B Time : 0.0 sec. user=mdettweiler [2013-08-11 02:32:36] 725*2^1250394-1 is not prime. Res64: C05F3FAED0805A52 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:32:37] 833*2^1250394-1 is not prime. Res64: 88BAE34A059D0F6C Time : 0.0 sec. user=mdettweiler [2013-08-11 02:41:03] 1001*2^1250394-1 is not prime. Res64: B919768C3332AE33 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:41:03] 663*2^1250395-1 is not prime. Res64: D18614241939E460 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:43:24] 675*2^1250395-1 is not prime. Res64: B9A895FB455ED841 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:43:26] 805*2^1250395-1 is not prime. Res64: 2CA3873BDE21A7B9 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:53:08] 853*2^1250395-1 is not prime. Res64: 79DDDA47E15B213D Time : 0.0 sec. user=mdettweiler [2013-08-11 02:53:08] 913*2^1250395-1 is not prime. Res64: 6BCA579AD4E3DC08 Time : 0.0 sec. user=mdettweiler [2013-08-11 02:53:15] 979*2^1250395-1 is not prime. Res64: D83821BC2E30FAAD Time : 0.0 sec. user=mdettweiler [2013-08-11 02:53:15] 623*2^1250396-1 is not prime. Res64: FECE252E12A89723 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:00:51] 677*2^1250396-1 is not prime. Res64: 9A16DE2EAA1E7AC2 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:00:52] 725*2^1250396-1 is not prime. Res64: 5C329BDB35116661 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:03:22] 803*2^1250396-1 is not prime. Res64: 2C8C7FDEF88A1CD9 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:03:24] 845*2^1250396-1 is not prime. Res64: 39B55A88EECF1DDC Time : 0.0 sec. user=mdettweiler [2013-08-11 03:12:44] 875*2^1250396-1 is not prime. Res64: 823314EFC0DF71DD Time : 0.0 sec. user=mdettweiler [2013-08-11 03:12:44] 899*2^1250396-1 is not prime. Res64: CCE523E291FCF509 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:13:46] 983*2^1250396-1 is not prime. Res64: 4E1B6E8EACA1B1C8 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:13:46] 691*2^1250397-1 is not prime. Res64: 25E894F9F8E06343 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:20:34] 727*2^1250397-1 is not prime. Res64: E86B57DFB62B82FF Time : 0.0 sec. user=mdettweiler [2013-08-11 03:20:34] 805*2^1250397-1 is not prime. Res64: B34831F5F321CE7D Time : 0.0 sec. user=mdettweiler [2013-08-11 03:23:02] 859*2^1250397-1 is not prime. Res64: B2756939481D9FE3 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:23:03] 867*2^1250397-1 is not prime. Res64: BDF445B172F409FB Time : 0.0 sec. user=mdettweiler [2013-08-11 03:33:31] 603*2^1250398-1 is not prime. Res64: 81B42D994D3A3790 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:33:31] 623*2^1250398-1 is not prime. Res64: 17E6132C72AB40FD Time : 0.0 sec. user=mdettweiler [2013-08-11 03:34:09] 937*2^1250397-1 is not prime. Res64: A67B7FD7858EDEE2 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:34:10] 985*2^1250397-1 is not prime. Res64: 76032B2B01C14572 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:40:12] 657*2^1250398-1 is not prime. Res64: AA0C2FBE88D82AC3 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:40:13] 761*2^1250398-1 is not prime. Res64: BE84C95D035AFD7A Time : 0.0 sec. user=mdettweiler [2013-08-11 03:43:34] 765*2^1250398-1 is not prime. Res64: D5B9AED63DC7D5AF Time : 0.0 sec. user=mdettweiler [2013-08-11 03:43:35] 945*2^1250398-1 is not prime. Res64: 755D9B08FE4F93D2 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:53:39] 663*2^1250399-1 is not prime. Res64: DEB16F3D3FDF589E Time : 0.0 sec. user=mdettweiler [2013-08-11 03:53:40] 669*2^1250399-1 is not prime. Res64: 97AF9040CB142E0F Time : 0.0 sec. user=mdettweiler [2013-08-11 03:54:02] 703*2^1250399-1 is not prime. Res64: 61835DABDD233FB6 Time : 0.0 sec. user=mdettweiler [2013-08-11 03:54:02] 843*2^1250399-1 is not prime. Res64: 44C81440E018A967 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:00:16] 633*2^1250400-1 is not prime. Res64: A627F426489108D7 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:00:16] 735*2^1250400-1 is not prime. Res64: 8BECEC4D60D36DB3 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:03:37] 819*2^1250400-1 is not prime. Res64: 0165E902C55C4B9C Time : 0.0 sec. user=mdettweiler [2013-08-11 04:03:37] 825*2^1250400-1 is not prime. Res64: 49B77B9DE7D5BCC9 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:14:33] 747*2^1250401-1 is not prime. Res64: 0EDF44E07A706988 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:14:33] 627*2^1250402-1 is not prime. Res64: E937C04E358165F5 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:14:51] 893*2^1250400-1 is not prime. Res64: 8A2355ECFBFC3238 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:14:52] 927*2^1250400-1 is not prime. Res64: 2B85031BA6F5D821 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:20:31] 743*2^1250402-1 is not prime. Res64: EDCFC0FEDE28CEAC Time : 0.0 sec. user=mdettweiler [2013-08-11 04:20:32] 755*2^1250402-1 is not prime. Res64: 320A9D49AE447825 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:24:01] 791*2^1250402-1 is not prime. Res64: 0FEADA26C8DA2809 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:24:01] 797*2^1250402-1 is not prime. Res64: B2E3B8BB045B29CE Time : 0.0 sec. user=mdettweiler [2013-08-11 04:34:22] 619*2^1250403-1 is not prime. Res64: A8B7597D6FA436E4 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:34:48] 871*2^1250403-1 is not prime. Res64: AA0F9C8251C6B82F Time : 0.0 sec. user=mdettweiler [2013-08-11 04:34:48] 705*2^1250404-1 is not prime. Res64: CD0830FC4C0C4E52 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:40:21] 765*2^1250404-1 is not prime. Res64: 6F48A2693E654C16 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:40:21] 785*2^1250404-1 is not prime. Res64: DC6E5144848D6F25 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:44:39] 819*2^1250404-1 is not prime. Res64: FC7291702A0BEC04 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:44:39] 965*2^1250404-1 is not prime. Res64: 295B62ACC7E20FA2 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:56:36] 969*2^1250404-1 is not prime. Res64: F4B7E2C162E84764 Time : 0.0 sec. user=mdettweiler [2013-08-11 04:56:36] 975*2^1250404-1 is not prime. Res64: E7878201B3D61CE2 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:00:12] 655*2^1250405-1 is not prime. Res64: 4145B853350E0E77 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:00:12] 691*2^1250405-1 is not prime. Res64: 6349B95F79D4EB19 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:04:25] 697*2^1250405-1 is not prime. Res64: 682E7773474B9443 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:04:26] 611*2^1250406-1 is not prime. Res64: 0A1FB3C659CEF926 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:16:24] 615*2^1250406-1 is not prime. Res64: 0576C3175FFF232F Time : 0.0 sec. user=mdettweiler [2013-08-11 05:16:25] 705*2^1250406-1 is not prime. Res64: 90A1846A6B9E0E5D Time : 0.0 sec. user=mdettweiler [2013-08-11 05:19:56] 717*2^1250406-1 is not prime. Res64: 817F27BD890AC6B6 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:19:56] 741*2^1250406-1 is not prime. Res64: C363F01F0D23A0B4 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:24:08] 805*2^1250403-1 is not prime. Res64: 8C8FBE4C68C4B388 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:24:08] 783*2^1250406-1 is not prime. Res64: D615FA39E42C0244 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:24:08] 795*2^1250406-1 is not prime. Res64: 77743A3DE6A98854 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:38:01] 921*2^1250406-1 is not prime. Res64: D757A0CC80BCF607 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:38:01] 975*2^1250406-1 is not prime. Res64: 2255C02C617D9FDA Time : 0.0 sec. user=mdettweiler [2013-08-11 05:39:33] 615*2^1250407-1 is not prime. Res64: 4C7D558126A866A0 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:39:33] 673*2^1250407-1 is not prime. Res64: B9C28BB7D71B02EA Time : 0.0 sec. user=mdettweiler [2013-08-11 05:43:40] 859*2^1250407-1 is not prime. Res64: EA37F922938468D0 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:43:40] 895*2^1250407-1 is not prime. Res64: CECB9C7A61D3785F Time : 0.0 sec. user=mdettweiler [2013-08-11 05:43:42] 623*2^1250408-1 is not prime. Res64: 24D6240ED548088A Time : 0.0 sec. user=mdettweiler [2013-08-11 05:43:43] 743*2^1250408-1 is not prime. Res64: 2B551E2142EB1C74 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:57:37] 753*2^1250408-1 is not prime. Res64: 3CF52106FF27C1C0 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:57:37] 813*2^1250408-1 is not prime. Res64: 20A8C59660DE5091 Time : 0.0 sec. user=mdettweiler [2013-08-11 05:59:09] 815*2^1250408-1 is not prime. Res64: 01F0035A29BAF93D Time : 0.0 sec. user=mdettweiler [2013-08-11 05:59:09] 825*2^1250408-1 is not prime. Res64: 3F32F8DD0CA23CF2 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:05:11] 929*2^1250408-1 is not prime. Res64: 55D528F277416550 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:05:12] 969*2^1250408-1 is not prime. Res64: 3B4FAF319ED14594 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:05:15] 995*2^1250408-1 is not prime. Res64: C2417450C85A7010 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:05:15] 999*2^1250408-1 is not prime. Res64: B41C56461C0EF0D9 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:17:11] 627*2^1250409-1 is not prime. Res64: 18022D0A07BE3EA3 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:17:12] 649*2^1250409-1 is not prime. Res64: FA945BD001168673 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:18:41] 681*2^1250409-1 is not prime. Res64: 19323A3FFD5B7206 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:18:42] 735*2^1250409-1 is not prime. Res64: 2619E4B6FC0D9E1F Time : 0.0 sec. user=mdettweiler [2013-08-11 06:24:47] 741*2^1250409-1 is not prime. Res64: D6F2118C4665373F Time : 0.0 sec. user=mdettweiler [2013-08-11 06:24:48] 865*2^1250409-1 is not prime. Res64: D386D467D72305C5 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:26:40] 949*2^1250409-1 is not prime. Res64: AF8E3B55B3B46224 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:26:40] 951*2^1250409-1 is not prime. Res64: 2D1260D8D08066DB Time : 0.0 sec. user=mdettweiler [2013-08-11 06:36:47] 605*2^1250410-1 is not prime. Res64: 7D25181CABC48831 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:36:48] 611*2^1250410-1 is not prime. Res64: 4C59F94BCF1B2E6E Time : 0.0 sec. user=mdettweiler [2013-08-11 06:38:17] 623*2^1250410-1 is not prime. Res64: 6637BB1EAC326FB4 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:38:17] 653*2^1250410-1 is not prime. Res64: 6865F96DDE48F906 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:44:21] 735*2^1250410-1 is not prime. Res64: 1C2CE6C3E3AD8C8F Time : 0.0 sec. user=mdettweiler [2013-08-11 06:44:22] 765*2^1250410-1 is not prime. Res64: 5E68F35624493F37 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:47:08] 905*2^1250410-1 is not prime. Res64: 5D4151C25310E208 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:47:08] 911*2^1250410-1 is not prime. Res64: 95B0F5CF2EEB9371 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:57:16] 923*2^1250410-1 is not prime. Res64: 3E1C63D3231068F5 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:57:17] 781*2^1250411-1 is not prime. Res64: E3DEA509A9AC655A Time : 0.0 sec. user=mdettweiler [2013-08-11 06:58:50] 805*2^1250411-1 is not prime. Res64: FC2BBF66C7936994 Time : 0.0 sec. user=mdettweiler [2013-08-11 06:58:51] 993*2^1250411-1 is not prime. Res64: DBE791AC6961EDE1 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:03:57] 629*2^1250412-1 is not prime. Res64: CCC03D3CD0291C7E Time : 0.0 sec. user=mdettweiler [2013-08-11 07:03:58] 899*2^1250412-1 is not prime. Res64: BEDA178C628C51A7 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:06:43] 675*2^1250413-1 is not prime. Res64: 1C2D9127DF9EABA8 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:06:43] 817*2^1250413-1 is not prime. Res64: D5E5FA84F0CE3E7E Time : 0.0 sec. user=mdettweiler [2013-08-11 07:16:49] 819*2^1250413-1 is not prime. Res64: 736BAA8D8CF3BF30 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:16:49] 877*2^1250413-1 is not prime. Res64: A072105EC8EA1C6A Time : 0.0 sec. user=mdettweiler [2013-08-11 07:19:20] 897*2^1250413-1 is not prime. Res64: ACDCFF6EA5152E33 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:19:20] 979*2^1250413-1 is not prime. Res64: F4EBB2B3F9ED17F7 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:23:37] 641*2^1250414-1 is not prime. Res64: 908BF1F9A2398289 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:23:37] 741*2^1250414-1 is not prime. Res64: C253DE076601902C Time : 0.0 sec. user=mdettweiler [2013-08-11 07:26:17] 767*2^1250414-1 is not prime. Res64: C9A7A7D1C6E57AF9 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:26:17] 791*2^1250414-1 is not prime. Res64: ADB01F00FE393151 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:38:15] 965*2^1250414-1 is not prime. Res64: 4CEF7E1912DE78BA Time : 0.0 sec. user=mdettweiler [2013-08-11 07:38:15] 1001*2^1250414-1 is not prime. Res64: 38902C129C93195B Time : 0.0 sec. user=mdettweiler [2013-08-11 07:38:53] 643*2^1250415-1 is not prime. Res64: 90339217063CE0D5 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:38:53] 751*2^1250415-1 is not prime. Res64: 4A79C75EB51F8232 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:43:11] 793*2^1250415-1 is not prime. Res64: ABC79DA1270E1E9C Time : 0.0 sec. user=mdettweiler [2013-08-11 07:43:11] 819*2^1250415-1 is not prime. Res64: 3BBE478B0C89F857 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:45:53] 735*2^1250416-1 is not prime. Res64: A68E2966D1A81612 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:45:53] 785*2^1250416-1 is not prime. Res64: 432A0C3D6E5CF533 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:57:52] 869*2^1250416-1 is not prime. Res64: 272414312789262E Time : 0.0 sec. user=mdettweiler [2013-08-11 07:57:53] 899*2^1250416-1 is not prime. Res64: F0E973569EFDB630 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:58:28] 637*2^1250417-1 is not prime. Res64: A90B7ECD3CDB0236 Time : 0.0 sec. user=mdettweiler [2013-08-11 07:58:28] 649*2^1250417-1 is not prime. Res64: 0CC6227DE941319A Time : 0.0 sec. user=mdettweiler [2013-08-11 08:02:43] 769*2^1250417-1 is not prime. Res64: FA09E669760BC6BB Time : 0.0 sec. user=mdettweiler [2013-08-11 08:02:44] 777*2^1250417-1 is not prime. Res64: 35A1C712F14B2EA6 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:06:24] 889*2^1250417-1 is not prime. Res64: B1646F0CA27E6791 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:06:24] 981*2^1250417-1 is not prime. Res64: DD36306F89D36E4B Time : 0.0 sec. user=mdettweiler [2013-08-11 08:17:27] 651*2^1250418-1 is not prime. Res64: CEA36EB5C57AD95E Time : 0.0 sec. user=mdettweiler [2013-08-11 08:17:28] 803*2^1250418-1 is not prime. Res64: 474F299E4899E06A Time : 0.0 sec. user=mdettweiler [2013-08-11 08:19:01] 891*2^1250418-1 is not prime. Res64: B1F69BBE268928BB Time : 0.0 sec. user=mdettweiler [2013-08-11 08:19:01] 977*2^1250418-1 is not prime. Res64: 59C239E247220BAC Time : 0.0 sec. user=mdettweiler [2013-08-11 08:22:20] 631*2^1250419-1 is not prime. Res64: 4D642EEFEA96AECC Time : 0.0 sec. user=mdettweiler [2013-08-11 08:22:20] 675*2^1250419-1 is not prime. Res64: 2717816ECCF29FEA Time : 0.0 sec. user=mdettweiler [2013-08-11 08:25:57] 813*2^1250419-1 is not prime. Res64: 8339270A5EE85755 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:25:58] 885*2^1250419-1 is not prime. Res64: D5D90F6763FF4888 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:38:03] 975*2^1250419-1 is not prime. Res64: 4A024589FA2E34C1 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:38:03] 609*2^1250420-1 is not prime. Res64: C4034A5518842177 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:38:41] 753*2^1250420-1 is not prime. Res64: 0BDAD98956777FC7 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:38:42] 839*2^1250420-1 is not prime. Res64: 47DE372B4E92CD76 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:42:49] 963*2^1250420-1 is not prime. Res64: 5C0A8DE5A97A354E Time : 0.0 sec. user=mdettweiler [2013-08-11 08:42:49] 615*2^1250421-1 is not prime. Res64: DF9790DE069F054B Time : 0.0 sec. user=mdettweiler [2013-08-11 08:45:30] 681*2^1250421-1 is not prime. Res64: 6E34434B403B37B2 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:45:30] 685*2^1250421-1 is not prime. Res64: 28F2F4F0CEE7A9DC Time : 0.0 sec. user=mdettweiler [2013-08-11 08:57:38] 709*2^1250421-1 is not prime. Res64: 375C99EC646BEA14 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:57:38] 777*2^1250421-1 is not prime. Res64: 9D745C42D131F407 Time : 0.0 sec. user=mdettweiler [2013-08-11 08:58:15] 829*2^1250421-1 is not prime. Res64: CFF61F7C58E6EE0A Time : 0.0 sec. user=mdettweiler [2013-08-11 08:58:15] 835*2^1250421-1 is not prime. Res64: FE9D43186316E936 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:02:23] 847*2^1250421-1 is not prime. Res64: 274CA8939B2E1A65 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:02:24] 861*2^1250421-1 is not prime. Res64: B9498C281B3F7350 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:06:51] 945*2^1250421-1 is not prime. Res64: 62D8CDFB284A5096 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:06:52] 949*2^1250421-1 is not prime. Res64: 355453F7BE3141D5 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:17:15] 603*2^1250422-1 is not prime. Res64: BE529FC6259FAA70 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:17:15] 611*2^1250422-1 is not prime. Res64: ED0DEC3EB3BBCD95 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:19:42] 915*2^1250422-1 is not prime. Res64: 70C8A15DAC15430A Time : 0.0 sec. user=mdettweiler [2013-08-11 09:19:42] 917*2^1250422-1 is not prime. Res64: D9D6360D292373B6 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:23:49] 981*2^1250422-1 is not prime. Res64: 9F7103CE1ED3DC53 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:23:49] 983*2^1250422-1 is not prime. Res64: 0155CEA59A39B1E9 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:27:22] 1001*2^1250422-1 is not prime. Res64: CB2BED97C927A385 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:27:23] 663*2^1250423-1 is not prime. Res64: C62C1B65E78D6F6B Time : 0.0 sec. user=mdettweiler [2013-08-11 09:36:50] 693*2^1250423-1 is not prime. Res64: E8F272B2F01EDD6B Time : 0.0 sec. user=mdettweiler [2013-08-11 09:36:50] 775*2^1250423-1 is not prime. Res64: 9BE70DDB27E20644 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:39:12] 823*2^1250423-1 is not prime. Res64: 02D9EFFC1EA139BA Time : 0.0 sec. user=mdettweiler [2013-08-11 09:39:13] 825*2^1250423-1 is not prime. Res64: 3E49BC141A59F6BE Time : 0.0 sec. user=mdettweiler [2013-08-11 09:44:16] 861*2^1250423-1 is not prime. Res64: 3C19A72FB9A9E7C9 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:44:16] 939*2^1250423-1 is not prime. Res64: 1830DD3790F5FFFB Time : 0.0 sec. user=mdettweiler [2013-08-11 09:47:00] 615*2^1250424-1 is not prime. Res64: 169EFDC72CBA6A64 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:47:00] 635*2^1250424-1 is not prime. Res64: 1A5E8E90669F759B Time : 0.0 sec. user=mdettweiler [2013-08-11 09:56:25] 657*2^1250424-1 is not prime. Res64: 12E222F1989D7BA4 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:56:25] 683*2^1250424-1 is not prime. Res64: 90564A7DDD75C649 Time : 0.0 sec. user=mdettweiler [2013-08-11 09:58:44] 695*2^1250424-1 is not prime. Res64: 4186FF2CA671F31A Time : 0.0 sec. user=mdettweiler [2013-08-11 09:58:45] 765*2^1250424-1 is not prime. Res64: D8E03B93DE8EF566 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:04:44] 903*2^1250424-1 is not prime. Res64: 263C6845A3BDB0BB Time : 0.0 sec. user=mdettweiler [2013-08-11 10:04:45] 917*2^1250424-1 is not prime. Res64: 09A3A6EDFDE89AF8 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:06:32] 805*2^1250425-1 is not prime. Res64: 8C0A8401A883A666 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:06:33] 861*2^1250425-1 is not prime. Res64: A8B4DB37B9E81BA6 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:16:57] 889*2^1250425-1 is not prime. Res64: 46D7C239FD7913DF Time : 0.0 sec. user=mdettweiler [2013-08-11 10:16:57] 997*2^1250425-1 is not prime. Res64: A8AD95C7BDC359F8 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:19:17] 999*2^1250425-1 is not prime. Res64: 74D8589D1229DE6D Time : 0.0 sec. user=mdettweiler [2013-08-11 10:19:17] 671*2^1250426-1 is not prime. Res64: 6E66CA393B8962BB Time : 0.0 sec. user=mdettweiler [2013-08-11 10:24:22] 675*2^1250426-1 is not prime. Res64: B7D3F174D70EF7E5 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:24:22] 707*2^1250426-1 is not prime. Res64: 27F5E8A3331FA222 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:26:01] 717*2^1250426-1 is not prime. Res64: F18C23F76B94E453 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:26:02] 843*2^1250426-1 is not prime. Res64: 4352B8026A290117 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:36:35] 873*2^1250426-1 is not prime. Res64: 2E8874DE838499F4 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:36:35] 893*2^1250426-1 is not prime. Res64: 141ADC62267DCAE2 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:40:47] 923*2^1250426-1 is not prime. Res64: AF3578BEC90EC19D Time : 0.0 sec. user=mdettweiler [2013-08-11 10:40:47] 941*2^1250426-1 is not prime. Res64: 1F94480E355AE3EE Time : 0.0 sec. user=mdettweiler [2013-08-11 10:44:54] 971*2^1250426-1 is not prime. Res64: 3C99AA25CD229A26 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:44:55] 609*2^1250427-1 is not prime. Res64: C722B38A5E538BD9 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:45:39] 625*2^1250427-1 is not prime. Res64: E3F72FD078E00FFC Time : 0.0 sec. user=mdettweiler [2013-08-11 10:45:39] 703*2^1250427-1 is not prime. Res64: 614B09B7CD58921E Time : 0.0 sec. user=mdettweiler [2013-08-11 10:56:11] 709*2^1250427-1 is not prime. Res64: B06D136AC8010FF3 Time : 0.0 sec. user=mdettweiler [2013-08-11 10:56:11] 735*2^1250427-1 is not prime. Res64: AE6F32269490011A Time : 0.0 sec. user=mdettweiler [2013-08-11 11:00:25] 741*2^1250427-1 is not prime. Res64: 3CBE78A0EB572973 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:00:26] 805*2^1250427-1 is not prime. Res64: 526B87C306675F63 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:05:22] 945*2^1250427-1 is not prime. Res64: 2E18700761276338 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:05:22] 743*2^1250428-1 is not prime. Res64: 1F5087935B3A30D9 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:07:03] 927*2^1250428-1 is not prime. Res64: 880D554AA25DD242 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:07:04] 953*2^1250428-1 is not prime. Res64: AB05F4E916CE922B Time : 0.0 sec. user=mdettweiler [2013-08-11 11:15:54] 601*2^1250429-1 is not prime. Res64: 9CB9449C5D4FD017 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:15:54] 691*2^1250429-1 is not prime. Res64: 466608FBC690850F Time : 0.0 sec. user=mdettweiler [2013-08-11 11:20:05] 711*2^1250429-1 is not prime. Res64: DAE2DCCB06F80CAD Time : 0.0 sec. user=mdettweiler [2013-08-11 11:20:05] 721*2^1250429-1 is not prime. Res64: 5963BA9F500D8BA6 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:25:52] 889*2^1250429-1 is not prime. Res64: E04B1FE441B8537F Time : 0.0 sec. user=mdettweiler [2013-08-11 11:25:52] 925*2^1250429-1 is not prime. Res64: 51BC0B753BF93CEA Time : 0.0 sec. user=mdettweiler [2013-08-11 11:26:46] 707*2^1250430-1 is not prime. Res64: B41395A7FD971924 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:26:47] 723*2^1250430-1 is not prime. Res64: 2C1E0CC0703FB773 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:36:29] 845*2^1250430-1 is not prime. Res64: E4E6B2E7DB263F66 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:36:30] 927*2^1250430-1 is not prime. Res64: 42C2151372B0D23B Time : 0.0 sec. user=mdettweiler [2013-08-11 11:41:31] 951*2^1250430-1 is not prime. Res64: FE8E41C803A8257B Time : 0.0 sec. user=mdettweiler [2013-08-11 11:41:31] 965*2^1250430-1 is not prime. Res64: 4E16A27E943F38D5 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:45:40] 625*2^1250431-1 is not prime. Res64: 4B855EA5C7492EF6 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:45:40] 649*2^1250431-1 is not prime. Res64: 993550234F5272A0 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:46:24] 651*2^1250431-1 is not prime. Res64: 7B6B4205C9365BAE Time : 0.0 sec. user=mdettweiler [2013-08-11 11:46:25] 675*2^1250431-1 is not prime. Res64: CBFABA9C69D4590A Time : 0.0 sec. user=mdettweiler [2013-08-11 11:56:06] 855*2^1250431-1 is not prime. Res64: E3C51C75E591AFC1 Time : 0.0 sec. user=mdettweiler [2013-08-11 11:56:07] 873*2^1250431-1 is not prime. Res64: 6044D53F12AF781B Time : 0.0 sec. user=mdettweiler [2013-08-11 12:01:05] 891*2^1250431-1 is not prime. Res64: F34AD0C94D0DDFA1 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:01:06] 901*2^1250431-1 is not prime. Res64: D090E305BB12B79C Time : 0.0 sec. user=mdettweiler [2013-08-11 12:06:51] 973*2^1250431-1 is not prime. Res64: 324688333C470FEA Time : 0.0 sec. user=mdettweiler [2013-08-11 12:06:52] 617*2^1250432-1 is not prime. Res64: FF830440C2967B75 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:07:06] 909*2^1250431-1 is not prime. Res64: 3B93A48787DCBFD9 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:07:06] 925*2^1250431-1 is not prime. Res64: C03849D0FFCD2C6A Time : 0.0 sec. user=mdettweiler [2013-08-11 12:15:35] 833*2^1250432-1 is not prime. Res64: 0975CE26E90FBAFE Time : 0.0 sec. user=mdettweiler [2013-08-11 12:15:35] 855*2^1250432-1 is not prime. Res64: 2983488A5093A971 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:22:38] 963*2^1250432-1 is not prime. Res64: 11F421D916FE40FF Time : 0.0 sec. user=mdettweiler [2013-08-11 12:22:38] 977*2^1250432-1 is not prime. Res64: D294B2CD5B473E4B Time : 0.0 sec. user=mdettweiler [2013-08-11 12:26:06] 787*2^1250433-1 is not prime. Res64: 5BBC611A9380C8BD Time : 0.0 sec. user=mdettweiler [2013-08-11 12:26:07] 635*2^1250434-1 is not prime. Res64: 7B480E0FD893EB53 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:26:20] 681*2^1250434-1 is not prime. Res64: 5A24E1785721E713 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:26:20] 705*2^1250434-1 is not prime. Res64: 43679E2942A075B0 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:35:07] 723*2^1250434-1 is not prime. Res64: 9A699DFF64171E23 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:35:07] 785*2^1250434-1 is not prime. Res64: D98B35E7B274DE96 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:42:51] 861*2^1250434-1 is not prime. Res64: B762B58AB1D99B2C Time : 0.0 sec. user=mdettweiler [2013-08-11 12:42:52] 945*2^1250434-1 is not prime. Res64: D5BA2A8FC2249E5F Time : 0.0 sec. user=mdettweiler [2013-08-11 12:45:27] 705*2^1250435-1 is not prime. Res64: AFBC2459D87BFD74 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:45:27] 759*2^1250435-1 is not prime. Res64: A937A44CB74097D8 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:45:44] 855*2^1250435-1 is not prime. Res64: FAA579592E8BB6FA Time : 0.0 sec. user=mdettweiler [2013-08-11 12:45:44] 635*2^1250436-1 is not prime. Res64: 65DE60AC628E45ED Time : 0.0 sec. user=mdettweiler [2013-08-11 12:54:25] 683*2^1250436-1 is not prime. Res64: CFBDB2927E3C94E7 Time : 0.0 sec. user=mdettweiler [2013-08-11 12:54:25] 717*2^1250436-1 is not prime. Res64: FE7DEE422C253AE6 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:02:14] 879*2^1250436-1 is not prime. Res64: 6B10093DBD1C33DD Time : 0.0 sec. user=mdettweiler [2013-08-11 13:02:15] 905*2^1250436-1 is not prime. Res64: 418602797FA6D9EE Time : 0.0 sec. user=mdettweiler [2013-08-11 13:05:05] 625*2^1250437-1 is not prime. Res64: FCDED989C43E5089 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:05:06] 645*2^1250437-1 is not prime. Res64: 07BD6C2F01467A75 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:05:42] 975*2^1250436-1 is not prime. Res64: 4F8AA269C7FD7C4D Time : 0.0 sec. user=mdettweiler [2013-08-11 13:05:42] 609*2^1250437-1 is not prime. Res64: 1A7A2AA37F6B2C5E Time : 0.0 sec. user=mdettweiler [2013-08-11 13:13:53] 649*2^1250437-1 is not prime. Res64: C44DBE6F3A03EE04 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:13:53] 715*2^1250437-1 is not prime. Res64: 2396DB03E36CBF1D Time : 0.0 sec. user=mdettweiler [2013-08-11 13:22:50] 831*2^1250437-1 is not prime. Res64: 7947F6D80CCE5760 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:22:51] 937*2^1250437-1 is not prime. Res64: A97F4BBD71719308 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:25:11] 771*2^1250438-1 is not prime. Res64: ACFCF19B58A86690 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:25:11] 893*2^1250438-1 is not prime. Res64: 435D1DCA7A0B207D Time : 0.0 sec. user=mdettweiler [2013-08-11 13:25:27] 961*2^1250437-1 is not prime. Res64: 2244CBB2B45BA5CF Time : 0.0 sec. user=mdettweiler [2013-08-11 13:25:27] 731*2^1250438-1 is not prime. Res64: 7145BF020936E3A5 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:34:16] 923*2^1250438-1 is not prime. Res64: 404063062A4E5E5D Time : 0.0 sec. user=mdettweiler [2013-08-11 13:34:17] 675*2^1250439-1 is not prime. Res64: 61DA97BFDDEBD524 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:43:14] 861*2^1250439-1 is not prime. Res64: 9B640A5D3E133514 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:43:14] 909*2^1250439-1 is not prime. Res64: 4C621C3809B08944 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:44:54] 755*2^1250440-1 is not prime. Res64: 2BBD1C838B858461 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:44:55] 855*2^1250440-1 is not prime. Res64: 7603F87622D258DF Time : 0.0 sec. user=mdettweiler [2013-08-11 13:46:34] 921*2^1250439-1 is not prime. Res64: 7AEA60BB3F795CCA Time : 0.0 sec. user=mdettweiler [2013-08-11 13:46:34] 985*2^1250439-1 is not prime. Res64: 7CEAB139953A5B06 Time : 0.0 sec. user=mdettweiler [2013-08-11 13:54:45] 899*2^1250440-1 is not prime. Res64: 41F545F4ADD1ACAB Time : 0.0 sec. user=mdettweiler [2013-08-11 13:54:45] 915*2^1250440-1 is not prime. Res64: 8B960AFF860F530D Time : 0.0 sec. user=mdettweiler [2013-08-11 14:02:39] 741*2^1250441-1 is not prime. Res64: 7A959807BCAD2112 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:02:40] 855*2^1250441-1 is not prime. Res64: 83FE01C876C1ABDE Time : 0.0 sec. user=mdettweiler [2013-08-11 14:04:27] 889*2^1250441-1 is not prime. Res64: 59A05AA0FA286A24 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:04:29] 907*2^1250441-1 is not prime. Res64: 5B8A61C85217897A Time : 0.0 sec. user=mdettweiler [2013-08-11 14:07:50] 967*2^1250441-1 is not prime. Res64: 5CE4ADA054DADCE3 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:07:51] 987*2^1250441-1 is not prime. Res64: E7122DAAC8CCE064 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:15:06] 991*2^1250441-1 is not prime. Res64: 8EFD10F7A658E60F Time : 0.0 sec. user=mdettweiler [2013-08-11 14:15:07] 611*2^1250442-1 is not prime. Res64: A507E8EE68AE3150 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:22:25] 677*2^1250442-1 is not prime. Res64: B7FE36AD400DFB7B Time : 0.0 sec. user=mdettweiler [2013-08-11 14:22:26] 741*2^1250442-1 is not prime. Res64: 9EF7CBC5E2146E4F Time : 0.0 sec. user=mdettweiler [2013-08-11 14:24:59] 767*2^1250442-1 is not prime. Res64: ECD069AE76046436 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:24:59] 957*2^1250442-1 is not prime. Res64: A99834779F5A5F21 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:27:22] 603*2^1250443-1 is not prime. Res64: 9BE939EE0DD49A70 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:27:23] 633*2^1250443-1 is not prime. Res64: C8663B16F16660C3 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:34:33] 829*2^1250443-1 is not prime. Res64: D264C5FFE325D9CA Time : 0.0 sec. user=mdettweiler [2013-08-11 14:34:33] 849*2^1250443-1 is not prime. Res64: C9BE7E19135F09BD Time : 0.0 sec. user=mdettweiler [2013-08-11 14:41:52] 855*2^1250443-1 is not prime. Res64: B049323A1391CDF5 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:41:52] 859*2^1250443-1 is not prime. Res64: 3633AEC7A705B162 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:45:21] 973*2^1250443-1 is not prime. Res64: 69099EF6460C118A Time : 0.0 sec. user=mdettweiler [2013-08-11 14:45:21] 795*2^1250444-1 is not prime. Res64: 19203F4C1E6542A3 Time : 0.0 sec. user=mdettweiler [2013-08-11 14:46:53] 819*2^1250444-1 is not prime. Res64: 8E3274E8883DD2DB Time : 0.0 sec. user=mdettweiler [2013-08-11 14:46:53] 833*2^1250444-1 is not prime. Res64: 8A566FE61BF84E2F Time : 0.0 sec. user=mdettweiler [2013-08-11 14:54:59] 885*2^1250444-1 is not prime. Res64: 704B40A05AD6627F Time : 0.0 sec. user=mdettweiler [2013-08-11 14:54:59] 969*2^1250444-1 is not prime. Res64: A95D28957E63A781 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:01:24] 655*2^1250445-1 is not prime. Res64: 826CD0ECB5B2BDBA Time : 0.0 sec. user=mdettweiler [2013-08-11 15:01:24] 751*2^1250445-1 is not prime. Res64: 1762577A7E102A6B Time : 0.0 sec. user=mdettweiler [2013-08-11 15:04:47] 825*2^1250445-1 is not prime. Res64: F7FC2064B4B60DEE Time : 0.0 sec. user=mdettweiler [2013-08-11 15:04:48] 861*2^1250445-1 is not prime. Res64: 6A0436235870F14B Time : 0.0 sec. user=mdettweiler [2013-08-11 15:08:19] 921*2^1250445-1 is not prime. Res64: 47210C51A2A8B084 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:08:20] 979*2^1250445-1 is not prime. Res64: 9B480BA96E29873F Time : 0.0 sec. user=mdettweiler [2013-08-11 15:14:31] 647*2^1250446-1 is not prime. Res64: 744D787E28DC3C41 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:14:31] 773*2^1250446-1 is not prime. Res64: A38698EDC285F120 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:21:56] 923*2^1250446-1 is not prime. Res64: 9128CDD6884834E5 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:21:56] 711*2^1250447-1 is not prime. Res64: 0C943F81FDB6E09D Time : 0.0 sec. user=mdettweiler [2013-08-11 15:24:19] 735*2^1250447-1 is not prime. Res64: 715C6C74845EDCD9 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:24:19] 759*2^1250447-1 is not prime. Res64: 6FBA3A85477AC451 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:28:51] 859*2^1250447-1 is not prime. Res64: 774BB3AD82C0465A Time : 0.0 sec. user=mdettweiler [2013-08-11 15:28:51] 955*2^1250447-1 is not prime. Res64: 15B2811D82EDB65A Time : 0.0 sec. user=mdettweiler [2013-08-11 15:34:07] 737*2^1250448-1 is not prime. Res64: 0B13788EF31252DD Time : 0.0 sec. user=mdettweiler [2013-08-11 15:34:08] 773*2^1250448-1 is not prime. Res64: 53A75FF83E5E860D Time : 0.0 sec. user=mdettweiler [2013-08-11 15:41:34] 843*2^1250448-1 is not prime. Res64: 417C562A1A734B76 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:41:35] 887*2^1250448-1 is not prime. Res64: 445ABF70F2AD5EDD Time : 0.0 sec. user=mdettweiler [2013-08-11 15:44:46] 945*2^1250448-1 is not prime. Res64: B9C085BC45D1AB52 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:44:46] 619*2^1250449-1 is not prime. Res64: 7571E478E5E18BEC Time : 0.0 sec. user=mdettweiler [2013-08-11 15:48:24] 625*2^1250449-1 is not prime. Res64: 4D9C6A5D1078CA74 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:48:24] 639*2^1250449-1 is not prime. Res64: 84BE871F7DB68F6B Time : 0.0 sec. user=mdettweiler [2013-08-11 15:53:49] 681*2^1250449-1 is not prime. Res64: 7333A630BCFD0666 Time : 0.0 sec. user=mdettweiler [2013-08-11 15:53:50] 751*2^1250449-1 is not prime. Res64: 6AA3879871E0E2CD Time : 0.0 sec. user=mdettweiler [2013-08-11 16:02:03] 801*2^1250449-1 is not prime. Res64: 05B941757C04B232 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:02:04] 931*2^1250449-1 is not prime. Res64: BFAE8F6A6FB21F02 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:05:21] 945*2^1250449-1 is not prime. Res64: 007AB6E2CAB767CC Time : 0.0 sec. user=mdettweiler [2013-08-11 16:05:21] 623*2^1250450-1 is not prime. Res64: 987B25734491AE61 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:08:01] 675*2^1250450-1 is not prime. Res64: AA4F560BF2C9F278 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:08:02] 797*2^1250450-1 is not prime. Res64: 7C327A62131D95C9 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:14:19] 971*2^1250450-1 is not prime. Res64: 76BD6F04B546A58C Time : 0.0 sec. user=mdettweiler [2013-08-11 16:14:19] 639*2^1250451-1 is not prime. Res64: 4FBD4E7FADE0E078 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:21:39] 643*2^1250451-1 is not prime. Res64: F8050BA205EDC29E Time : 0.0 sec. user=mdettweiler [2013-08-11 16:21:39] 679*2^1250451-1 is not prime. Res64: FDDB00DD827EE4A4 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:24:53] 781*2^1250451-1 is not prime. Res64: 8B9E468741BD30F8 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:24:54] 885*2^1250451-1 is not prime. Res64: 865BFC8BEE4F7981 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:28:28] 951*2^1250451-1 is not prime. Res64: FC200EE85BAB9F41 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:28:28] 635*2^1250452-1 is not prime. Res64: D926261CB9C3194C Time : 0.0 sec. user=mdettweiler [2013-08-11 16:34:48] 903*2^1250452-1 is not prime. Res64: 6647C408B56C3521 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:34:49] 975*2^1250452-1 is not prime. Res64: E9460F28D3F509CC Time : 0.0 sec. user=mdettweiler [2013-08-11 16:42:10] 901*2^1250453-1 is not prime. Res64: FEE525F54E70BAF8 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:42:10] 937*2^1250453-1 is not prime. Res64: E9092227C2AF3FD7 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:46:16] 949*2^1250453-1 is not prime. Res64: 6D0E27F9708CF3B5 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:46:16] 985*2^1250453-1 is not prime. Res64: FA84D8776D633B16 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:47:56] 723*2^1250454-1 is not prime. Res64: B0C7869B1F4C34B9 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:47:57] 807*2^1250454-1 is not prime. Res64: 5E3D05BCA3541B14 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:54:20] 861*2^1250454-1 is not prime. Res64: 212374255D1CA292 Time : 0.0 sec. user=mdettweiler [2013-08-11 16:54:20] 887*2^1250454-1 is not prime. Res64: A1619F1121974388 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:02:40] 893*2^1250454-1 is not prime. Res64: 8B9E4F73DE46C3D7 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:02:42] 917*2^1250454-1 is not prime. Res64: CA8EF043188B6B9B Time : 0.0 sec. user=mdettweiler [2013-08-11 17:07:34] 679*2^1250455-1 is not prime. Res64: 2A0B1DEC534E2612 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:07:35] 771*2^1250455-1 is not prime. Res64: C9216F832CD3ED4D Time : 0.0 sec. user=mdettweiler [2013-08-11 17:07:39] 947*2^1250454-1 is not prime. Res64: 31EF417A500468C9 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:07:40] 983*2^1250454-1 is not prime. Res64: 406B1C9B67044115 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:13:51] 843*2^1250455-1 is not prime. Res64: 8B0C221DD6C75719 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:13:52] 853*2^1250455-1 is not prime. Res64: 210BCDD8C079C378 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:23:18] 871*2^1250455-1 is not prime. Res64: 7301101E75AC7ECC Time : 0.0 sec. user=mdettweiler [2013-08-11 17:23:18] 913*2^1250455-1 is not prime. Res64: D0C743EA1DA5EB1A Time : 0.0 sec. user=mdettweiler [2013-08-11 17:28:13] 873*2^1250456-1 is not prime. Res64: 1738FC7BEF4BB8BF Time : 0.0 sec. user=mdettweiler [2013-08-11 17:28:14] 923*2^1250456-1 is not prime. Res64: 3A95BE7AA9593750 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:29:08] 961*2^1250455-1 is not prime. Res64: C1E122A41B86C5C1 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:29:09] 999*2^1250455-1 is not prime. Res64: 82039DE668E02D6D Time : 0.0 sec. user=mdettweiler [2013-08-11 17:35:22] 945*2^1250456-1 is not prime. Res64: FB03867132248E7D Time : 0.0 sec. user=mdettweiler [2013-08-11 17:35:22] 969*2^1250456-1 is not prime. Res64: 38444E1075EC53D2 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:42:55] 699*2^1250457-1 is not prime. Res64: F3D643BA9BFB6336 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:42:55] 751*2^1250457-1 is not prime. Res64: 0194E89DF9B8ABBF Time : 0.0 sec. user=mdettweiler [2013-08-11 17:48:48] 817*2^1250457-1 is not prime. Res64: EC59323055BBF6BE Time : 0.0 sec. user=mdettweiler [2013-08-11 17:48:49] 915*2^1250457-1 is not prime. Res64: EC3F5CA1438C749F Time : 0.0 sec. user=mdettweiler [2013-08-11 17:49:41] 997*2^1250457-1 is not prime. Res64: 6C2870C3C0704885 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:49:42] 755*2^1250458-1 is not prime. Res64: 895D4C893CB3813A Time : 0.0 sec. user=mdettweiler [2013-08-11 17:55:00] 857*2^1250458-1 is not prime. Res64: A91B23FB95DD8CE9 Time : 0.0 sec. user=mdettweiler [2013-08-11 17:55:00] 867*2^1250458-1 is not prime. Res64: 959D7D616E7AF510 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:04:23] 951*2^1250458-1 is not prime. Res64: D853553DBAD780F5 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:04:24] 993*2^1250458-1 is not prime. Res64: B09DE37A02609A74 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:09:15] 733*2^1250459-1 is not prime. Res64: 3285A96720B75473 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:09:16] 741*2^1250459-1 is not prime. Res64: D77F20CA995C5AFA Time : 0.0 sec. user=mdettweiler [2013-08-11 18:09:19] 995*2^1250458-1 is not prime. Res64: D158DA7753715820 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:09:19] 693*2^1250459-1 is not prime. Res64: AB7D52B7030B923A Time : 0.0 sec. user=mdettweiler [2013-08-11 18:14:37] 813*2^1250459-1 is not prime. Res64: E6004405B571FFA5 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:14:37] 843*2^1250459-1 is not prime. Res64: 6E1BC229CD49627B Time : 0.0 sec. user=mdettweiler [2013-08-11 18:25:03] 883*2^1250459-1 is not prime. Res64: A5F4A89F622874C0 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:25:03] 913*2^1250459-1 is not prime. Res64: 9D34CE40D2B78F8B Time : 0.0 sec. user=mdettweiler [2013-08-11 18:28:55] 629*2^1250460-1 is not prime. Res64: 3C480D49DAD1EA15 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:28:55] 665*2^1250460-1 is not prime. Res64: A141D11DC373CB57 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:30:44] 931*2^1250459-1 is not prime. Res64: D8D799BB064C0D35 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:30:44] 949*2^1250459-1 is not prime. Res64: CDB77BD7CFFA1DA4 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:34:22] 689*2^1250460-1 is not prime. Res64: 74CF25A746C54390 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:34:22] 695*2^1250460-1 is not prime. Res64: E856F1EF5D31BD1E Time : 0.0 sec. user=mdettweiler [2013-08-11 18:44:35] 759*2^1250460-1 is not prime. Res64: 1FA5F7457AE8F500 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:44:35] 845*2^1250460-1 is not prime. Res64: 33A24A66C5E7976F Time : 0.0 sec. user=mdettweiler [2013-08-11 18:48:23] 899*2^1250460-1 is not prime. Res64: 39BAC5960F023B16 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:48:24] 905*2^1250460-1 is not prime. Res64: 2427E14FFE544C8D Time : 0.0 sec. user=mdettweiler [2013-08-11 18:52:02] 927*2^1250460-1 is not prime. Res64: 46383B40EF5FA8F1 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:52:02] 929*2^1250460-1 is not prime. Res64: C13077FA9072FACC Time : 0.0 sec. user=mdettweiler [2013-08-11 18:53:51] 607*2^1250461-1 is not prime. Res64: 77DF31194A4DB686 Time : 0.0 sec. user=mdettweiler [2013-08-11 18:53:51] 651*2^1250461-1 is not prime. Res64: D541A581F0F8F90B Time : 0.0 sec. user=mdettweiler [2013-08-11 19:04:11] 679*2^1250461-1 is not prime. Res64: C11D65A59ECDA92A Time : 0.0 sec. user=mdettweiler [2013-08-11 19:04:12] 681*2^1250461-1 is not prime. Res64: B3919357484E4634 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:07:56] 895*2^1250461-1 is not prime. Res64: C60F1E96E8C97707 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:07:56] 603*2^1250462-1 is not prime. Res64: B87295060E6A964C Time : 0.0 sec. user=mdettweiler [2013-08-11 19:11:33] 665*2^1250462-1 is not prime. Res64: EDFF1AF9401D5913 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:11:34] 683*2^1250462-1 is not prime. Res64: 357A19BFED80BF9F Time : 0.0 sec. user=mdettweiler [2013-08-11 19:14:23] 761*2^1250462-1 is not prime. Res64: 0663F7BBCE5D6102 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:14:24] 957*2^1250462-1 is not prime. Res64: B99BD08937D8A1E4 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:25:52] 965*2^1250462-1 is not prime. Res64: 37A4B281915C98E2 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:25:52] 983*2^1250462-1 is not prime. Res64: 9C058BD5558664F8 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:28:58] 987*2^1250462-1 is not prime. Res64: F978EF9640A0F9B6 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:28:58] 735*2^1250463-1 is not prime. Res64: AC04DD50F523355F Time : 0.0 sec. user=mdettweiler [2013-08-11 19:32:48] 781*2^1250463-1 is not prime. Res64: 216E98276FD6EA29 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:32:48] 919*2^1250463-1 is not prime. Res64: 598B8E7E46F93EDC Time : 0.0 sec. user=mdettweiler [2013-08-11 19:37:25] 921*2^1250463-1 is not prime. Res64: D24326D53FAE6F8C Time : 0.0 sec. user=mdettweiler [2013-08-11 19:37:25] 963*2^1250463-1 is not prime. Res64: 97F8FE5A19266168 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:47:10] 759*2^1250464-1 is not prime. Res64: DA878A302E098681 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:47:11] 875*2^1250464-1 is not prime. Res64: 6BA459DE898131E3 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:50:39] 601*2^1250465-1 is not prime. Res64: 4D61E486A576C70D Time : 0.0 sec. user=mdettweiler [2013-08-11 19:50:39] 777*2^1250465-1 is not prime. Res64: 8BCAF8F87E49F441 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:55:00] 831*2^1250465-1 is not prime. Res64: 719B691E5B9F9C24 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:55:01] 925*2^1250465-1 is not prime. Res64: D1768E3FD07FD968 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:58:17] 937*2^1250465-1 is not prime. Res64: DA4E62D73BD44254 Time : 0.0 sec. user=mdettweiler [2013-08-11 19:58:17] 627*2^1250466-1 is not prime. Res64: E44BE5C1BC0D281E Time : 0.0 sec. user=mdettweiler [2013-08-11 20:06:55] 647*2^1250466-1 is not prime. Res64: 5F98FB3C24E1E29E Time : 0.0 sec. user=mdettweiler [2013-08-11 20:06:56] 683*2^1250466-1 is not prime. Res64: B62A4FED220F76A4 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:10:16] 851*2^1250466-1 is not prime. Res64: F1691AC67AFE75DA Time : 0.0 sec. user=mdettweiler [2013-08-11 20:10:17] 873*2^1250466-1 is not prime. Res64: C3105EB23AC7B4CF Time : 0.0 sec. user=mdettweiler [2013-08-11 20:15:40] 875*2^1250466-1 is not prime. Res64: B89C53E492EF9AA4 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:15:40] 993*2^1250466-1 is not prime. Res64: D50B84BE0929FC96 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:18:03] 639*2^1250467-1 is not prime. Res64: BEA0325EEE6AC38C Time : 0.0 sec. user=mdettweiler [2013-08-11 20:18:04] 705*2^1250467-1 is not prime. Res64: 9F7A0DD60863B01C Time : 0.0 sec. user=mdettweiler [2013-08-11 20:26:33] 741*2^1250467-1 is not prime. Res64: D49BD3BE4E0A5582 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:26:33] 793*2^1250467-1 is not prime. Res64: B6AE909320D34626 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:29:52] 819*2^1250467-1 is not prime. Res64: 963863C228231680 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:29:52] 871*2^1250467-1 is not prime. Res64: 1EE5DDFA97673286 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:36:12] 891*2^1250467-1 is not prime. Res64: 60146BDC65E97899 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:36:13] 915*2^1250467-1 is not prime. Res64: 5693BD2E94561499 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:38:37] 985*2^1250467-1 is not prime. Res64: EDCFCA96EB2A2840 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:38:38] 633*2^1250468-1 is not prime. Res64: 809A69591AC1783F Time : 0.0 sec. user=mdettweiler [2013-08-11 20:46:08] 687*2^1250468-1 is not prime. Res64: 2F0588B0352BC4C9 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:46:08] 749*2^1250468-1 is not prime. Res64: 6AB4D47D244AE7EE Time : 0.0 sec. user=mdettweiler [2013-08-11 20:49:25] 813*2^1250468-1 is not prime. Res64: 201B4D61D36AB404 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:49:25] 825*2^1250468-1 is not prime. Res64: 859C23FAC365A7AF Time : 0.0 sec. user=mdettweiler [2013-08-11 20:55:52] 833*2^1250468-1 is not prime. Res64: 48FEC9866BFD2D99 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:55:52] 845*2^1250468-1 is not prime. Res64: 98F271B414D02701 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:58:07] 727*2^1250469-1 is not prime. Res64: 83614178B8FB6420 Time : 0.0 sec. user=mdettweiler [2013-08-11 20:58:08] 745*2^1250469-1 is not prime. Res64: D1A18F394EC931E2 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:05:36] 867*2^1250469-1 is not prime. Res64: 4CB44D9F18BA1044 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:05:37] 907*2^1250469-1 is not prime. Res64: 8B25CEE2D6EF673B Time : 0.0 sec. user=mdettweiler [2013-08-11 21:10:43] 955*2^1250469-1 is not prime. Res64: A3EFAE227FDAB8BB Time : 0.0 sec. user=mdettweiler [2013-08-11 21:10:45] 991*2^1250469-1 is not prime. Res64: DA66A32C0F096910 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:16:21] 997*2^1250469-1 is not prime. Res64: D279903553718C08 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:16:21] 645*2^1250470-1 is not prime. Res64: 30738F725A215006 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:17:33] 677*2^1250470-1 is not prime. Res64: 66444B1C3A95C77B Time : 0.0 sec. user=mdettweiler [2013-08-11 21:17:33] 687*2^1250470-1 is not prime. Res64: DCF69CC0950F6DF1 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:26:05] 867*2^1250470-1 is not prime. Res64: 80F202F3B1DBDE6A Time : 0.0 sec. user=mdettweiler [2013-08-11 21:26:05] 951*2^1250470-1 is not prime. Res64: FE7D59256F602FA9 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:31:15] 957*2^1250470-1 is not prime. Res64: 798304BE1E8B7896 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:31:16] 621*2^1250471-1 is not prime. Res64: 42870398AB1C8E9D Time : 0.0 sec. user=mdettweiler [2013-08-11 21:36:02] 703*2^1250471-1 is not prime. Res64: 938EABA1AA4FCFBD Time : 0.0 sec. user=mdettweiler [2013-08-11 21:36:03] 819*2^1250471-1 is not prime. Res64: 0B030C47CA439160 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:37:13] 823*2^1250471-1 is not prime. Res64: 6C25E8569DDB26CD Time : 0.0 sec. user=mdettweiler [2013-08-11 21:37:14] 843*2^1250471-1 is not prime. Res64: 9FE67B98184E9D7E Time : 0.0 sec. user=mdettweiler [2013-08-11 21:45:40] 885*2^1250471-1 is not prime. Res64: 96C2D0CADAE62139 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:45:41] 895*2^1250471-1 is not prime. Res64: 94B57A2F37F90004 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:52:44] 939*2^1250471-1 is not prime. Res64: 5CD59A7995AA1E24 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:52:45] 993*2^1250471-1 is not prime. Res64: 0FBBEE0311CDABBE Time : 0.0 sec. user=mdettweiler [2013-08-11 21:55:39] 737*2^1250472-1 is not prime. Res64: 70EC569448D612A9 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:55:40] 759*2^1250472-1 is not prime. Res64: 154DF6807A726305 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:57:45] 803*2^1250472-1 is not prime. Res64: 1F9B50DD4723A246 Time : 0.0 sec. user=mdettweiler [2013-08-11 21:57:46] 909*2^1250472-1 is not prime. Res64: 744DD13B817C0D49 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:05:22] 615*2^1250473-1 is not prime. Res64: 439A1DA7CD4E3A45 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:05:23] 685*2^1250473-1 is not prime. Res64: 29E5AB4EC5EF0C8D Time : 0.0 sec. user=mdettweiler [2013-08-11 22:12:22] 699*2^1250473-1 is not prime. Res64: 1CE7BD63FD035B7E Time : 0.0 sec. user=mdettweiler [2013-08-11 22:12:23] 801*2^1250473-1 is not prime. Res64: A02E3F9CD5EC675D Time : 0.0 sec. user=mdettweiler [2013-08-11 22:15:11] 897*2^1250473-1 is not prime. Res64: 5831328A9085BD8A Time : 0.0 sec. user=mdettweiler [2013-08-11 22:15:11] 665*2^1250474-1 is not prime. Res64: 64B5E29F47BE54FA Time : 0.0 sec. user=mdettweiler [2013-08-11 22:17:14] 743*2^1250474-1 is not prime. Res64: 7B73D8FF5F91727C Time : 0.0 sec. user=mdettweiler [2013-08-11 22:17:14] 767*2^1250474-1 is not prime. Res64: 74A8D6DEA5382BBF Time : 0.0 sec. user=mdettweiler [2013-08-11 22:25:02] 783*2^1250474-1 is not prime. Res64: 06E5F699EB319410 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:25:02] 797*2^1250474-1 is not prime. Res64: 2AF68A9AEE37531F Time : 0.0 sec. user=mdettweiler [2013-08-11 22:32:01] 837*2^1250474-1 is not prime. Res64: 57D37B63A15CA6B9 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:32:01] 857*2^1250474-1 is not prime. Res64: DFE99A7E6381094B Time : 0.0 sec. user=mdettweiler [2013-08-11 22:35:41] 927*2^1250474-1 is not prime. Res64: F9C78A08D6801905 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:35:41] 669*2^1250475-1 is not prime. Res64: 26AF81FCCE6624D8 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:36:55] 675*2^1250475-1 is not prime. Res64: 05E3EE11AC395D43 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:36:56] 795*2^1250475-1 is not prime. Res64: FB77E9CB4FBEC2DB Time : 0.0 sec. user=mdettweiler [2013-08-11 22:44:47] 895*2^1250475-1 is not prime. Res64: CA25AD90F974E3BA Time : 0.0 sec. user=mdettweiler [2013-08-11 22:44:47] 663*2^1250476-1 is not prime. Res64: 58A9F1BF33A2F8AA Time : 0.0 sec. user=mdettweiler [2013-08-11 22:51:37] 695*2^1250476-1 is not prime. Res64: 7139FC18C3B2EFF8 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:51:37] 717*2^1250476-1 is not prime. Res64: B00C2480A2840E83 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:55:28] 743*2^1250476-1 is not prime. Res64: 514BE901200D6994 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:55:28] 749*2^1250476-1 is not prime. Res64: 96592A8FABC647B5 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:56:39] 785*2^1250476-1 is not prime. Res64: 06A36DA6659F0D99 Time : 0.0 sec. user=mdettweiler [2013-08-11 22:56:39] 845*2^1250476-1 is not prime. Res64: FC24C5B8B9A55F7F Time : 0.0 sec. user=mdettweiler [2013-08-11 23:05:26] 999*2^1250476-1 is not prime. Res64: 398DD3D4698524DA Time : 0.0 sec. user=mdettweiler [2013-08-11 23:05:27] 697*2^1250477-1 is not prime. Res64: D364A6E7870446CB Time : 0.0 sec. user=mdettweiler [2013-08-11 23:12:18] 955*2^1250477-1 is not prime. Res64: 5FF64CAF986F3FB9 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:12:19] 641*2^1250478-1 is not prime. Res64: 5D90F063F9CB9376 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:16:28] 601*2^1250479-1 is not prime. Res64: 3E4F7A7CEC382B4B Time : 0.0 sec. user=mdettweiler [2013-08-11 23:16:28] 615*2^1250479-1 is not prime. Res64: 62E23A82C3C43DCD Time : 0.0 sec. user=mdettweiler [2013-08-11 23:17:08] 971*2^1250478-1 is not prime. Res64: 3D042C9B463CE2E2 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:17:08] 1001*2^1250478-1 is not prime. Res64: F690444869DA022C Time : 0.0 sec. user=mdettweiler [2013-08-11 23:25:17] 633*2^1250479-1 is not prime. Res64: 1B401C632AA94090 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:25:17] 693*2^1250479-1 is not prime. Res64: E00CD8D4E290DCE5 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:31:57] 729*2^1250479-1 is not prime. Res64: D2A940FC671CA258 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:31:57] 763*2^1250479-1 is not prime. Res64: CFC2122F4D3C6D14 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:36:55] 859*2^1250479-1 is not prime. Res64: 1F5902F79FA89C5B Time : 0.0 sec. user=mdettweiler [2013-08-11 23:36:56] 973*2^1250479-1 is not prime. Res64: C9BEF5AEE3F59D2A Time : 0.0 sec. user=mdettweiler [2013-08-11 23:37:33] 999*2^1250479-1 is not prime. Res64: B0D1FAF3249A0E0A Time : 0.0 sec. user=mdettweiler [2013-08-11 23:37:33] 615*2^1250480-1 is not prime. Res64: C961AD8A46DE4DA9 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:44:48] 629*2^1250480-1 is not prime. Res64: 3014E250067A0D0D Time : 0.0 sec. user=mdettweiler [2013-08-11 23:44:48] 659*2^1250480-1 is not prime. Res64: FF84E49DD71E4714 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:51:30] 663*2^1250480-1 is not prime. Res64: 491E95FCD8D500AF Time : 0.0 sec. user=mdettweiler [2013-08-11 23:51:30] 819*2^1250480-1 is not prime. Res64: 6360B2DEA55B2382 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:57:05] 741*2^1250481-1 is not prime. Res64: 1CF1A31E15A17B95 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:57:06] 889*2^1250481-1 is not prime. Res64: 39625859F86740BD Time : 0.0 sec. user=mdettweiler [2013-08-11 23:58:15] 915*2^1250480-1 is not prime. Res64: 8EEC707F7CDB4413 Time : 0.0 sec. user=mdettweiler [2013-08-11 23:58:16] 963*2^1250480-1 is not prime. Res64: 58EF97A8C19E27B3 Time : 0.0 sec.