user=mdettweiler [2015-09-24 00:04:44] 985*2^1410063-1 is not prime. Res64: 4B47833842005590 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:04:44] 695*2^1410064-1 is not prime. Res64: 97B3E8CE465788E4 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:04:45] 723*2^1410064-1 is not prime. Res64: 560730F9F2059B3F Time : 0.0 sec. user=mdettweiler [2015-09-24 00:04:46] 645*2^1410064-1 is not prime. Res64: 23968C36E948145E Time : 0.0 sec. user=mdettweiler [2015-09-24 00:04:47] 755*2^1410064-1 is not prime. Res64: CD7C80AF38D252BE Time : 0.0 sec. user=mdettweiler [2015-09-24 00:04:48] 849*2^1410064-1 is not prime. Res64: 54E22B033C0AB158 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:41] 887*2^1410064-1 is not prime. Res64: 19EC2273CCC423A5 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:41] 929*2^1410064-1 is not prime. Res64: 265D85626AC99E7C Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:42] 975*2^1410064-1 is not prime. Res64: 282245471097897E Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:43] 983*2^1410064-1 is not prime. Res64: 66FE3EBC8AA49796 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:43] 947*2^1410064-1 is not prime. Res64: 72B2B918E14D5929 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:22:43] 969*2^1410064-1 is not prime. Res64: 4C8B4907F7337349 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:06] 649*2^1410065-1 is not prime. Res64: 02D4371C49986CD4 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:06] 651*2^1410065-1 is not prime. Res64: 2B65CC44C40836B6 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:07] 937*2^1410065-1 is not prime. Res64: B4775386B796FEEB Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:07] 657*2^1410065-1 is not prime. Res64: 7A55F40CF770E75B Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:07] 633*2^1410066-1 is not prime. Res64: F37E8E6737214FD6 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:40:07] 831*2^1410065-1 is not prime. Res64: 646E0C693AD7B54C Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:31] 741*2^1410066-1 is not prime. Res64: 291555054787F869 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:31] 815*2^1410066-1 is not prime. Res64: 8C39765DF62BAA99 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:31] 769*2^1410067-1 is not prime. Res64: 8E310CA59C3B9D53 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:32] 833*2^1410066-1 is not prime. Res64: A243C2ECFFE5591E Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:32] 775*2^1410067-1 is not prime. Res64: 0BAFE3D881D61CC1 Time : 0.0 sec. user=mdettweiler [2015-09-24 00:57:32] 851*2^1410066-1 is not prime. Res64: D89DC952B4DD6BEB Time : 0.0 sec. user=mdettweiler [2015-09-24 01:14:56] 827*2^1410068-1 is not prime. Res64: DDF1687D1A8267F7 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:14:56] 895*2^1410067-1 is not prime. Res64: 0A1EF4EAD4B9E875 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:14:57] 951*2^1410067-1 is not prime. Res64: 0E32FA11162031DD Time : 0.0 sec. user=mdettweiler [2015-09-24 01:14:57] 893*2^1410068-1 is not prime. Res64: B303AA2E436E5C13 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:14:59] 635*2^1410068-1 is not prime. Res64: A037CEEC7CBA80D0 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:15:00] 669*2^1410068-1 is not prime. Res64: C3B6A9144B53833B Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:21] 709*2^1410069-1 is not prime. Res64: D4E021B30422EE62 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:22] 727*2^1410069-1 is not prime. Res64: 31FB7F969AD366C0 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:23] 657*2^1410069-1 is not prime. Res64: 2B23453CA7FA11BB Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:23] 681*2^1410069-1 is not prime. Res64: 58D3D207DB9E749B Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:24] 751*2^1410069-1 is not prime. Res64: 41AEA793E4F439DE Time : 0.0 sec. user=mdettweiler [2015-09-24 01:32:24] 759*2^1410069-1 is not prime. Res64: 1357C490E34AB746 Time : 0.0 sec. user=juhehe [2015-09-24 01:46:27] 999*2^1410068-1 is not prime. Res64: FAACC1CD627D6C11 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:51] 891*2^1410069-1 is not prime. Res64: 51A41BEA0BF0E5E0 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:51] 635*2^1410070-1 is not prime. Res64: A0958A30D7FA0960 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:52] 681*2^1410070-1 is not prime. Res64: 2822443F2322492F Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:52] 741*2^1410070-1 is not prime. Res64: 355C8D331B4D34A9 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:53] 761*2^1410070-1 is not prime. Res64: 3B5A994BA15EC372 Time : 0.0 sec. user=mdettweiler [2015-09-24 01:49:53] 777*2^1410070-1 is not prime. Res64: 9491BE669638CCE2 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:17] 801*2^1410070-1 is not prime. Res64: 05BE76BECA167102 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:18] 679*2^1410071-1 is not prime. Res64: AEBD6CF78B70F8C6 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:18] 933*2^1410070-1 is not prime. Res64: ECFC9E8ADE28DB0A Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:19] 833*2^1410070-1 is not prime. Res64: BF0E9EC576322501 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:20] 753*2^1410071-1 is not prime. Res64: 090360AA7FA24CE7 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:07:20] 603*2^1410071-1 is not prime. Res64: DA56056803AF5E88 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:24:56] 789*2^1410071-1 is not prime. Res64: F23D502BB21A33AD Time : 0.0 sec. user=mdettweiler [2015-09-24 02:24:57] 855*2^1410071-1 is not prime. Res64: D88FB0CB6B1FC5AD Time : 0.0 sec. user=mdettweiler [2015-09-24 02:24:58] 939*2^1410071-1 is not prime. Res64: 73E2D82CB0520785 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:24:58] 719*2^1410072-1 is not prime. Res64: CBB4AF8B00DC1366 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:25:00] 825*2^1410072-1 is not prime. Res64: 992E43745662A158 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:25:00] 843*2^1410072-1 is not prime. Res64: A5F714007AEE1DF9 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:22] 609*2^1410073-1 is not prime. Res64: 9F597094C3979E2D Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:22] 615*2^1410073-1 is not prime. Res64: 36390716A845D202 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:23] 925*2^1410073-1 is not prime. Res64: 498506879CD612E3 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:23] 981*2^1410073-1 is not prime. Res64: E5BC49CAB06D5106 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:26] 657*2^1410074-1 is not prime. Res64: 4D2CF86B4A681C28 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:42:27] 755*2^1410074-1 is not prime. Res64: 7719578DF6993632 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:48] 767*2^1410074-1 is not prime. Res64: 18EFE6E42FC58362 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:48] 873*2^1410074-1 is not prime. Res64: 1FF55189FC2171A3 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:48] 785*2^1410074-1 is not prime. Res64: 619916A42826D119 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:48] 935*2^1410074-1 is not prime. Res64: F83E6E1BE62DC15C Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:50] 941*2^1410074-1 is not prime. Res64: AC90CBA964424687 Time : 0.0 sec. user=mdettweiler [2015-09-24 02:59:51] 981*2^1410074-1 is not prime. Res64: D3CC4CC919E59B45 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:15] 663*2^1410075-1 is not prime. Res64: 302FD2C18EB970F3 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:16] 795*2^1410075-1 is not prime. Res64: 47E490015C92D46A Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:16] 801*2^1410075-1 is not prime. Res64: B8DD326C024FB302 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:18] 859*2^1410075-1 is not prime. Res64: 874A516F0B209488 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:19] 983*2^1410074-1 is not prime. Res64: 088149697DF5A292 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:17:19] 613*2^1410075-1 is not prime. Res64: AB5AD7AF5040AD89 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:55] 717*2^1410076-1 is not prime. Res64: 76A8182C5FFC80C2 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:55] 963*2^1410075-1 is not prime. Res64: 24739FA660564816 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:56] 735*2^1410076-1 is not prime. Res64: 213387DFEC07C883 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:57] 719*2^1410076-1 is not prime. Res64: BB9D701F7EED88CC Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:57] 615*2^1410076-1 is not prime. Res64: 5E5672CE9A212D0C Time : 0.0 sec. user=mdettweiler [2015-09-24 03:34:58] 783*2^1410076-1 is not prime. Res64: 9378B6BC5B1070EF Time : 0.0 sec. user=juhehe [2015-09-24 03:40:46] 895*2^1410075-1 is not prime. Res64: 170931FCE2CFB1AF Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:43] 899*2^1410076-1 is not prime. Res64: 8C2A26534433A5E5 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:44] 903*2^1410076-1 is not prime. Res64: 731B73F37A1CD087 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:46] 927*2^1410076-1 is not prime. Res64: CC345043FA7A2AE7 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:47] 975*2^1410076-1 is not prime. Res64: 5F342B286F8A5BAB Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:48] 983*2^1410076-1 is not prime. Res64: 0D31CB94483A3357 Time : 0.0 sec. user=mdettweiler [2015-09-24 03:52:50] 801*2^1410077-1 is not prime. Res64: 9354930F48DEA5AB Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:27] 847*2^1410077-1 is not prime. Res64: 1EE260EF9772661E Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:27] 949*2^1410077-1 is not prime. Res64: 91C5180DC9A78181 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:27] 879*2^1410077-1 is not prime. Res64: 0A97B343AE2CA48A Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:28] 605*2^1410078-1 is not prime. Res64: 4CE85A2338BDC089 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:28] 611*2^1410078-1 is not prime. Res64: D864CFFFC0FA6097 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:10:28] 621*2^1410078-1 is not prime. Res64: E861C70A39B1E895 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:53] 707*2^1410078-1 is not prime. Res64: E177E81B764FC6CE Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:54] 773*2^1410078-1 is not prime. Res64: 0A2ED7CEA42AC95B Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:55] 665*2^1410078-1 is not prime. Res64: 1C65785769B491B5 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:55] 801*2^1410078-1 is not prime. Res64: ABCDF4500E5921FD Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:55] 705*2^1410078-1 is not prime. Res64: 2BF0CB48684C6688 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:27:55] 971*2^1410078-1 is not prime. Res64: 6D4E183F83502503 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:18] 633*2^1410079-1 is not prime. Res64: 4C0D6F115D79C743 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:18] 681*2^1410079-1 is not prime. Res64: 257DE1743D5B6FDA Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:18] 663*2^1410079-1 is not prime. Res64: AA045721F60CC73F Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:18] 745*2^1410079-1 is not prime. Res64: 4D22527EDCAEA257 Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:20] 919*2^1410079-1 is not prime. Res64: 7FD3EB77DDCFBFEB Time : 0.0 sec. user=mdettweiler [2015-09-24 04:45:20] 979*2^1410079-1 is not prime. Res64: 336568FCEE88D342 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:43] 669*2^1410080-1 is not prime. Res64: 60C8BFCA2DE4598D Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:43] 985*2^1410079-1 is not prime. Res64: 9324EBD8017BB997 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:44] 785*2^1410080-1 is not prime. Res64: 3919303E01B87C27 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:45] 999*2^1410079-1 is not prime. Res64: 4FA1BA25ECA1D140 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:45] 773*2^1410080-1 is not prime. Res64: D7A5F9228175C1C0 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:02:46] 839*2^1410080-1 is not prime. Res64: 6865F764A18EAA18 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:12] 879*2^1410080-1 is not prime. Res64: 33F7012E2314EA94 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:12] 615*2^1410081-1 is not prime. Res64: A50C6542231DB4DF Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:12] 651*2^1410081-1 is not prime. Res64: DBF9FD8697B346A1 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:13] 921*2^1410081-1 is not prime. Res64: 0DD5916D82345C67 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:15] 621*2^1410082-1 is not prime. Res64: 5C3E8938C310373F Time : 0.0 sec. user=mdettweiler [2015-09-24 05:20:15] 677*2^1410082-1 is not prime. Res64: 536B2184000493C2 Time : 0.0 sec. user=juhehe [2015-09-24 05:36:31] 843*2^1410080-1 is not prime. Res64: EF36CF0C6C0D7FBA Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 695*2^1410082-1 is not prime. Res64: 74C7517F309CCF9B Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 675*2^1410083-1 is not prime. Res64: 1190F178A8D323BA Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 815*2^1410082-1 is not prime. Res64: 67253D8931C4D2E4 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 813*2^1410082-1 is not prime. Res64: 3495AC7FF9368128 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 745*2^1410083-1 is not prime. Res64: D27D3408D9AE7004 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:37:38] 891*2^1410082-1 is not prime. Res64: 44F62815FDF4217A Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:02] 959*2^1410084-1 is not prime. Res64: 74B6AF0AEDF8D327 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:02] 749*2^1410084-1 is not prime. Res64: 671DDEFF6627C054 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:02] 717*2^1410085-1 is not prime. Res64: 824EA4E3FCA5926E Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:02] 825*2^1410084-1 is not prime. Res64: E608521D83830454 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:03] 915*2^1410083-1 is not prime. Res64: 72D92E09E6DC2CC0 Time : 0.0 sec. user=mdettweiler [2015-09-24 05:55:03] 737*2^1410084-1 is not prime. Res64: F8C1775C95DA4D62 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:27] 897*2^1410085-1 is not prime. Res64: E920A2046C7D9303 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:27] 859*2^1410085-1 is not prime. Res64: BE2C5989150D7D4B Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:27] 757*2^1410085-1 is not prime. Res64: D208F95301D850F0 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:28] 987*2^1410085-1 is not prime. Res64: C09F310B7C6EA6EA Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:28] 861*2^1410085-1 is not prime. Res64: 548CBC29654764E3 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:12:28] 777*2^1410085-1 is not prime. Res64: 9513543E036D588E Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:54] 813*2^1410086-1 is not prime. Res64: 68C8C1CB1F341652 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:54] 677*2^1410086-1 is not prime. Res64: 2D41EE5E9B76111A Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:54] 827*2^1410086-1 is not prime. Res64: 38D1CAB836EBEC3D Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:55] 755*2^1410086-1 is not prime. Res64: 25F3F6D7DE7B03C7 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:55] 893*2^1410086-1 is not prime. Res64: DB994FFF2C5073BD Time : 0.0 sec. user=mdettweiler [2015-09-24 06:29:55] 921*2^1410086-1 is not prime. Res64: 368E9ACF9B95076F Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 981*2^1410086-1 is not prime. Res64: D09DE2526A02E41F Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 765*2^1410087-1 is not prime. Res64: 38641E526D5599EC Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 945*2^1410086-1 is not prime. Res64: D0C469570D32FB99 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 751*2^1410087-1 is not prime. Res64: 39FFA7F75561B8BC Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 825*2^1410087-1 is not prime. Res64: 443A301C70037866 Time : 0.0 sec. user=mdettweiler [2015-09-24 06:47:18] 957*2^1410086-1 is not prime. Res64: D8325839755F9406 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:43] 973*2^1410087-1 is not prime. Res64: 72858E0F5AD84800 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:43] 985*2^1410087-1 is not prime. Res64: 6F3650147CEA8F69 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:51] 843*2^1410087-1 is not prime. Res64: E94142F39A21F3D7 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:52] 639*2^1410088-1 is not prime. Res64: 0D890E8A3802BFFC Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:52] 979*2^1410087-1 is not prime. Res64: DECFC9616A7F330A Time : 0.0 sec. user=mdettweiler [2015-09-24 07:04:53] 931*2^1410087-1 is not prime. Res64: 663F693819AF8C9E Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:18] 933*2^1410088-1 is not prime. Res64: 35936480E18C9A31 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:19] 679*2^1410089-1 is not prime. Res64: 1176B1674B16AFDC Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:23] 705*2^1410089-1 is not prime. Res64: 433FDCFED096D158 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:24] 781*2^1410089-1 is not prime. Res64: CCE589B9F4B909EC Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:25] 697*2^1410089-1 is not prime. Res64: B73ED7313638B993 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:22:25] 939*2^1410089-1 is not prime. Res64: 0C111A4F731868AA Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:42] 955*2^1410089-1 is not prime. Res64: 3E560AA5CBB87A5A Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:43] 641*2^1410090-1 is not prime. Res64: 93A8CF8317CC4068 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:47] 723*2^1410090-1 is not prime. Res64: 232A493F260BC00D Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:48] 791*2^1410090-1 is not prime. Res64: 935735EB4E85FB4E Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:50] 843*2^1410090-1 is not prime. Res64: A2D41EC7776020C1 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:39:50] 861*2^1410090-1 is not prime. Res64: 65B1072C9DE26623 Time : 0.0 sec. user=juhehe [2015-09-24 07:40:22] 869*2^1410088-1 is not prime. Res64: 59D51FC94F26C361 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:07] 867*2^1410090-1 is not prime. Res64: BF8F88027E7F93AE Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:07] 933*2^1410090-1 is not prime. Res64: 13A6EB062E395A85 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:10] 963*2^1410090-1 is not prime. Res64: 38D028F6E629AF39 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:11] 741*2^1410091-1 is not prime. Res64: B3D78DFDA8C73A42 Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:13] 841*2^1410091-1 is not prime. Res64: DC7C85584307846D Time : 0.0 sec. user=mdettweiler [2015-09-24 07:57:14] 973*2^1410091-1 is not prime. Res64: 556AA4FC38007BCD Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:31] 975*2^1410091-1 is not prime. Res64: 0B3442DAC267058C Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:32] 623*2^1410092-1 is not prime. Res64: 278349F30719B7F2 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:39] 935*2^1410092-1 is not prime. Res64: 1C6D29635DFB827F Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:39] 977*2^1410092-1 is not prime. Res64: 891576DE41C7BD87 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:42] 753*2^1410092-1 is not prime. Res64: 9ED867C19D702D27 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:14:42] 803*2^1410092-1 is not prime. Res64: 529E0BDFBF3DB103 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:31:55] 983*2^1410092-1 is not prime. Res64: 1DEA58EE6DDEDB4A Time : 0.0 sec. user=mdettweiler [2015-09-24 08:31:55] 609*2^1410093-1 is not prime. Res64: EBD3241927E38C0A Time : 0.0 sec. user=mdettweiler [2015-09-24 08:32:02] 625*2^1410093-1 is not prime. Res64: BAEBFAACDD92927F Time : 0.0 sec. user=mdettweiler [2015-09-24 08:32:02] 669*2^1410093-1 is not prime. Res64: 86736D7379AE21EC Time : 0.0 sec. user=mdettweiler [2015-09-24 08:32:05] 805*2^1410093-1 is not prime. Res64: 3B2CF5702B0C63F7 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:32:06] 867*2^1410093-1 is not prime. Res64: D603FABE3D35ED75 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:23] 961*2^1410093-1 is not prime. Res64: 8EF5B4B6F17897AB Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:23] 707*2^1410094-1 is not prime. Res64: 56B2B597D0AD6BED Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:27] 723*2^1410094-1 is not prime. Res64: 7AD95651AC2F491D Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:28] 785*2^1410094-1 is not prime. Res64: 9B5538425E2C9F31 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:30] 915*2^1410094-1 is not prime. Res64: E407E5054BD076E4 Time : 0.0 sec. user=mdettweiler [2015-09-24 08:49:30] 951*2^1410094-1 is not prime. Res64: 03976CA8B8B38818 Time : 0.0 sec. user=juhehe [2015-09-24 08:56:07] 895*2^1410093-1 is not prime. Res64: 175971D5AFFA5DF7 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:06:47] 975*2^1410094-1 is not prime. Res64: 89CBE12459EA6C15 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:06:48] 661*2^1410095-1 is not prime. Res64: 402A8780AEE11D19 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:06:51] 663*2^1410095-1 is not prime. Res64: 609029ED00D9D230 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:06:52] 861*2^1410095-1 is not prime. Res64: 3FF221E62047F9D9 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:07:01] 669*2^1410096-1 is not prime. Res64: 7616472D1A9C7BA6 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:07:02] 683*2^1410096-1 is not prime. Res64: 24D4217E9A95A780 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:19] 689*2^1410096-1 is not prime. Res64: 639A93058AEF3AD5 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:20] 803*2^1410096-1 is not prime. Res64: 460864C6BC5E75F5 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:21] 899*2^1410096-1 is not prime. Res64: 5DD722D9FDE667C9 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:21] 903*2^1410096-1 is not prime. Res64: 67A9839D5CEDE9E7 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:27] 625*2^1410097-1 is not prime. Res64: 60295D5AD50ACBD5 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:24:28] 747*2^1410097-1 is not prime. Res64: FF7ED3ABBED0E6D2 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:45] 759*2^1410097-1 is not prime. Res64: 8BD9359EE789F4D9 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:45] 771*2^1410097-1 is not prime. Res64: 0A47A3571159BDED Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:46] 829*2^1410097-1 is not prime. Res64: A64C93A0D3EAFAE2 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:46] 937*2^1410097-1 is not prime. Res64: A402D25C1ACD1B05 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:56] 955*2^1410097-1 is not prime. Res64: 6548506923563EB1 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:41:56] 979*2^1410097-1 is not prime. Res64: 61CFD7ACA95335A9 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:10] 755*2^1410098-1 is not prime. Res64: 3A1D80F8243352E4 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:10] 875*2^1410098-1 is not prime. Res64: 0B1806B3DFDBC3CA Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:11] 603*2^1410098-1 is not prime. Res64: 974DADE09A5B0A34 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:11] 677*2^1410098-1 is not prime. Res64: 855B33FA9B2F5F1C Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:21] 915*2^1410098-1 is not prime. Res64: 981888BA140B8329 Time : 0.0 sec. user=mdettweiler [2015-09-24 09:59:21] 1001*2^1410098-1 is not prime. Res64: B079C7B806C2F743 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:34] 663*2^1410099-1 is not prime. Res64: 09FA7730C4FE9A8F Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:34] 703*2^1410099-1 is not prime. Res64: 8992670EAA039504 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:34] 789*2^1410099-1 is not prime. Res64: 881E037484394228 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:35] 853*2^1410099-1 is not prime. Res64: 0E9CF78E20010F41 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:46] 885*2^1410099-1 is not prime. Res64: 83FD9B5CEAF6E7A9 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:16:46] 675*2^1410100-1 is not prime. Res64: 887B3DB023F2B3D2 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:33:59] 819*2^1410100-1 is not prime. Res64: 68B2BCD4623A9C15 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:33:59] 827*2^1410100-1 is not prime. Res64: AA3DEF334D21C94C Time : 0.0 sec. user=mdettweiler [2015-09-24 10:34:00] 843*2^1410100-1 is not prime. Res64: EDB38352233049C2 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:34:00] 873*2^1410100-1 is not prime. Res64: F3D73D2398ED4E50 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:34:10] 975*2^1410100-1 is not prime. Res64: 90C8F079E947D862 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:34:11] 619*2^1410101-1 is not prime. Res64: BD44DA4A15DEDFB9 Time : 0.0 sec. user=juhehe [2015-09-24 10:50:59] 719*2^1410100-1 is not prime. Res64: D4607B14FCF98219 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:24] 741*2^1410101-1 is not prime. Res64: 33AF06843CED6CC8 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:25] 855*2^1410101-1 is not prime. Res64: F6C51D6F5CB62636 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:25] 867*2^1410101-1 is not prime. Res64: EB5DD030ACEE0616 Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:25] 871*2^1410101-1 is not prime. Res64: A51C2AE24BA43DDC Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:34] 889*2^1410101-1 is not prime. Res64: DBE66947ABA536DD Time : 0.0 sec. user=mdettweiler [2015-09-24 10:51:35] 907*2^1410101-1 is not prime. Res64: C382D6FEBBDA31DF Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:50] 981*2^1410101-1 is not prime. Res64: 09E2B7F041271C80 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:50] 717*2^1410102-1 is not prime. Res64: 2A485E5BBAB9EB65 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:51] 711*2^1410102-1 is not prime. Res64: 225B62E32FA594D2 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:51] 755*2^1410102-1 is not prime. Res64: E84769806AE0E2AA Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:57] 807*2^1410102-1 is not prime. Res64: 2EA0772070D5471E Time : 0.0 sec. user=mdettweiler [2015-09-24 11:08:58] 885*2^1410102-1 is not prime. Res64: DAC1074DA5D77424 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:24] 961*2^1410103-1 is not prime. Res64: A008100C9AAFB2B6 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:24] 831*2^1410103-1 is not prime. Res64: 403629060C38132B Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:24] 615*2^1410104-1 is not prime. Res64: 4C4CA4BC4DD1761C Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:24] 871*2^1410103-1 is not prime. Res64: 9BE53B768C6CEA11 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:25] 615*2^1410103-1 is not prime. Res64: 2124FC532222DE25 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:26:25] 703*2^1410103-1 is not prime. Res64: F3DFACFBB5D853AB Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:48] 645*2^1410104-1 is not prime. Res64: D826FBE115CFA231 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:48] 725*2^1410104-1 is not prime. Res64: 58C366A9B93670CE Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:48] 663*2^1410104-1 is not prime. Res64: 5FDD53642EE361A5 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:48] 789*2^1410104-1 is not prime. Res64: 30258383B4618CB8 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:49] 795*2^1410104-1 is not prime. Res64: C0CAD082C365D2B3 Time : 0.0 sec. user=mdettweiler [2015-09-24 11:43:50] 607*2^1410105-1 is not prime. Res64: E00F210E6CE011A5 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:15] 717*2^1410105-1 is not prime. Res64: 6F6D309832333211 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:17] 895*2^1410105-1 is not prime. Res64: E8A3BDF51A3B79C3 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:17] 781*2^1410105-1 is not prime. Res64: 25F0781825A697FE Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:17] 789*2^1410105-1 is not prime. Res64: 1C5156BEB3F3297B Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:18] 951*2^1410105-1 is not prime. Res64: 64E9D6C75290E2C1 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:01:19] 885*2^1410105-1 is not prime. Res64: C0C1A060C89443C0 Time : 0.0 sec. user=juhehe [2015-09-24 12:07:46] 705*2^1410105-1 is not prime. Res64: D2E9B3E507776E1C Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:54] 999*2^1410105-1 is not prime. Res64: 3745435B814560AD Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:55] 603*2^1410106-1 is not prime. Res64: EBB43D3FAB9229F8 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:55] 695*2^1410106-1 is not prime. Res64: 59C9925E8F6F6F07 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:55] 833*2^1410106-1 is not prime. Res64: 893C35F6D298E02F Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:57] 905*2^1410106-1 is not prime. Res64: 167EE8CA7DFBDF7E Time : 0.0 sec. user=mdettweiler [2015-09-24 12:18:57] 941*2^1410106-1 is not prime. Res64: 230CC54F5E08712A Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:20] 735*2^1410107-1 is not prime. Res64: 1C57385A65FDAE0A Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:20] 643*2^1410107-1 is not prime. Res64: 2F5BB28938D1471A Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:21] 675*2^1410107-1 is not prime. Res64: 5C6C182DCADA3AE5 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:21] 805*2^1410107-1 is not prime. Res64: A08AB290950C1E0E Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:21] 645*2^1410107-1 is not prime. Res64: 7AB222CB059D874D Time : 0.0 sec. user=mdettweiler [2015-09-24 12:36:21] 705*2^1410107-1 is not prime. Res64: A008696C0B2E342B Time : 0.0 sec. user=juhehe [2015-09-24 12:44:34] 947*2^1410106-1 is not prime. Res64: BC1109E636072E58 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:45] 841*2^1410107-1 is not prime. Res64: D3BF4428A6F8124C Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:46] 939*2^1410107-1 is not prime. Res64: 5A212092ED594E79 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:46] 945*2^1410107-1 is not prime. Res64: 3E1A9C51BF50F88D Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:46] 605*2^1410108-1 is not prime. Res64: 233077D2D3F8FD32 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:47] 777*2^1410108-1 is not prime. Res64: D74CC9BD92DD02E2 Time : 0.0 sec. user=mdettweiler [2015-09-24 12:53:47] 993*2^1410108-1 is not prime. Res64: 9303FC62CB87B62F Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:10] 609*2^1410109-1 is not prime. Res64: 61CD15A174D1ABDE Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:10] 747*2^1410109-1 is not prime. Res64: 4308F30543291D8B Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:13] 817*2^1410109-1 is not prime. Res64: 3F6746C2108FF33B Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:15] 801*2^1410109-1 is not prime. Res64: B3D9CB6861C4AB69 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:17] 745*2^1410109-1 is not prime. Res64: 80B63275B3FD3483 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:11:18] 931*2^1410109-1 is not prime. Res64: C973B55A56B91E92 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:02] 945*2^1410109-1 is not prime. Res64: DF4E371539512892 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:02] 985*2^1410109-1 is not prime. Res64: 2B32BE995D6844B6 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:02] 955*2^1410109-1 is not prime. Res64: 56BA663C5F9AEB24 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:02] 641*2^1410110-1 is not prime. Res64: E23982F31425AEEC Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:04] 767*2^1410110-1 is not prime. Res64: 0497F95F6566986A Time : 0.0 sec. user=mdettweiler [2015-09-24 13:29:05] 851*2^1410110-1 is not prime. Res64: 246BC6A1EC8C8DF9 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:26] 897*2^1410110-1 is not prime. Res64: 7C9BEFDB9DD29EAF Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:26] 935*2^1410110-1 is not prime. Res64: 7201ACED0BDB03AA Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:26] 917*2^1410110-1 is not prime. Res64: 6605B3D50F12A937 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:26] 601*2^1410111-1 is not prime. Res64: DD1E3EE0355D64EC Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:27] 739*2^1410111-1 is not prime. Res64: 4BAB453DAA09D0D8 Time : 0.0 sec. user=mdettweiler [2015-09-24 13:46:27] 861*2^1410111-1 is not prime. Res64: 3CD0BB2F323E0A50 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:50] 901*2^1410111-1 is not prime. Res64: 8D94C91752120F59 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:51] 933*2^1410111-1 is not prime. Res64: 24AC0F46D4CE3A15 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:52] 609*2^1410112-1 is not prime. Res64: C890ADC36350AA6C Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:53] 615*2^1410112-1 is not prime. Res64: AEAC0A8DA5312F45 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:54] 955*2^1410111-1 is not prime. Res64: 4686171BD993BD4C Time : 0.0 sec. user=mdettweiler [2015-09-24 14:03:55] 999*2^1410111-1 is not prime. Res64: 7C4542D384D601E6 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:17] 825*2^1410112-1 is not prime. Res64: 5584243E32EE16D1 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:18] 855*2^1410112-1 is not prime. Res64: F97C80A2CB43DCA4 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:19] 873*2^1410112-1 is not prime. Res64: BFFDEEDFD445CF84 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:19] 917*2^1410112-1 is not prime. Res64: F163D66D50B8F5EF Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:19] 903*2^1410112-1 is not prime. Res64: 58FB2A9293A3D92B Time : 0.0 sec. user=mdettweiler [2015-09-24 14:21:19] 999*2^1410112-1 is not prime. Res64: 3F48E2566B9593EB Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:42] 657*2^1410113-1 is not prime. Res64: 7E581877E5A808C6 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:42] 837*2^1410113-1 is not prime. Res64: D5A2840A309F7799 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:43] 871*2^1410113-1 is not prime. Res64: A44C004F228E5AF9 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:43] 741*2^1410114-1 is not prime. Res64: B107BFE2338DD1E6 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:43] 825*2^1410114-1 is not prime. Res64: CE66939122535372 Time : 0.0 sec. user=mdettweiler [2015-09-24 14:38:43] 611*2^1410114-1 is not prime. Res64: 935D11D30A6BFBED Time : 0.0 sec. user=juhehe [2015-09-24 14:40:32] 639*2^1410112-1 is not prime. Res64: 918A5E11BFB6B8BE Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:23] 873*2^1410114-1 is not prime. Res64: 360E7F460AB673FC Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:24] 921*2^1410114-1 is not prime. Res64: B51F3BA7174365DD Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:25] 923*2^1410114-1 is not prime. Res64: 3E55FC2A2B950ADC Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:25] 927*2^1410114-1 is not prime. Res64: 4D39CE26871447EC Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:28] 951*2^1410114-1 is not prime. Res64: E3DF95D3539FE8AE Time : 0.0 sec. user=mdettweiler [2015-09-24 14:56:28] 633*2^1410115-1 is not prime. Res64: D1329EB3C7C22FFE Time : 0.0 sec. user=mdettweiler [2015-09-24 15:13:58] 649*2^1410115-1 is not prime. Res64: 2DA9AD387DA8D2FF Time : 0.0 sec. user=mdettweiler [2015-09-24 15:13:59] 673*2^1410115-1 is not prime. Res64: 9D2C6E7CA28BE4BF Time : 0.0 sec. user=mdettweiler [2015-09-24 15:13:59] 679*2^1410115-1 is not prime. Res64: 263088BE56EDFCFB Time : 0.0 sec. user=mdettweiler [2015-09-24 15:13:59] 723*2^1410115-1 is not prime. Res64: 709232E8792F8B0B Time : 0.0 sec. user=mdettweiler [2015-09-24 15:14:01] 915*2^1410115-1 is not prime. Res64: C141E4709C03BFAF Time : 0.0 sec. user=mdettweiler [2015-09-24 15:14:02] 939*2^1410115-1 is not prime. Res64: B9B6C3E0DBB38793 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:13] 951*2^1410115-1 is not prime. Res64: B252D3D6FB36E16A Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:14] 803*2^1410116-1 is not prime. Res64: 7A5EE9FE9CA80C2A Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:15] 843*2^1410116-1 is not prime. Res64: 03EE1492D59E441C Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:15] 897*2^1410116-1 is not prime. Res64: 900AA6D298EA6385 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:15] 879*2^1410116-1 is not prime. Res64: 365C703343D3AF28 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:32:15] 927*2^1410116-1 is not prime. Res64: 4A9BEE6EF4731419 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:44] 991*2^1410117-1 is not prime. Res64: 9107D583C1B63519 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:44] 765*2^1410117-1 is not prime. Res64: FD15A7ADB2A8047A Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:44] 813*2^1410118-1 is not prime. Res64: BB45B198BBE8840F Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:44] 927*2^1410117-1 is not prime. Res64: 0D889CB3E79A249B Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:46] 881*2^1410118-1 is not prime. Res64: A5DA4B897A3A11E8 Time : 0.0 sec. user=mdettweiler [2015-09-24 15:49:46] 891*2^1410118-1 is not prime. Res64: C1F3B38ADC81977C Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:15] 829*2^1410119-1 is not prime. Res64: 1434D9FC0450D379 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:15] 883*2^1410119-1 is not prime. Res64: 23269C7E5022491E Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:16] 951*2^1410118-1 is not prime. Res64: D2678DAFF018F1BC Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:16] 861*2^1410119-1 is not prime. Res64: 2ACE9DE3EE4C24EB Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:16] 889*2^1410119-1 is not prime. Res64: B30EF5B096B4C389 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:07:16] 661*2^1410119-1 is not prime. Res64: E427DCB4BF97AE90 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:44] 983*2^1410120-1 is not prime. Res64: AC81D296AE59A965 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:44] 795*2^1410120-1 is not prime. Res64: DD4EDA93528EF680 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:44] 609*2^1410121-1 is not prime. Res64: 8AE45962128AE805 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:44] 803*2^1410120-1 is not prime. Res64: BD1D381A181B637E Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:44] 955*2^1410119-1 is not prime. Res64: CA0FAC3E661EFA65 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:25:45] 993*2^1410119-1 is not prime. Res64: 8F72DE553BE40E5B Time : 0.0 sec. user=juhehe [2015-09-24 16:36:02] 921*2^1410119-1 is not prime. Res64: 68219BDEC717E62F Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:09] 835*2^1410121-1 is not prime. Res64: 2BCFF1664CDDEA03 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:09] 639*2^1410121-1 is not prime. Res64: 69D6391E2DBD88E1 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:10] 895*2^1410121-1 is not prime. Res64: 65E9199DA0A894D6 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:10] 651*2^1410121-1 is not prime. Res64: 153877FBBFB1A766 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:10] 691*2^1410121-1 is not prime. Res64: C0F87A2AD72D65A5 Time : 0.0 sec. user=mdettweiler [2015-09-24 16:43:10] 811*2^1410121-1 is not prime. Res64: A7A8F01D0356D8CF Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:34] 967*2^1410121-1 is not prime. Res64: E5AFC41AD0B3AA2B Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:35] 975*2^1410121-1 is not prime. Res64: D17467C4DAEE5CBB Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:36] 923*2^1410122-1 is not prime. Res64: 629B208C975B2A79 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:36] 935*2^1410122-1 is not prime. Res64: 77A7025CF8E3AD83 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:38] 771*2^1410122-1 is not prime. Res64: E6981F15AEBF2862 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:00:38] 833*2^1410122-1 is not prime. Res64: 7F41257402E2080D Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:01] 957*2^1410122-1 is not prime. Res64: B1335C99410BDA56 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:01] 987*2^1410122-1 is not prime. Res64: 72DF9B51194415E0 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:01] 983*2^1410122-1 is not prime. Res64: 166F67D370D95EFA Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:01] 615*2^1410123-1 is not prime. Res64: 50765BCFD732019B Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:03] 793*2^1410123-1 is not prime. Res64: 24AC588B9C746327 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:18:04] 873*2^1410123-1 is not prime. Res64: 7449195753F857E6 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:27] 719*2^1410124-1 is not prime. Res64: 7AE0AD5BE84BB7FA Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:28] 869*2^1410124-1 is not prime. Res64: 3AACC2B16520EDED Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:30] 887*2^1410124-1 is not prime. Res64: C73B480CD1EA6EED Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:31] 897*2^1410124-1 is not prime. Res64: CC39D5D3AB377972 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:32] 963*2^1410123-1 is not prime. Res64: 8936808EA6D0882F Time : 0.0 sec. user=mdettweiler [2015-09-24 17:35:33] 693*2^1410124-1 is not prime. Res64: 4A9B5B30421B9040 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:52:56] 929*2^1410124-1 is not prime. Res64: D9A10417C3CC6CB8 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:52:56] 735*2^1410125-1 is not prime. Res64: D63B53B8CD133304 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:52:56] 721*2^1410125-1 is not prime. Res64: 9E7E37D065A62719 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:52:57] 757*2^1410125-1 is not prime. Res64: 0C194A389F16EC36 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:53:02] 847*2^1410125-1 is not prime. Res64: A2383F7B2BC5BBA9 Time : 0.0 sec. user=mdettweiler [2015-09-24 17:53:03] 939*2^1410125-1 is not prime. Res64: C422A51D441C4B5C Time : 0.0 sec. user=juhehe [2015-09-24 17:59:40] 905*2^1410124-1 is not prime. Res64: 3AD42E543FB87B51 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:21] 861*2^1410126-1 is not prime. Res64: 6893260B032D302A Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:22] 683*2^1410126-1 is not prime. Res64: D594DB2828A05738 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:22] 673*2^1410127-1 is not prime. Res64: 6A3FB243AB33FCC8 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:22] 851*2^1410126-1 is not prime. Res64: 8E0D78D15B80DF67 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:27] 681*2^1410127-1 is not prime. Res64: 5BB49C226AD9D06A Time : 0.0 sec. user=mdettweiler [2015-09-24 18:10:28] 705*2^1410127-1 is not prime. Res64: FD4891EC6E7DB063 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:48] 819*2^1410127-1 is not prime. Res64: 89EA223BB5E4CF3D Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:49] 729*2^1410127-1 is not prime. Res64: 2057E9FCA658F63E Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:49] 843*2^1410127-1 is not prime. Res64: D62FC1653AA15F5E Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:49] 741*2^1410127-1 is not prime. Res64: 4B97F3C044541F1B Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:52] 993*2^1410127-1 is not prime. Res64: E5319AD3075A6653 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:27:52] 623*2^1410128-1 is not prime. Res64: E64765DBBFE4511B Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:13] 819*2^1410128-1 is not prime. Res64: 874704E237DA7C09 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:14] 825*2^1410128-1 is not prime. Res64: EEF1E5698C307BC4 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:14] 665*2^1410128-1 is not prime. Res64: 915DC302293AB288 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:15] 683*2^1410128-1 is not prime. Res64: 3F4F6FAD91BBC2C7 Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:16] 843*2^1410128-1 is not prime. Res64: 0F77909E2B4A93EA Time : 0.0 sec. user=mdettweiler [2015-09-24 18:45:16] 867*2^1410128-1 is not prime. Res64: A87911DF0D3068EC Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:40] 969*2^1410128-1 is not prime. Res64: DF68D38F32DA38FF Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:40] 831*2^1410129-1 is not prime. Res64: ACFF12DAE0DCA64F Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:43] 685*2^1410129-1 is not prime. Res64: 185B0891348BD6E2 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:45] 717*2^1410130-1 is not prime. Res64: 7FE10252D97BC8C3 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:45] 701*2^1410130-1 is not prime. Res64: 58AAE002EA4BCFDB Time : 0.0 sec. user=mdettweiler [2015-09-24 19:02:48] 747*2^1410130-1 is not prime. Res64: B73939EA41AD3F7C Time : 0.0 sec. user=mdettweiler [2015-09-24 19:20:55] 833*2^1410130-1 is not prime. Res64: 4CFA7E50A2B9D921 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:20:55] 873*2^1410130-1 is not prime. Res64: DE55E96E485D51C5 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:20:58] 1001*2^1410130-1 is not prime. Res64: 0140A0F03EB13702 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:20:58] 693*2^1410131-1 is not prime. Res64: 06B9309CA499EAA5 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:21:00] 703*2^1410131-1 is not prime. Res64: 707A041329BF2A30 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:21:01] 879*2^1410131-1 is not prime. Res64: 0A03CA2A48BC7AF5 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:20] 737*2^1410132-1 is not prime. Res64: 674CE5BDBDD6DF5E Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:21] 753*2^1410132-1 is not prime. Res64: 360B37AA209BFAD4 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:23] 687*2^1410133-1 is not prime. Res64: 8E7666D9A9AEFD7D Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:24] 721*2^1410133-1 is not prime. Res64: 045541BB4AE1A4FB Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:26] 747*2^1410133-1 is not prime. Res64: 16B4799CBDFC992D Time : 0.0 sec. user=mdettweiler [2015-09-24 19:38:26] 751*2^1410133-1 is not prime. Res64: 64A719AB22EC4F2A Time : 0.0 sec. user=juhehe [2015-09-24 19:54:51] 895*2^1410131-1 is not prime. Res64: 20F2CE0111BD4A32 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:45] 789*2^1410133-1 is not prime. Res64: 6EA10FF0EA5BF4FF Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:46] 801*2^1410133-1 is not prime. Res64: 55BB4AF9BB1B8CC1 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:47] 847*2^1410133-1 is not prime. Res64: 2A6F06131D3BA7B8 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:48] 915*2^1410133-1 is not prime. Res64: 36F38EA6AB8D38B7 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:50] 791*2^1410134-1 is not prime. Res64: 8EC336BDA3116086 Time : 0.0 sec. user=mdettweiler [2015-09-24 19:55:51] 827*2^1410134-1 is not prime. Res64: C1119BC8D201FA5D Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:14] 917*2^1410134-1 is not prime. Res64: DE61B5A81028415F Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:14] 1001*2^1410134-1 is not prime. Res64: 3D0F69D349E44084 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:15] 649*2^1410135-1 is not prime. Res64: 471C13E7501DEA36 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:16] 651*2^1410135-1 is not prime. Res64: C4B568E9530B16F9 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:17] 861*2^1410134-1 is not prime. Res64: A58CDAA7BC950CAC Time : 0.0 sec. user=mdettweiler [2015-09-24 20:13:17] 887*2^1410134-1 is not prime. Res64: 99EB161384146011 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:39] 709*2^1410135-1 is not prime. Res64: E0917D13EE86C07A Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:39] 783*2^1410135-1 is not prime. Res64: 9B1848E55A53CBC0 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:40] 873*2^1410135-1 is not prime. Res64: A383B63EA0807F1F Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:41] 885*2^1410135-1 is not prime. Res64: 1B0F2202F248E985 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:41] 943*2^1410135-1 is not prime. Res64: 9A056D230191D08C Time : 0.0 sec. user=mdettweiler [2015-09-24 20:30:41] 985*2^1410135-1 is not prime. Res64: 688636218901C212 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:04] 645*2^1410136-1 is not prime. Res64: 0DB7F212A6B2D1A9 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:04] 677*2^1410136-1 is not prime. Res64: 62F579B78C6D514C Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:05] 717*2^1410136-1 is not prime. Res64: FA277690C2A20DDB Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:05] 869*2^1410136-1 is not prime. Res64: 41DA3FCCEC99ABE5 Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:05] 873*2^1410136-1 is not prime. Res64: 4E81F51333D7F8DB Time : 0.0 sec. user=mdettweiler [2015-09-24 20:48:06] 917*2^1410136-1 is not prime. Res64: 23AB53B636F50612 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:44] 933*2^1410136-1 is not prime. Res64: 4EA1452A9CCA2687 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:45] 759*2^1410137-1 is not prime. Res64: 5BA612EE60E64F00 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:47] 889*2^1410137-1 is not prime. Res64: AB20B20299B6CBD4 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:47] 967*2^1410137-1 is not prime. Res64: 364CE52B66EAA309 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:51] 677*2^1410138-1 is not prime. Res64: A45B20A646E2BFF8 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:05:52] 711*2^1410138-1 is not prime. Res64: DA30AB5365C800FA Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:13] 755*2^1410138-1 is not prime. Res64: A7564E6C4DF87001 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:13] 803*2^1410138-1 is not prime. Res64: 22F0EBC02EC0C795 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:16] 891*2^1410138-1 is not prime. Res64: 0E70138D7322BB08 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:17] 945*2^1410138-1 is not prime. Res64: B85015509F2A2963 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:17] 615*2^1410139-1 is not prime. Res64: 6A66888E91D81457 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:23:18] 745*2^1410139-1 is not prime. Res64: 8F18DF1455A4A389 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:37] 769*2^1410139-1 is not prime. Res64: F4CF34E574F73279 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:37] 775*2^1410139-1 is not prime. Res64: 2D803611261649FE Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:40] 635*2^1410140-1 is not prime. Res64: 675813D9B53C2B08 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:40] 859*2^1410139-1 is not prime. Res64: 7467CB1421634AB3 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:40] 663*2^1410140-1 is not prime. Res64: 709B22B949A24084 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:40:40] 861*2^1410139-1 is not prime. Res64: A800CC6C8D919DC0 Time : 0.0 sec. user=juhehe [2015-09-24 21:52:14] 759*2^1410139-1 is not prime. Res64: 0B7B0AE403E0A19A Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:02] 707*2^1410140-1 is not prime. Res64: 87B5E026187229F7 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:02] 777*2^1410140-1 is not prime. Res64: C2835711B2196F86 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:04] 839*2^1410140-1 is not prime. Res64: 20BE29AA8A96BB92 Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:04] 885*2^1410140-1 is not prime. Res64: 163CDA520160FEDB Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:05] 959*2^1410140-1 is not prime. Res64: F96068234BB5671F Time : 0.0 sec. user=mdettweiler [2015-09-24 21:58:05] 609*2^1410141-1 is not prime. Res64: 557ED556C111E223 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:27] 745*2^1410141-1 is not prime. Res64: 75C091B66681563F Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:27] 861*2^1410141-1 is not prime. Res64: 96BB5F0F28C207F7 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:28] 895*2^1410141-1 is not prime. Res64: A10F6B1F23B014FB Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:28] 927*2^1410141-1 is not prime. Res64: 22943A744FD9D9A2 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:30] 955*2^1410141-1 is not prime. Res64: 7C99C603B26ECF14 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:15:30] 975*2^1410141-1 is not prime. Res64: D5D9DD8EB21E2AEE Time : 0.0 sec. user=mdettweiler [2015-09-24 22:32:53] 621*2^1410142-1 is not prime. Res64: DAC15C9E3BDBB2B3 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:32:53] 713*2^1410142-1 is not prime. Res64: ABC50863C80073AF Time : 0.0 sec. user=mdettweiler [2015-09-24 22:33:01] 737*2^1410142-1 is not prime. Res64: D7888A67F35F9F85 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:33:01] 743*2^1410142-1 is not prime. Res64: 8D6BA88C7D743992 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:33:02] 987*2^1410141-1 is not prime. Res64: 525D00017195E5DB Time : 0.0 sec. user=mdettweiler [2015-09-24 22:33:03] 617*2^1410142-1 is not prime. Res64: 9AF09936172B5932 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:52:52] 885*2^1410142-1 is not prime. Res64: 1B428B48466469F9 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:52:52] 923*2^1410142-1 is not prime. Res64: A41BDCAE2F33ED9B Time : 0.0 sec. user=mdettweiler [2015-09-24 22:52:59] 1001*2^1410142-1 is not prime. Res64: 965B167146D5D6E5 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:52:59] 615*2^1410143-1 is not prime. Res64: 08B6D96A0D3D1B16 Time : 0.0 sec. user=mdettweiler [2015-09-24 22:53:02] 745*2^1410143-1 is not prime. Res64: B8233441718A861B Time : 0.0 sec. user=mdettweiler [2015-09-24 22:53:02] 871*2^1410143-1 is not prime. Res64: 66CA569AA84B37A0 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:16] 943*2^1410143-1 is not prime. Res64: 60D43BF44E58CEB9 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:16] 985*2^1410143-1 is not prime. Res64: B1A48C410F09A677 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:22] 627*2^1410144-1 is not prime. Res64: 6EC5D83D76F4811C Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:23] 635*2^1410144-1 is not prime. Res64: A78B43E4639277AF Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:25] 705*2^1410144-1 is not prime. Res64: F6065D1DAA5F270F Time : 0.0 sec. user=mdettweiler [2015-09-24 23:10:26] 707*2^1410144-1 is not prime. Res64: 34DBE8495E6D2F9E Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:41] 753*2^1410144-1 is not prime. Res64: FEA7798FE046805F Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:42] 815*2^1410144-1 is not prime. Res64: 4B74D2CAFCF97693 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:50] 875*2^1410144-1 is not prime. Res64: 1456070715C15428 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:50] 983*2^1410144-1 is not prime. Res64: 253AA802DF819849 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:51] 705*2^1410145-1 is not prime. Res64: 3A31CA191F583E98 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:27:51] 981*2^1410145-1 is not prime. Res64: A7B4F976952612F0 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:06] 623*2^1410146-1 is not prime. Res64: BEE3BEFF794CD420 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:06] 785*2^1410146-1 is not prime. Res64: 5037016D15EA90FD Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:14] 953*2^1410146-1 is not prime. Res64: 171577CE6D6C7A1F Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:14] 983*2^1410146-1 is not prime. Res64: 8F9F066067DEC561 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:15] 795*2^1410147-1 is not prime. Res64: F913930F8FBF3D42 Time : 0.0 sec. user=mdettweiler [2015-09-24 23:45:15] 913*2^1410147-1 is not prime. Res64: 3D3BA210D8918B5D Time : 0.0 sec. user=juhehe [2015-09-24 23:46:27] 737*2^1410144-1 is not prime. Res64: 7C77888115979AF6 Time : 0.0 sec.