user=mdettweiler [2016-08-12 00:24:02] 663*2^1437263-1 is not prime. Res64: 913B7FDB097A8E1A Time : 0.0 sec. user=mdettweiler [2016-08-12 00:24:03] 679*2^1437263-1 is not prime. Res64: B36EAAA0FE7B81AE Time : 0.0 sec. user=mdettweiler [2016-08-12 00:24:03] 829*2^1437263-1 is not prime. Res64: BC84F3C44E74FEDC Time : 0.0 sec. user=mdettweiler [2016-08-12 00:24:03] 871*2^1437263-1 is not prime. Res64: F56CBD0D2EEB6E53 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:33:47] 619*2^1437271-1 is not prime. Res64: 1B2C2F4A918F6477 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:33:47] 639*2^1437271-1 is not prime. Res64: D9855387EC36EE30 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:33:48] 741*2^1437271-1 is not prime. Res64: 73B1F9ECD6C434F2 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:33:48] 805*2^1437271-1 is not prime. Res64: C5C9FFEDDE41B740 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:33:49] 849*2^1437271-1 is not prime. Res64: F0B5539D1AE42038 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:44:11] 859*2^1437271-1 is not prime. Res64: 3989110216C17993 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:44:14] 933*2^1437271-1 is not prime. Res64: 7A3FBD69FC9B75A9 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:44:17] 951*2^1437271-1 is not prime. Res64: 3F12DA4E5B7231CA Time : 0.0 sec. user=mdettweiler [2016-08-12 00:44:21] 975*2^1437271-1 is not prime. Res64: 2360DC1198EE4877 Time : 0.0 sec. user=mdettweiler [2016-08-12 00:44:24] 999*2^1437271-1 is not prime. Res64: 58408245CD6C8534 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:10:03] 605*2^1437272-1 is not prime. Res64: 79F370D9625E1C07 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:20:09] 769*2^1437273-1 is not prime. Res64: AA09CC7BE35D4EE8 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:20:12] 999*2^1437273-1 is not prime. Res64: 8FC56971DDA85303 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:20:14] 657*2^1437274-1 is not prime. Res64: 051FA1F850996B55 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:20:17] 707*2^1437274-1 is not prime. Res64: A819B50DE6AEA350 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:20:19] 717*2^1437274-1 is not prime. Res64: CB423883DF7B5EFD Time : 0.0 sec. user=mdettweiler [2016-08-12 01:31:30] 741*2^1437274-1 is not prime. Res64: 33525BFD9F415E01 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:31:31] 765*2^1437274-1 is not prime. Res64: 63D672B1F2A9CF88 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:31:32] 857*2^1437274-1 is not prime. Res64: 337D436914A817C6 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:31:32] 669*2^1437275-1 is not prime. Res64: EA9E24C98AAC4576 Time : 0.0 sec. user=mdettweiler [2016-08-12 01:31:32] 823*2^1437275-1 is not prime. Res64: 0497DD0471ACE71E Time : 0.0 sec. user=mdettweiler [2016-08-12 02:09:28] 883*2^1437275-1 is not prime. Res64: 39D22576B85805EC Time : 0.0 sec. user=mdettweiler [2016-08-12 02:09:30] 895*2^1437275-1 is not prime. Res64: 76F9AAAB892AB3ED Time : 0.0 sec. user=mdettweiler [2016-08-12 02:09:33] 915*2^1437275-1 is not prime. Res64: EF7A98BF8895C2EC Time : 0.0 sec. user=mdettweiler [2016-08-12 02:09:37] 683*2^1437276-1 is not prime. Res64: 77EA64ED6A02AFE0 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:09:39] 779*2^1437276-1 is not prime. Res64: 495AAA6B0F7BDC11 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:20:22] 909*2^1437276-1 is not prime. Res64: 5D7B774668EC9FFA Time : 0.0 sec. user=mdettweiler [2016-08-12 02:20:23] 651*2^1437277-1 is not prime. Res64: 101E8AC0935E8745 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:20:23] 691*2^1437277-1 is not prime. Res64: C55DFB3E2BDC393C Time : 0.0 sec. user=mdettweiler [2016-08-12 02:20:23] 747*2^1437277-1 is not prime. Res64: A21C889FA5F8A454 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:20:24] 777*2^1437277-1 is not prime. Res64: E56F8A6AE929A3F7 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:55:06] 691*2^1437269-1 is not prime. Res64: F67D11437FA6BC4C Time : 0.0 sec. user=mdettweiler [2016-08-12 02:55:07] 771*2^1437269-1 is not prime. Res64: 1F6E78A9D77F4356 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:58:09] 801*2^1437277-1 is not prime. Res64: 9B4C0AD4A320EEBC Time : 0.0 sec. user=mdettweiler [2016-08-12 02:58:09] 831*2^1437277-1 is not prime. Res64: 1FF725F35A4D0D88 Time : 0.0 sec. user=mdettweiler [2016-08-12 02:58:09] 997*2^1437277-1 is not prime. Res64: A82014321680611D Time : 0.0 sec. user=mdettweiler [2016-08-12 02:58:10] 927*2^1437278-1 is not prime. Res64: AB9B5C4E6867178C Time : 0.0 sec. user=mdettweiler [2016-08-12 02:58:10] 987*2^1437278-1 is not prime. Res64: ADDD1D98A50358A8 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:08:00] 705*2^1437279-1 is not prime. Res64: 9FDF811A252612E7 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:08:02] 751*2^1437279-1 is not prime. Res64: DED39413BFD31063 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:08:05] 861*2^1437279-1 is not prime. Res64: 232BAAC55827D5E7 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:08:07] 895*2^1437279-1 is not prime. Res64: 751EA10148EBBAA3 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:08:08] 999*2^1437279-1 is not prime. Res64: 377F6BAE2E0681AE Time : 0.0 sec. user=mdettweiler [2016-08-12 03:44:55] 651*2^1437281-1 is not prime. Res64: 9F6AE1C510C6E5DB Time : 0.0 sec. user=mdettweiler [2016-08-12 03:44:58] 867*2^1437281-1 is not prime. Res64: 90DF442CF1255F62 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:45:01] 987*2^1437281-1 is not prime. Res64: 723DF70DE0EAFDA7 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:45:04] 833*2^1437282-1 is not prime. Res64: B22A6AED51ECE9EF Time : 0.0 sec. user=mdettweiler [2016-08-12 03:45:07] 963*2^1437282-1 is not prime. Res64: 1F971069D5CD2020 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:55:09] 977*2^1437282-1 is not prime. Res64: 5026ABEC9256868F Time : 0.0 sec. user=mdettweiler [2016-08-12 03:55:13] 983*2^1437282-1 is not prime. Res64: 5E36DD9481F170E9 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:55:17] 1001*2^1437282-1 is not prime. Res64: 336DDBFFCEEEAC3B Time : 0.0 sec. user=mdettweiler [2016-08-12 03:55:20] 741*2^1437283-1 is not prime. Res64: D80EAE228C510231 Time : 0.0 sec. user=mdettweiler [2016-08-12 03:55:24] 801*2^1437283-1 is not prime. Res64: 517A59167587ADAC Time : 0.0 sec. user=mdettweiler [2016-08-12 04:21:25] 669*2^1437272-1 is not prime. Res64: D2DA7AEC487B1F9E Time : 0.0 sec. user=mdettweiler [2016-08-12 04:21:28] 855*2^1437272-1 is not prime. Res64: 5CB14FBFD7CE6653 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:21:32] 983*2^1437272-1 is not prime. Res64: 8AC4F487248E2E04 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:21:36] 705*2^1437273-1 is not prime. Res64: 86932A7D0B58D504 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:32:43] 873*2^1437283-1 is not prime. Res64: C9A1AEC3AF9D0536 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:32:44] 939*2^1437283-1 is not prime. Res64: 0694B2C01C699B98 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:32:44] 605*2^1437284-1 is not prime. Res64: A53F2E68F559F2CD Time : 0.0 sec. user=mdettweiler [2016-08-12 04:32:45] 615*2^1437284-1 is not prime. Res64: 91892C917C0D4461 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:32:45] 617*2^1437284-1 is not prime. Res64: C299150D0A494ECF Time : 0.0 sec. user=mdettweiler [2016-08-12 04:42:41] 659*2^1437284-1 is not prime. Res64: B3B43C3C77855C70 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:42:41] 753*2^1437284-1 is not prime. Res64: 88F382EFFE7B453B Time : 0.0 sec. user=mdettweiler [2016-08-12 04:42:41] 767*2^1437284-1 is not prime. Res64: 31617338F0DEA1D3 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:42:42] 825*2^1437284-1 is not prime. Res64: 42095DAB86138B19 Time : 0.0 sec. user=mdettweiler [2016-08-12 04:42:42] 837*2^1437284-1 is not prime. Res64: D5B9B9EFB7DEE818 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:07:15] 655*2^1437285-1 is not prime. Res64: D4AAFAB4659DA000 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:07:16] 669*2^1437285-1 is not prime. Res64: 75F2D2C00DBE1541 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:07:16] 735*2^1437285-1 is not prime. Res64: 5038DC0518D9ACC0 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:07:17] 787*2^1437285-1 is not prime. Res64: 762A6E06883BE1E5 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:07:17] 795*2^1437285-1 is not prime. Res64: 4DC88A8B5162749C Time : 0.0 sec. user=mdettweiler [2016-08-12 05:18:18] 819*2^1437285-1 is not prime. Res64: DBD6D31A6BDAC855 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:18:21] 937*2^1437285-1 is not prime. Res64: 9E7E28637F3642E7 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:18:23] 801*2^1437286-1 is not prime. Res64: 24C666ABD30D4235 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:18:26] 857*2^1437286-1 is not prime. Res64: EE3EA7779478E457 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:18:29] 643*2^1437287-1 is not prime. Res64: FE2C96B27EAE09BF Time : 0.0 sec. user=mdettweiler [2016-08-12 05:28:26] 705*2^1437287-1 is not prime. Res64: CE204B279A8D1250 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:28:26] 825*2^1437287-1 is not prime. Res64: 4D14034B64508043 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:28:27] 931*2^1437287-1 is not prime. Res64: DE4DE61593B75136 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:28:27] 939*2^1437287-1 is not prime. Res64: 8B66BB14798D1D9A Time : 0.0 sec. user=mdettweiler [2016-08-12 05:28:27] 767*2^1437288-1 is not prime. Res64: 3D595580FB95567E Time : 0.0 sec. user=mdettweiler [2016-08-12 05:52:54] 797*2^1437288-1 is not prime. Res64: B3682260BE7CC4D6 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:52:54] 899*2^1437288-1 is not prime. Res64: 17B62327A3AB363A Time : 0.0 sec. user=mdettweiler [2016-08-12 05:52:54] 933*2^1437288-1 is not prime. Res64: C9C98864F32F93F9 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:52:55] 977*2^1437288-1 is not prime. Res64: 376DD3DE51645DF2 Time : 0.0 sec. user=mdettweiler [2016-08-12 05:52:55] 619*2^1437289-1 is not prime. Res64: B0EA96EB4FC1A6D1 Time : 0.0 sec. user=juhehe [2016-08-12 06:01:47] 987*2^1437289-1 is not prime. Res64: 794477CC2C933483 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:03:56] 751*2^1437289-1 is not prime. Res64: 35AA6E5082BD26CB Time : 0.0 sec. user=mdettweiler [2016-08-12 06:03:57] 831*2^1437289-1 is not prime. Res64: D32D15E2717A8F92 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:03:58] 895*2^1437289-1 is not prime. Res64: 754D271FC2732C9B Time : 0.0 sec. user=mdettweiler [2016-08-12 06:03:59] 957*2^1437289-1 is not prime. Res64: 320597EE729A20BD Time : 0.0 sec. user=mdettweiler [2016-08-12 06:04:00] 967*2^1437289-1 is not prime. Res64: 26DCB46460095018 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:13:53] 603*2^1437290-1 is not prime. Res64: 78707C7F9238A4DE Time : 0.0 sec. user=mdettweiler [2016-08-12 06:13:56] 657*2^1437290-1 is not prime. Res64: D662A280E0380CB6 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:13:56] 845*2^1437290-1 is not prime. Res64: 02C1485EF39A74F5 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:14:00] 601*2^1437291-1 is not prime. Res64: 5EEC8DDC0F82E49F Time : 0.0 sec. user=mdettweiler [2016-08-12 06:14:04] 639*2^1437291-1 is not prime. Res64: ACA1945A3F0E2522 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:38:23] 705*2^1437291-1 is not prime. Res64: FA750AD1FE5F519A Time : 0.0 sec. user=mdettweiler [2016-08-12 06:38:27] 739*2^1437291-1 is not prime. Res64: 2B019DD0DF056C12 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:38:31] 741*2^1437291-1 is not prime. Res64: 87FE6BDEA93AF51E Time : 0.0 sec. user=mdettweiler [2016-08-12 06:38:34] 769*2^1437291-1 is not prime. Res64: 9CB1533FCE513D08 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:38:35] 795*2^1437291-1 is not prime. Res64: 9BD81419E08F0E88 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:45:45] 623*2^1437280-1 is not prime. Res64: 55D9D815A8CB2913 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:45:48] 819*2^1437280-1 is not prime. Res64: 7C19AD97608F4756 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:45:49] 915*2^1437280-1 is not prime. Res64: BC5F13D34231AC17 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:45:52] 933*2^1437280-1 is not prime. Res64: 2EE7621C627F3463 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:45:55] 601*2^1437281-1 is not prime. Res64: B1ABBB0C8E6D086E Time : 0.0 sec. user=mdettweiler [2016-08-12 06:49:33] 903*2^1437291-1 is not prime. Res64: 89EB4E7FA183B5A3 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:49:34] 999*2^1437291-1 is not prime. Res64: A1B375BC53291A5F Time : 0.0 sec. user=mdettweiler [2016-08-12 06:49:34] 699*2^1437292-1 is not prime. Res64: 3692E80A4A67A12F Time : 0.0 sec. user=mdettweiler [2016-08-12 06:49:35] 933*2^1437292-1 is not prime. Res64: BC900D945BDC3A76 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:49:35] 607*2^1437293-1 is not prime. Res64: F22505FAF96DA9E2 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:59:22] 631*2^1437293-1 is not prime. Res64: F28648BAABB45FDC Time : 0.0 sec. user=mdettweiler [2016-08-12 06:59:22] 649*2^1437293-1 is not prime. Res64: E13E01840D03E11F Time : 0.0 sec. user=mdettweiler [2016-08-12 06:59:22] 657*2^1437293-1 is not prime. Res64: D31C7DE91BB9C8B4 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:59:23] 721*2^1437293-1 is not prime. Res64: 3A98211542E6E705 Time : 0.0 sec. user=mdettweiler [2016-08-12 06:59:23] 741*2^1437293-1 is not prime. Res64: B5DB2D493D002089 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:23:32] 769*2^1437293-1 is not prime. Res64: 8DC8FA18688DC3AD Time : 0.0 sec. user=mdettweiler [2016-08-12 07:23:33] 957*2^1437293-1 is not prime. Res64: 7AD9271DF66CFF94 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:23:33] 651*2^1437294-1 is not prime. Res64: 60D1910CE8D042CC Time : 0.0 sec. user=mdettweiler [2016-08-12 07:23:33] 663*2^1437294-1 is not prime. Res64: 7BF5F80FF1FF2C35 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:23:34] 681*2^1437294-1 is not prime. Res64: 48D63225E303E4FE Time : 0.0 sec. user=mdettweiler [2016-08-12 07:30:43] 717*2^1437294-1 is not prime. Res64: 30C0320AF0DE2ED7 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:30:44] 723*2^1437294-1 is not prime. Res64: 5A18B5F9DC5679BC Time : 0.0 sec. user=mdettweiler [2016-08-12 07:30:44] 765*2^1437294-1 is not prime. Res64: 2FAD399AD5ABD90B Time : 0.0 sec. user=mdettweiler [2016-08-12 07:30:44] 791*2^1437294-1 is not prime. Res64: D2BF74850E0AB8D7 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:30:45] 873*2^1437294-1 is not prime. Res64: 6347627BF742CF6B Time : 0.0 sec. user=mdettweiler [2016-08-12 07:34:23] 891*2^1437294-1 is not prime. Res64: C791DE1C97BFD22F Time : 0.0 sec. user=mdettweiler [2016-08-12 07:34:23] 619*2^1437295-1 is not prime. Res64: 02DBE5CEED9E1EC6 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:34:24] 651*2^1437295-1 is not prime. Res64: 385407AEE8970264 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:34:24] 789*2^1437295-1 is not prime. Res64: 57A30230178D87D4 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:34:24] 859*2^1437295-1 is not prime. Res64: 7354923F4580A32C Time : 0.0 sec. user=mdettweiler [2016-08-12 07:44:16] 951*2^1437295-1 is not prime. Res64: 57C308F778F2BE33 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:44:19] 623*2^1437296-1 is not prime. Res64: DA7866DCC85EA8A6 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:44:22] 633*2^1437296-1 is not prime. Res64: B503CF1D95F9015D Time : 0.0 sec. user=mdettweiler [2016-08-12 07:44:26] 699*2^1437296-1 is not prime. Res64: BE609D8FCF1B0863 Time : 0.0 sec. user=mdettweiler [2016-08-12 07:44:30] 743*2^1437296-1 is not prime. Res64: 1BA57E24014FF6D8 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:08:27] 777*2^1437296-1 is not prime. Res64: 2D95F5C0EF6F9A8F Time : 0.0 sec. user=mdettweiler [2016-08-12 08:08:30] 803*2^1437296-1 is not prime. Res64: B844573AA1291A7D Time : 0.0 sec. user=mdettweiler [2016-08-12 08:08:33] 857*2^1437296-1 is not prime. Res64: 18954608DA882A1E Time : 0.0 sec. user=mdettweiler [2016-08-12 08:08:35] 873*2^1437296-1 is not prime. Res64: EB44EE770972E3FD Time : 0.0 sec. user=mdettweiler [2016-08-12 08:08:39] 999*2^1437296-1 is not prime. Res64: BB8FC27EF06A5D25 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:15:32] 709*2^1437297-1 is not prime. Res64: 333925864F5EC26B Time : 0.0 sec. user=mdettweiler [2016-08-12 08:15:35] 781*2^1437297-1 is not prime. Res64: 6F9B54E1480EE980 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:15:37] 847*2^1437297-1 is not prime. Res64: 9090FA51D6B05139 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:15:39] 865*2^1437297-1 is not prime. Res64: B5D449136D8F65FE Time : 0.0 sec. user=mdettweiler [2016-08-12 08:15:42] 909*2^1437297-1 is not prime. Res64: 680F24ED8C4A21E8 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:19:07] 945*2^1437297-1 is not prime. Res64: 939E6DB057623907 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:19:07] 991*2^1437297-1 is not prime. Res64: 2AA2B2B43BBCB505 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:19:09] 603*2^1437298-1 is not prime. Res64: 3680EB406F7F8712 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:19:11] 951*2^1437298-1 is not prime. Res64: DE2F6D53877AD109 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:19:14] 703*2^1437299-1 is not prime. Res64: 33B82D82904E7B6A Time : 0.0 sec. user=mdettweiler [2016-08-12 08:29:07] 711*2^1437299-1 is not prime. Res64: B4F38E404CE8DB43 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:29:08] 813*2^1437299-1 is not prime. Res64: 79A5FCFD6D0EF823 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:29:10] 843*2^1437299-1 is not prime. Res64: F7F027E819139177 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:29:11] 859*2^1437299-1 is not prime. Res64: 9EFAC1635CADC909 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:29:12] 903*2^1437299-1 is not prime. Res64: 789AE4EF319A5350 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:53:54] 909*2^1437299-1 is not prime. Res64: 27D644238EFC34F3 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:53:55] 969*2^1437299-1 is not prime. Res64: 723875502266CBB7 Time : 0.0 sec. user=mdettweiler [2016-08-12 08:53:55] 979*2^1437299-1 is not prime. Res64: C76FCBFA7C7BBF9F Time : 0.0 sec. user=mdettweiler [2016-08-12 08:53:56] 635*2^1437300-1 is not prime. Res64: 073FA9DEF68D32EE Time : 0.0 sec. user=mdettweiler [2016-08-12 08:53:56] 693*2^1437300-1 is not prime. Res64: A5CEDF41CD4AD6BE Time : 0.0 sec. user=mdettweiler [2016-08-12 09:00:26] 779*2^1437300-1 is not prime. Res64: F6DE53E0B65A35FA Time : 0.0 sec. user=mdettweiler [2016-08-12 09:00:27] 899*2^1437300-1 is not prime. Res64: AE327E2909EE7BCF Time : 0.0 sec. user=mdettweiler [2016-08-12 09:00:28] 965*2^1437300-1 is not prime. Res64: B834A9DC2C3265D9 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:00:29] 715*2^1437301-1 is not prime. Res64: F80783C27CEAADB6 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:00:30] 771*2^1437301-1 is not prime. Res64: E874305BD63F4FDB Time : 0.0 sec. user=mdettweiler [2016-08-12 09:04:04] 931*2^1437301-1 is not prime. Res64: E0E80807E7CF876E Time : 0.0 sec. user=mdettweiler [2016-08-12 09:04:06] 937*2^1437301-1 is not prime. Res64: 22C5FA0DEFE319F7 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:04:07] 939*2^1437301-1 is not prime. Res64: 5BBA48DDE6F2D2BE Time : 0.0 sec. user=mdettweiler [2016-08-12 09:04:08] 635*2^1437302-1 is not prime. Res64: FFF8AD461D0CC1A4 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:04:10] 645*2^1437302-1 is not prime. Res64: 001EC2B4E5C32BDD Time : 0.0 sec. user=mdettweiler [2016-08-12 09:13:58] 677*2^1437302-1 is not prime. Res64: 89055CE1CF546024 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:14:00] 791*2^1437302-1 is not prime. Res64: 19CE6B91D274DD85 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:14:02] 873*2^1437302-1 is not prime. Res64: AA6A0C45D7EE6CE4 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:14:04] 935*2^1437302-1 is not prime. Res64: 4E79EDA40BBA1C02 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:14:07] 995*2^1437302-1 is not prime. Res64: 62EB0FEE1E1D6DF7 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:38:41] 723*2^1437303-1 is not prime. Res64: D5A9F521F797CA48 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:38:42] 751*2^1437303-1 is not prime. Res64: 2669EC1A03B370F0 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:38:42] 825*2^1437303-1 is not prime. Res64: E6DF153C1F811FA0 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:38:43] 861*2^1437303-1 is not prime. Res64: 4AC4032CB9833EFC Time : 0.0 sec. user=mdettweiler [2016-08-12 09:38:43] 871*2^1437303-1 is not prime. Res64: 8D59EC4B74035467 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:45:18] 885*2^1437303-1 is not prime. Res64: 5851A588AA1A8B89 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:45:20] 895*2^1437303-1 is not prime. Res64: EF6A7A917FB47EA1 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:45:23] 933*2^1437303-1 is not prime. Res64: 45265C3751DAD27C Time : 0.0 sec. user=mdettweiler [2016-08-12 09:45:25] 951*2^1437303-1 is not prime. Res64: 181E370D7CFB78D3 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:45:27] 955*2^1437303-1 is not prime. Res64: 72AF8C6F47A8D759 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:49:08] 961*2^1437303-1 is not prime. Res64: 51A8D975D6E65F1E Time : 0.0 sec. user=mdettweiler [2016-08-12 09:49:08] 635*2^1437304-1 is not prime. Res64: 3E5CE7E1CC0823FE Time : 0.0 sec. user=mdettweiler [2016-08-12 09:49:08] 663*2^1437304-1 is not prime. Res64: A3AA9FE1D6F353F7 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:49:09] 705*2^1437304-1 is not prime. Res64: 42162DB875EA0571 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:49:09] 917*2^1437304-1 is not prime. Res64: 2E3E4D9DF7370968 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:59:05] 959*2^1437304-1 is not prime. Res64: B837A0B48E0B541F Time : 0.0 sec. user=mdettweiler [2016-08-12 09:59:05] 965*2^1437304-1 is not prime. Res64: 62A3FB1372B9E4C9 Time : 0.0 sec. user=mdettweiler [2016-08-12 09:59:06] 995*2^1437304-1 is not prime. Res64: 76E1F329AE45262D Time : 0.0 sec. user=mdettweiler [2016-08-12 09:59:06] 601*2^1437305-1 is not prime. Res64: 543FCA20CFABFECF Time : 0.0 sec. user=mdettweiler [2016-08-12 09:59:06] 607*2^1437305-1 is not prime. Res64: 682B04B43278E05E Time : 0.0 sec. user=mdettweiler [2016-08-12 10:25:00] 717*2^1437305-1 is not prime. Res64: 612BC3B973FCF06B Time : 0.0 sec. user=mdettweiler [2016-08-12 10:25:01] 721*2^1437305-1 is not prime. Res64: CE86FD3042ED26E2 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:25:02] 729*2^1437305-1 is not prime. Res64: 19AAF268E3C53373 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:25:03] 847*2^1437305-1 is not prime. Res64: 13422E7BB9B09110 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:25:03] 889*2^1437305-1 is not prime. Res64: BAB94396EE0AF42C Time : 0.0 sec. user=mdettweiler [2016-08-12 10:31:56] 949*2^1437305-1 is not prime. Res64: C3409183850B91FE Time : 0.0 sec. user=mdettweiler [2016-08-12 10:31:57] 647*2^1437306-1 is not prime. Res64: 446E820D9AFBEB1A Time : 0.0 sec. user=mdettweiler [2016-08-12 10:31:57] 723*2^1437306-1 is not prime. Res64: 72340177D188CC96 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:31:58] 777*2^1437306-1 is not prime. Res64: 519E603407201747 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:31:58] 983*2^1437306-1 is not prime. Res64: 35FB6C4221561A5B Time : 0.0 sec. user=mdettweiler [2016-08-12 10:35:43] 625*2^1437307-1 is not prime. Res64: 9CBF08C004A57E0A Time : 0.0 sec. user=mdettweiler [2016-08-12 10:35:45] 631*2^1437307-1 is not prime. Res64: B8546F7D401FC71F Time : 0.0 sec. user=mdettweiler [2016-08-12 10:35:47] 651*2^1437307-1 is not prime. Res64: 552FBB0A3FCA2989 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:35:50] 769*2^1437307-1 is not prime. Res64: 4CA47AAC2897029E Time : 0.0 sec. user=mdettweiler [2016-08-12 10:35:52] 829*2^1437307-1 is not prime. Res64: 777621DB88E9DDC5 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:45:13] 871*2^1437307-1 is not prime. Res64: 644C247044312515 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:45:13] 939*2^1437307-1 is not prime. Res64: CC8FEADDEBFDC283 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:45:14] 945*2^1437307-1 is not prime. Res64: E356EBEFF3BC0F33 Time : 0.0 sec. user=mdettweiler [2016-08-12 10:45:14] 603*2^1437308-1 is not prime. Res64: 0D8F5DD00CB6C11A Time : 0.0 sec. user=mdettweiler [2016-08-12 10:45:14] 647*2^1437308-1 is not prime. Res64: 4B35B88CE5D900B9 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:10:17] 665*2^1437308-1 is not prime. Res64: 823D7A0CEC3B3CBE Time : 0.0 sec. user=mdettweiler [2016-08-12 11:10:17] 759*2^1437308-1 is not prime. Res64: 39B4BF8E6E36636B Time : 0.0 sec. user=mdettweiler [2016-08-12 11:10:18] 813*2^1437308-1 is not prime. Res64: 5451DF0B46687D8A Time : 0.0 sec. user=mdettweiler [2016-08-12 11:10:18] 945*2^1437308-1 is not prime. Res64: 67D449C3DDBE0D24 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:10:19] 601*2^1437309-1 is not prime. Res64: BECDAB67F985B5D3 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:17:06] 727*2^1437309-1 is not prime. Res64: 4F6760984C4504E3 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:17:06] 811*2^1437309-1 is not prime. Res64: 6467078B46C1E4AF Time : 0.0 sec. user=mdettweiler [2016-08-12 11:17:06] 895*2^1437309-1 is not prime. Res64: 956E6435A839B5D7 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:17:07] 969*2^1437309-1 is not prime. Res64: 5513A6BB86CA26C4 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:17:07] 975*2^1437309-1 is not prime. Res64: 352400CC206317CD Time : 0.0 sec. user=mdettweiler [2016-08-12 11:20:46] 999*2^1437309-1 is not prime. Res64: 74B20AA3A2D8382E Time : 0.0 sec. user=mdettweiler [2016-08-12 11:20:47] 605*2^1437310-1 is not prime. Res64: AB7DC454F285204A Time : 0.0 sec. user=mdettweiler [2016-08-12 11:20:47] 611*2^1437310-1 is not prime. Res64: 7D426D87AD56F8AC Time : 0.0 sec. user=mdettweiler [2016-08-12 11:20:48] 755*2^1437310-1 is not prime. Res64: 3F555D4D1666C9E3 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:20:48] 783*2^1437310-1 is not prime. Res64: 73113A570D234C2F Time : 0.0 sec. user=mdettweiler [2016-08-12 11:30:05] 897*2^1437310-1 is not prime. Res64: EF7D564DFF46FE3E Time : 0.0 sec. user=mdettweiler [2016-08-12 11:30:07] 917*2^1437310-1 is not prime. Res64: F93C661A8327EA89 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:30:10] 941*2^1437310-1 is not prime. Res64: 3561E58A7CB60C54 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:30:12] 601*2^1437311-1 is not prime. Res64: C7EC365E51279B0C Time : 0.0 sec. user=mdettweiler [2016-08-12 11:30:14] 661*2^1437311-1 is not prime. Res64: 325329658DC7803F Time : 0.0 sec. user=mdettweiler [2016-08-12 11:55:09] 685*2^1437311-1 is not prime. Res64: 916FD3670ACEB94A Time : 0.0 sec. user=mdettweiler [2016-08-12 11:55:13] 735*2^1437311-1 is not prime. Res64: BD2F973F394764DF Time : 0.0 sec. user=mdettweiler [2016-08-12 11:55:16] 763*2^1437311-1 is not prime. Res64: 20D60A61B5416CC6 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:55:19] 805*2^1437311-1 is not prime. Res64: BB6E20336E2604C7 Time : 0.0 sec. user=mdettweiler [2016-08-12 11:55:19] 823*2^1437311-1 is not prime. Res64: D085EB489333EA16 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:01:47] 879*2^1437311-1 is not prime. Res64: B811E0BA7C2397F8 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:01:50] 883*2^1437311-1 is not prime. Res64: 87B73C162484B549 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:01:53] 665*2^1437312-1 is not prime. Res64: AAD47A5402375589 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:01:55] 719*2^1437312-1 is not prime. Res64: C6726712C1569C5D Time : 0.0 sec. user=mdettweiler [2016-08-12 12:01:58] 747*2^1437312-1 is not prime. Res64: 9D31FFDBA40FFA0E Time : 0.0 sec. user=mdettweiler [2016-08-12 12:05:26] 929*2^1437312-1 is not prime. Res64: 86F74EEFDC12B342 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:05:28] 959*2^1437312-1 is not prime. Res64: F84B95652BB758EC Time : 0.0 sec. user=mdettweiler [2016-08-12 12:05:29] 615*2^1437313-1 is not prime. Res64: D21F1E77370B0C9C Time : 0.0 sec. user=mdettweiler [2016-08-12 12:05:30] 721*2^1437313-1 is not prime. Res64: E3860469ECC931E9 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:05:31] 751*2^1437313-1 is not prime. Res64: F500F3A9037D8CC5 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:14:59] 889*2^1437313-1 is not prime. Res64: 111FD23B7FC7F28C Time : 0.0 sec. user=mdettweiler [2016-08-12 12:15:00] 895*2^1437313-1 is not prime. Res64: A21ECBD2B5FADD43 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:15:00] 957*2^1437313-1 is not prime. Res64: 70C07B35D25A5528 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:15:00] 645*2^1437314-1 is not prime. Res64: 91D2E568A9CCA2AB Time : 0.0 sec. user=mdettweiler [2016-08-12 12:15:01] 701*2^1437314-1 is not prime. Res64: 009413D30E6C5CD3 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:40:31] 731*2^1437314-1 is not prime. Res64: D4FDBD44602A3BC2 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:40:31] 813*2^1437314-1 is not prime. Res64: DC06BE30C9F4744A Time : 0.0 sec. user=mdettweiler [2016-08-12 12:40:31] 851*2^1437314-1 is not prime. Res64: 4D4011CFD2BB96CB Time : 0.0 sec. user=mdettweiler [2016-08-12 12:40:32] 873*2^1437314-1 is not prime. Res64: 12C467904CEC3514 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:40:32] 941*2^1437314-1 is not prime. Res64: BD89617074E682DF Time : 0.0 sec. user=mdettweiler [2016-08-12 12:47:28] 609*2^1437315-1 is not prime. Res64: F3BDE0408BE9F748 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:47:30] 675*2^1437315-1 is not prime. Res64: 4E97E69807BE179E Time : 0.0 sec. user=mdettweiler [2016-08-12 12:47:32] 679*2^1437315-1 is not prime. Res64: 6F63930E4D985CBA Time : 0.0 sec. user=mdettweiler [2016-08-12 12:47:35] 853*2^1437315-1 is not prime. Res64: 1444543DC7AF9E6D Time : 0.0 sec. user=mdettweiler [2016-08-12 12:47:37] 909*2^1437315-1 is not prime. Res64: 7ABE1F4A8A2C973B Time : 0.0 sec. user=mdettweiler [2016-08-12 12:51:05] 913*2^1437315-1 is not prime. Res64: 4E0E5B646311451D Time : 0.0 sec. user=mdettweiler [2016-08-12 12:51:07] 949*2^1437315-1 is not prime. Res64: 73CDA05FD637E2E4 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:51:10] 623*2^1437316-1 is not prime. Res64: 356EAA807E6B2148 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:51:12] 765*2^1437316-1 is not prime. Res64: 1C112E392A59B1A9 Time : 0.0 sec. user=mdettweiler [2016-08-12 12:51:14] 855*2^1437316-1 is not prime. Res64: 06B4ED6EE5941BE9 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:00:03] 969*2^1437316-1 is not prime. Res64: 30D39FED38A6861B Time : 0.0 sec. user=mdettweiler [2016-08-12 13:00:03] 989*2^1437316-1 is not prime. Res64: 66A24BE3E29E9403 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:00:03] 675*2^1437317-1 is not prime. Res64: 3E34DBB8DDDD7422 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:00:04] 699*2^1437317-1 is not prime. Res64: B6E2641FDE7B5B09 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:00:04] 717*2^1437317-1 is not prime. Res64: 496E76A9FD015810 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:25:36] 991*2^1437317-1 is not prime. Res64: AC84852D25994197 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:25:38] 671*2^1437318-1 is not prime. Res64: 1308822481B31452 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:25:39] 773*2^1437318-1 is not prime. Res64: 83E4A8F9B3680722 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:25:40] 777*2^1437318-1 is not prime. Res64: EA2F22FA5CF0568C Time : 0.0 sec. user=mdettweiler [2016-08-12 13:25:41] 843*2^1437318-1 is not prime. Res64: C01D814A744419BD Time : 0.0 sec. user=mdettweiler [2016-08-12 13:32:36] 945*2^1437318-1 is not prime. Res64: C8700212E8910C62 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:32:36] 765*2^1437319-1 is not prime. Res64: A4584204D969DB97 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:32:36] 605*2^1437320-1 is not prime. Res64: 23432139C7A5A25B Time : 0.0 sec. user=mdettweiler [2016-08-12 13:32:37] 645*2^1437320-1 is not prime. Res64: 8A951616AB51E9FC Time : 0.0 sec. user=mdettweiler [2016-08-12 13:32:37] 719*2^1437320-1 is not prime. Res64: 8A8F54C277C46CE4 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:36:08] 855*2^1437320-1 is not prime. Res64: D4ABA0C5D3C2BC1A Time : 0.0 sec. user=mdettweiler [2016-08-12 13:36:08] 691*2^1437321-1 is not prime. Res64: 1D50D2605618C93A Time : 0.0 sec. user=mdettweiler [2016-08-12 13:36:08] 805*2^1437321-1 is not prime. Res64: DB034D35A97560B0 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:36:09] 847*2^1437321-1 is not prime. Res64: 419B97D288B9ED3B Time : 0.0 sec. user=mdettweiler [2016-08-12 13:36:09] 865*2^1437321-1 is not prime. Res64: 57E4B034F5CB1D98 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:45:07] 955*2^1437321-1 is not prime. Res64: F23EB26F1A09178B Time : 0.0 sec. user=mdettweiler [2016-08-12 13:45:10] 987*2^1437321-1 is not prime. Res64: 14335E300A3A89C6 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:45:12] 635*2^1437322-1 is not prime. Res64: 62389B63788D0E80 Time : 0.0 sec. user=mdettweiler [2016-08-12 13:45:14] 651*2^1437322-1 is not prime. Res64: 87DC68E7EA7BBA4E Time : 0.0 sec. user=mdettweiler [2016-08-12 13:45:16] 665*2^1437322-1 is not prime. Res64: 6A888F3617309A80 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:10:52] 677*2^1437322-1 is not prime. Res64: 103B81704A5FCB7F Time : 0.0 sec. user=mdettweiler [2016-08-12 14:10:54] 713*2^1437322-1 is not prime. Res64: 11A8F36BBE1F5DDE Time : 0.0 sec. user=mdettweiler [2016-08-12 14:10:57] 803*2^1437322-1 is not prime. Res64: B6917BB779E3AFEB Time : 0.0 sec. user=mdettweiler [2016-08-12 14:10:59] 843*2^1437322-1 is not prime. Res64: B60329CA8238DD96 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:11:01] 855*2^1437322-1 is not prime. Res64: 54681B2EC77DF968 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:17:35] 891*2^1437322-1 is not prime. Res64: F966B8527856B152 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:17:35] 911*2^1437322-1 is not prime. Res64: 0CCE9E1F88D4B2A5 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:17:39] 923*2^1437322-1 is not prime. Res64: EC5C1715BFFA1CB0 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:17:42] 619*2^1437323-1 is not prime. Res64: BC068ABD06C676ED Time : 0.0 sec. user=mdettweiler [2016-08-12 14:17:46] 621*2^1437323-1 is not prime. Res64: B0557707A57F26F5 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:21:07] 663*2^1437323-1 is not prime. Res64: CB69E0BB5B46BE0B Time : 0.0 sec. user=mdettweiler [2016-08-12 14:21:07] 895*2^1437323-1 is not prime. Res64: DCE51204943FD6A3 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:21:07] 605*2^1437324-1 is not prime. Res64: 3D4F53A81CBFEFBF Time : 0.0 sec. user=mdettweiler [2016-08-12 14:21:08] 629*2^1437324-1 is not prime. Res64: 504480A0C3AB5C56 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:21:08] 857*2^1437324-1 is not prime. Res64: B44611743EB9121A Time : 0.0 sec. user=mdettweiler [2016-08-12 14:29:55] 899*2^1437324-1 is not prime. Res64: 7DF3DE37495FCA99 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:29:55] 927*2^1437324-1 is not prime. Res64: E70CC5B23DA25C37 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:29:56] 607*2^1437325-1 is not prime. Res64: CB9351F7292609FD Time : 0.0 sec. user=mdettweiler [2016-08-12 14:29:56] 721*2^1437325-1 is not prime. Res64: C571312AE73D5E25 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:29:57] 751*2^1437325-1 is not prime. Res64: 128C0BD6B8FF733A Time : 0.0 sec. user=mdettweiler [2016-08-12 14:55:51] 847*2^1437325-1 is not prime. Res64: BB7864042789D95B Time : 0.0 sec. user=mdettweiler [2016-08-12 14:55:51] 855*2^1437325-1 is not prime. Res64: 3183790D92F079AB Time : 0.0 sec. user=mdettweiler [2016-08-12 14:55:51] 859*2^1437325-1 is not prime. Res64: FE1F49B8ABCE97C1 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:55:52] 987*2^1437325-1 is not prime. Res64: 2F33B3ED303E6947 Time : 0.0 sec. user=mdettweiler [2016-08-12 14:55:52] 615*2^1437326-1 is not prime. Res64: DF4818AF68585C80 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:02:29] 657*2^1437326-1 is not prime. Res64: 2154090817D6B4C9 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:02:30] 743*2^1437326-1 is not prime. Res64: 9634880C301CDFEE Time : 0.0 sec. user=mdettweiler [2016-08-12 15:02:32] 767*2^1437326-1 is not prime. Res64: 9709182B5C00955F Time : 0.0 sec. user=mdettweiler [2016-08-12 15:02:33] 801*2^1437326-1 is not prime. Res64: 8F0D625066636326 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:02:34] 825*2^1437326-1 is not prime. Res64: 9DC36C48FD27E9DF Time : 0.0 sec. user=mdettweiler [2016-08-12 15:05:59] 827*2^1437326-1 is not prime. Res64: BE238F2CBAC16A4E Time : 0.0 sec. user=mdettweiler [2016-08-12 15:06:01] 911*2^1437326-1 is not prime. Res64: 258CFB287C9418EA Time : 0.0 sec. user=mdettweiler [2016-08-12 15:06:02] 917*2^1437326-1 is not prime. Res64: AC05FB3C37A4B7A2 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:06:03] 923*2^1437326-1 is not prime. Res64: D6970F44FD094EB1 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:06:04] 993*2^1437326-1 is not prime. Res64: 13EF2120EFFC7914 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:14:36] 711*2^1437327-1 is not prime. Res64: 8C6CA7D83B08097F Time : 0.0 sec. user=mdettweiler [2016-08-12 15:14:38] 739*2^1437327-1 is not prime. Res64: 5031FB361907B3B4 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:14:40] 895*2^1437327-1 is not prime. Res64: 6FD65795C1F933DA Time : 0.0 sec. user=mdettweiler [2016-08-12 15:14:43] 975*2^1437327-1 is not prime. Res64: 632274996AC4B4CF Time : 0.0 sec. user=mdettweiler [2016-08-12 15:14:46] 603*2^1437328-1 is not prime. Res64: C91486A02290C3BC Time : 0.0 sec. user=mdettweiler [2016-08-12 15:40:29] 665*2^1437328-1 is not prime. Res64: 81633FDBDAC677F6 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:40:32] 677*2^1437328-1 is not prime. Res64: B084437BE0966A04 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:40:36] 695*2^1437328-1 is not prime. Res64: 266D922D45600831 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:40:39] 707*2^1437328-1 is not prime. Res64: 77910407CCFB572E Time : 0.0 sec. user=mdettweiler [2016-08-12 15:40:42] 839*2^1437328-1 is not prime. Res64: E9718EC35D6B8F74 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:47:32] 849*2^1437328-1 is not prime. Res64: 87088A72245AE63B Time : 0.0 sec. user=mdettweiler [2016-08-12 15:47:33] 909*2^1437328-1 is not prime. Res64: 5392F4B08073166C Time : 0.0 sec. user=mdettweiler [2016-08-12 15:47:33] 631*2^1437329-1 is not prime. Res64: 1D0D994E15681294 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:47:33] 675*2^1437329-1 is not prime. Res64: 6948CDDDCE12DA22 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:47:34] 691*2^1437329-1 is not prime. Res64: 29F53DA71AB47402 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:50:42] 699*2^1437329-1 is not prime. Res64: BEADDB89EE31B7E3 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:50:42] 837*2^1437329-1 is not prime. Res64: 6ACECE7CA6C72A0C Time : 0.0 sec. user=mdettweiler [2016-08-12 15:50:42] 861*2^1437329-1 is not prime. Res64: B1E6659E22CBDC65 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:50:43] 885*2^1437329-1 is not prime. Res64: E582EC4BF7AC3D9B Time : 0.0 sec. user=mdettweiler [2016-08-12 15:50:43] 889*2^1437329-1 is not prime. Res64: 39AFDBB0D2C9E332 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:59:41] 991*2^1437329-1 is not prime. Res64: 8645F92F8C6B40B1 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:59:41] 665*2^1437330-1 is not prime. Res64: DD5D40FA90611C14 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:59:41] 851*2^1437330-1 is not prime. Res64: B03FF74DBA1ACCC6 Time : 0.0 sec. user=mdettweiler [2016-08-12 15:59:42] 945*2^1437330-1 is not prime. Res64: E7C83A46853A5FCD Time : 0.0 sec. user=mdettweiler [2016-08-12 15:59:42] 681*2^1437331-1 is not prime. Res64: D424AA68E9A7D159 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:25:19] 789*2^1437331-1 is not prime. Res64: A8F2CF7F524755A9 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:25:19] 861*2^1437331-1 is not prime. Res64: 942675BEA0B5008E Time : 0.0 sec. user=mdettweiler [2016-08-12 16:25:19] 609*2^1437332-1 is not prime. Res64: B197BDFE2D611AC5 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:25:20] 675*2^1437332-1 is not prime. Res64: 37857712B6F4B5D4 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:25:20] 957*2^1437332-1 is not prime. Res64: ABEC40CF3E0887EA Time : 0.0 sec. user=mdettweiler [2016-08-12 16:32:19] 609*2^1437333-1 is not prime. Res64: E2AAD3598685C875 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:32:20] 649*2^1437333-1 is not prime. Res64: 2E88EFAF8BA857BC Time : 0.0 sec. user=mdettweiler [2016-08-12 16:32:20] 669*2^1437333-1 is not prime. Res64: A40A974CF1DEC3E4 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:32:21] 745*2^1437333-1 is not prime. Res64: 54FF8B532CE111EF Time : 0.0 sec. user=mdettweiler [2016-08-12 16:32:21] 747*2^1437333-1 is not prime. Res64: 680345984B0BCD0D Time : 0.0 sec. user=mdettweiler [2016-08-12 16:35:22] 927*2^1437333-1 is not prime. Res64: 0D37968B32F7DDEA Time : 0.0 sec. user=mdettweiler [2016-08-12 16:35:23] 937*2^1437333-1 is not prime. Res64: 2DA4526FEB54ACF0 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:35:23] 969*2^1437333-1 is not prime. Res64: 94451F1F7E603AE9 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:35:23] 621*2^1437334-1 is not prime. Res64: 67A74DCEC08C529A Time : 0.0 sec. user=mdettweiler [2016-08-12 16:35:24] 755*2^1437334-1 is not prime. Res64: E577065C2771932B Time : 0.0 sec. user=mdettweiler [2016-08-12 16:44:29] 815*2^1437334-1 is not prime. Res64: E91420FBAAC84A8C Time : 0.0 sec. user=mdettweiler [2016-08-12 16:44:32] 881*2^1437334-1 is not prime. Res64: C7DB8FEBEAEED11B Time : 0.0 sec. user=mdettweiler [2016-08-12 16:44:35] 885*2^1437334-1 is not prime. Res64: E0476A35A63B6630 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:44:38] 971*2^1437334-1 is not prime. Res64: 671CE06E8CD3A572 Time : 0.0 sec. user=mdettweiler [2016-08-12 16:44:38] 993*2^1437334-1 is not prime. Res64: C632274151EDE991 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:10:46] 799*2^1437335-1 is not prime. Res64: F5CB9C5F81490810 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:16:54] 845*2^1437336-1 is not prime. Res64: EBF01EB087FC79C7 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:16:56] 903*2^1437336-1 is not prime. Res64: C746514CE0923E49 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:16:58] 649*2^1437337-1 is not prime. Res64: 43B565650243B842 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:17:00] 667*2^1437337-1 is not prime. Res64: 36213CFA7D29E815 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:17:02] 729*2^1437337-1 is not prime. Res64: EC1F85A3F3628313 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:20:26] 765*2^1437337-1 is not prime. Res64: 0C6F954A154EFC40 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:20:27] 769*2^1437337-1 is not prime. Res64: 83763C929D4149E7 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:20:27] 861*2^1437337-1 is not prime. Res64: 1817037B1B803787 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:20:27] 901*2^1437337-1 is not prime. Res64: E3FC3A58CAA5A669 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:20:28] 919*2^1437337-1 is not prime. Res64: C39A2957AD03E86C Time : 0.0 sec. user=mdettweiler [2016-08-12 17:29:34] 939*2^1437337-1 is not prime. Res64: 75168D83CE537BB3 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:29:35] 975*2^1437337-1 is not prime. Res64: 2C9AB242464E3869 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:29:35] 605*2^1437338-1 is not prime. Res64: 8F5A57D02A0CBE88 Time : 0.0 sec. user=mdettweiler [2016-08-12 17:29:35] 617*2^1437338-1 is not prime. Res64: F9C98D0618A637FB Time : 0.0 sec. user=mdettweiler [2016-08-12 17:29:36] 623*2^1437338-1 is not prime. Res64: 757C3D3BF1DA0F87 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:02:19] 747*2^1437338-1 is not prime. Res64: D3F39742A62E7732 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:02:20] 773*2^1437338-1 is not prime. Res64: A21448F436179AE4 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:02:22] 875*2^1437338-1 is not prime. Res64: 5B21030A6EE545A4 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:02:23] 885*2^1437338-1 is not prime. Res64: CD7C17C01A33C601 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:02:24] 619*2^1437339-1 is not prime. Res64: C9A1CFCFB26312F8 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:05:51] 685*2^1437339-1 is not prime. Res64: A1BE5022C4A21F3B Time : 0.0 sec. user=mdettweiler [2016-08-12 18:05:54] 709*2^1437339-1 is not prime. Res64: B649C3C5F0B63EAE Time : 0.0 sec. user=mdettweiler [2016-08-12 18:05:55] 835*2^1437339-1 is not prime. Res64: E068E4AAD1232571 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:05:57] 629*2^1437340-1 is not prime. Res64: 2BA7B5FBF2ED68E5 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:05:59] 707*2^1437340-1 is not prime. Res64: 279346A85A456A04 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:14:56] 863*2^1437340-1 is not prime. Res64: D3414FCB5D22F505 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:14:59] 897*2^1437340-1 is not prime. Res64: 6C8A5AEF2687A58C Time : 0.0 sec. user=mdettweiler [2016-08-12 18:15:02] 669*2^1437341-1 is not prime. Res64: 174A274C6FC52D1D Time : 0.0 sec. user=mdettweiler [2016-08-12 18:15:06] 747*2^1437341-1 is not prime. Res64: 52E9104937DA19DA Time : 0.0 sec. user=mdettweiler [2016-08-12 18:15:08] 621*2^1437342-1 is not prime. Res64: 5845561D7A67A862 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:47:58] 671*2^1437342-1 is not prime. Res64: 1E103A0DF6776F86 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:47:59] 887*2^1437342-1 is not prime. Res64: 12BBA605EB3CDD60 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:47:59] 921*2^1437342-1 is not prime. Res64: 156FBE7563C65300 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:47:59] 941*2^1437342-1 is not prime. Res64: 6F05BFAA5E376D08 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:48:00] 975*2^1437342-1 is not prime. Res64: E6AAB93621282767 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:51:35] 685*2^1437343-1 is not prime. Res64: 6924E1E28A254B0A Time : 0.0 sec. user=mdettweiler [2016-08-12 18:51:35] 735*2^1437343-1 is not prime. Res64: CCC1D604A655F95F Time : 0.0 sec. user=mdettweiler [2016-08-12 18:51:35] 933*2^1437343-1 is not prime. Res64: 0230B7FCB1ECF550 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:51:36] 717*2^1437344-1 is not prime. Res64: AF967ECE53B5EB85 Time : 0.0 sec. user=mdettweiler [2016-08-12 18:51:36] 803*2^1437344-1 is not prime. Res64: DF88128B576AB99C Time : 0.0 sec. user=mdettweiler [2016-08-12 19:00:21] 927*2^1437344-1 is not prime. Res64: 24E7F29553AEE90B Time : 0.0 sec. user=mdettweiler [2016-08-12 19:00:21] 627*2^1437345-1 is not prime. Res64: 977CAC312F3D70D4 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:00:22] 649*2^1437345-1 is not prime. Res64: B89D2D5CFA742134 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:00:22] 685*2^1437345-1 is not prime. Res64: FC58ED36A57A3209 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:00:22] 717*2^1437345-1 is not prime. Res64: 51AFC894911EFE5E Time : 0.0 sec. user=juhehe [2016-08-12 19:20:13] 727*2^1437345-1 is not prime. Res64: 3B0E4867B374FCC1 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:33:18] 805*2^1437345-1 is not prime. Res64: 3E2E8FF700800FF7 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:33:18] 831*2^1437345-1 is not prime. Res64: CCA440BEC1DE6503 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:33:19] 885*2^1437345-1 is not prime. Res64: 4D1C0E2637B5202C Time : 0.0 sec. user=mdettweiler [2016-08-12 19:33:19] 915*2^1437345-1 is not prime. Res64: BF4097F96549DE1A Time : 0.0 sec. user=mdettweiler [2016-08-12 19:33:20] 985*2^1437345-1 is not prime. Res64: FBE728746CA48F78 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:37:06] 677*2^1437346-1 is not prime. Res64: 9BEB19C71FFE00DB Time : 0.0 sec. user=mdettweiler [2016-08-12 19:37:06] 773*2^1437346-1 is not prime. Res64: 999168E5EF787168 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:37:07] 825*2^1437346-1 is not prime. Res64: A5A34EB986F38B4F Time : 0.0 sec. user=mdettweiler [2016-08-12 19:37:07] 917*2^1437346-1 is not prime. Res64: E2567FB37800882D Time : 0.0 sec. user=mdettweiler [2016-08-12 19:37:07] 981*2^1437346-1 is not prime. Res64: 4F6129BAB9FBBBE5 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:46:12] 619*2^1437347-1 is not prime. Res64: ED09A0EA0E1E837A Time : 0.0 sec. user=mdettweiler [2016-08-12 19:46:13] 801*2^1437347-1 is not prime. Res64: 10C5C70B611DC633 Time : 0.0 sec. user=mdettweiler [2016-08-12 19:46:17] 819*2^1437347-1 is not prime. Res64: 052E2046B815434B Time : 0.0 sec. user=mdettweiler [2016-08-12 19:46:20] 735*2^1437348-1 is not prime. Res64: 05A1AB80E7F639DC Time : 0.0 sec. user=mdettweiler [2016-08-12 19:46:24] 933*2^1437348-1 is not prime. Res64: 28E18864874A7254 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:00:20] 831*2^1437335-1 is not prime. Res64: 16ECA3ABAAC9869A Time : 0.0 sec. user=mdettweiler [2016-08-12 20:00:21] 913*2^1437335-1 is not prime. Res64: 3EE5D9F5213A6D9B Time : 0.0 sec. user=mdettweiler [2016-08-12 20:00:21] 633*2^1437336-1 is not prime. Res64: 614EEF262D92F4FF Time : 0.0 sec. user=mdettweiler [2016-08-12 20:00:22] 789*2^1437336-1 is not prime. Res64: 758B3F0F7DA8ABF9 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:20:27] 747*2^1437349-1 is not prime. Res64: 0919AD95B416C434 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:20:29] 769*2^1437349-1 is not prime. Res64: 0389570A57881CCA Time : 0.0 sec. user=mdettweiler [2016-08-12 20:20:32] 877*2^1437349-1 is not prime. Res64: 3A5C55CC30E1728E Time : 0.0 sec. user=mdettweiler [2016-08-12 20:20:34] 663*2^1437350-1 is not prime. Res64: 579C43F1ED021CD4 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:20:36] 677*2^1437350-1 is not prime. Res64: A5ADEBCD7FC8724B Time : 0.0 sec. user=mdettweiler [2016-08-12 20:23:51] 773*2^1437350-1 is not prime. Res64: 3E5AA32A2D8A9BDB Time : 0.0 sec. user=mdettweiler [2016-08-12 20:23:52] 785*2^1437350-1 is not prime. Res64: E1D390459963BDB9 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:23:52] 897*2^1437350-1 is not prime. Res64: E0AFF82006446394 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:23:52] 941*2^1437350-1 is not prime. Res64: E1956A5727F066C2 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:23:53] 977*2^1437350-1 is not prime. Res64: 3607E76756398951 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:33:24] 615*2^1437351-1 is not prime. Res64: E2A119727D487448 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:33:25] 625*2^1437351-1 is not prime. Res64: ED2C5BBE47101C49 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:33:25] 741*2^1437351-1 is not prime. Res64: 534D1F11F0D2F9B0 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:33:25] 781*2^1437351-1 is not prime. Res64: C5825B30BFDF7AEB Time : 0.0 sec. user=mdettweiler [2016-08-12 20:33:26] 945*2^1437351-1 is not prime. Res64: 19C5BFD5872E2D80 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:46:38] 951*2^1437351-1 is not prime. Res64: 5FC63192F1AD677E Time : 0.0 sec. user=mdettweiler [2016-08-12 20:46:40] 623*2^1437352-1 is not prime. Res64: E91BF97E23B19B1E Time : 0.0 sec. user=mdettweiler [2016-08-12 20:46:42] 705*2^1437352-1 is not prime. Res64: 0C06737517A24FE8 Time : 0.0 sec. user=mdettweiler [2016-08-12 20:46:44] 743*2^1437352-1 is not prime. Res64: BA2415690488821B Time : 0.0 sec. user=mdettweiler [2016-08-12 20:46:47] 819*2^1437352-1 is not prime. Res64: 07DEEDD336F785C2 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:05:32] 863*2^1437352-1 is not prime. Res64: 0E4AF0B4C073A8C8 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:05:35] 873*2^1437352-1 is not prime. Res64: CE9B1C61F8137D9D Time : 0.0 sec. user=mdettweiler [2016-08-12 21:05:36] 917*2^1437352-1 is not prime. Res64: 7C60FC1E4951930A Time : 0.0 sec. user=mdettweiler [2016-08-12 21:05:38] 965*2^1437352-1 is not prime. Res64: 826E3319F4BCB047 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:05:39] 727*2^1437353-1 is not prime. Res64: 0D5EAEA20C5BC12C Time : 0.0 sec. user=mdettweiler [2016-08-12 21:08:45] 759*2^1437353-1 is not prime. Res64: A691321459C81171 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:08:47] 795*2^1437353-1 is not prime. Res64: 243750855AE53604 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:08:48] 957*2^1437353-1 is not prime. Res64: F717CB4D23403770 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:08:50] 969*2^1437353-1 is not prime. Res64: C2366482C85E0B64 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:08:51] 641*2^1437354-1 is not prime. Res64: FE4F8230E957EE76 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:18:15] 707*2^1437354-1 is not prime. Res64: 9D7B691404552370 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:18:17] 825*2^1437354-1 is not prime. Res64: B98B239A3964C12A Time : 0.0 sec. user=mdettweiler [2016-08-12 21:18:19] 851*2^1437354-1 is not prime. Res64: 69752C7E09A37708 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:18:22] 663*2^1437355-1 is not prime. Res64: E0A784255C1380F2 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:18:24] 673*2^1437355-1 is not prime. Res64: 41EBD5C72B4C6358 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:31:37] 679*2^1437355-1 is not prime. Res64: 2270C853DEF672BB Time : 0.0 sec. user=mdettweiler [2016-08-12 21:31:38] 685*2^1437355-1 is not prime. Res64: A9D0E6979FD0A4D7 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:31:38] 699*2^1437355-1 is not prime. Res64: 787B0B2781B6FA46 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:31:39] 843*2^1437355-1 is not prime. Res64: 98CE485FB7EBFA94 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:31:39] 859*2^1437355-1 is not prime. Res64: AB270DF4934BAE5F Time : 0.0 sec. user=mdettweiler [2016-08-12 21:50:59] 891*2^1437355-1 is not prime. Res64: 31E3190992512338 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:51:00] 951*2^1437355-1 is not prime. Res64: 3302BFD9D2D9BA05 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:51:00] 647*2^1437356-1 is not prime. Res64: C9F381FE2D12CC40 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:51:00] 717*2^1437356-1 is not prime. Res64: 32E0A0667E257CE6 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:51:01] 825*2^1437356-1 is not prime. Res64: 89A407AEBC630E61 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:53:55] 963*2^1437356-1 is not prime. Res64: 5D6080AA68B6288A Time : 0.0 sec. user=mdettweiler [2016-08-12 21:53:56] 607*2^1437357-1 is not prime. Res64: 647E8D88A14B3E64 Time : 0.0 sec. user=mdettweiler [2016-08-12 21:53:56] 621*2^1437357-1 is not prime. Res64: 3838AA34EDAD045D Time : 0.0 sec. user=mdettweiler [2016-08-12 21:53:56] 667*2^1437357-1 is not prime. Res64: 2423F03A73A2526F Time : 0.0 sec. user=mdettweiler [2016-08-12 21:53:57] 777*2^1437357-1 is not prime. Res64: F6D698B3ADB67E49 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:03:13] 825*2^1437357-1 is not prime. Res64: F2DC19ED6EF8764D Time : 0.0 sec. user=mdettweiler [2016-08-12 22:03:16] 835*2^1437357-1 is not prime. Res64: C875E673D3C9C495 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:03:17] 927*2^1437357-1 is not prime. Res64: 2A0C5175113C8AE8 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:03:19] 945*2^1437357-1 is not prime. Res64: 5AE063D168B83568 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:03:19] 979*2^1437357-1 is not prime. Res64: 5878E0F3CA2261FA Time : 0.0 sec. user=mdettweiler [2016-08-12 22:16:33] 611*2^1437358-1 is not prime. Res64: FBCB82620C73A180 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:16:39] 665*2^1437358-1 is not prime. Res64: 92C1B6E7F8249B84 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:16:41] 737*2^1437358-1 is not prime. Res64: D501239C6F1F574E Time : 0.0 sec. user=mdettweiler [2016-08-12 22:16:44] 845*2^1437358-1 is not prime. Res64: 8A8E1B41577A8D25 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:16:45] 897*2^1437358-1 is not prime. Res64: 9C0419914764693C Time : 0.0 sec. user=mdettweiler [2016-08-12 22:37:05] 915*2^1437358-1 is not prime. Res64: 23C8CB7CE686FEE3 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:37:05] 993*2^1437358-1 is not prime. Res64: 76FE8A8E86F8B74D Time : 0.0 sec. user=mdettweiler [2016-08-12 22:37:06] 669*2^1437359-1 is not prime. Res64: 6F68C77F3A7D199F Time : 0.0 sec. user=mdettweiler [2016-08-12 22:37:06] 705*2^1437359-1 is not prime. Res64: EEB261671FD47DFE Time : 0.0 sec. user=mdettweiler [2016-08-12 22:37:06] 753*2^1437359-1 is not prime. Res64: 06D069DD3E6D6301 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:40:18] 799*2^1437359-1 is not prime. Res64: F9BD407DDC130692 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:50:13] 929*2^1437360-1 is not prime. Res64: 31F156EDC6AACC99 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:50:17] 607*2^1437361-1 is not prime. Res64: C28D1DD365BE7DA4 Time : 0.0 sec. user=mdettweiler [2016-08-12 22:50:20] 639*2^1437361-1 is not prime. Res64: 5F12F2E07305009E Time : 0.0 sec. user=mdettweiler [2016-08-12 22:50:24] 685*2^1437361-1 is not prime. Res64: 8DC99A27E90658DC Time : 0.0 sec. user=mdettweiler [2016-08-12 22:50:28] 789*2^1437361-1 is not prime. Res64: C568F89719E1C06F Time : 0.0 sec. user=mdettweiler [2016-08-12 23:04:57] 799*2^1437361-1 is not prime. Res64: A6F3FFD26D4B002A Time : 0.0 sec. user=mdettweiler [2016-08-12 23:04:58] 835*2^1437361-1 is not prime. Res64: DD2BF1AB00A1EA38 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:04:59] 981*2^1437361-1 is not prime. Res64: F4B7D36FD7E98533 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:05:00] 633*2^1437362-1 is not prime. Res64: 33F0FA8A79E7BEDF Time : 0.0 sec. user=mdettweiler [2016-08-12 23:05:01] 683*2^1437362-1 is not prime. Res64: 7F7E0DFCD2CF8A0C Time : 0.0 sec. user=mdettweiler [2016-08-12 23:27:12] 731*2^1437362-1 is not prime. Res64: B9F126BDB395AE7F Time : 0.0 sec. user=mdettweiler [2016-08-12 23:27:13] 771*2^1437362-1 is not prime. Res64: C455A4E48298268B Time : 0.0 sec. user=mdettweiler [2016-08-12 23:27:13] 797*2^1437362-1 is not prime. Res64: 78DCA9A80419AA8C Time : 0.0 sec. user=mdettweiler [2016-08-12 23:27:13] 801*2^1437362-1 is not prime. Res64: 8918EFE8E3F7E454 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:27:13] 801*2^1437363-1 is not prime. Res64: B9253C783D896DB6 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:41:37] 819*2^1437363-1 is not prime. Res64: C3FF649CF50ED997 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:41:37] 973*2^1437363-1 is not prime. Res64: 579981CFFAB14359 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:41:41] 615*2^1437364-1 is not prime. Res64: E07813AEF793DB28 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:41:44] 657*2^1437364-1 is not prime. Res64: B39EB77CF36F5CAE Time : 0.0 sec. user=mdettweiler [2016-08-12 23:41:48] 677*2^1437364-1 is not prime. Res64: DB682BC483BDC286 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:56:21] 699*2^1437364-1 is not prime. Res64: 4E60D9FBE1B0C5BC Time : 0.0 sec. user=mdettweiler [2016-08-12 23:56:22] 749*2^1437364-1 is not prime. Res64: B8F4D662AC362BB6 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:56:22] 759*2^1437364-1 is not prime. Res64: 8B77C7EC19E60DC5 Time : 0.0 sec. user=mdettweiler [2016-08-12 23:56:22] 803*2^1437364-1 is not prime. Res64: 69424DF97DEFA0BA Time : 0.0 sec. user=mdettweiler [2016-08-12 23:56:22] 827*2^1437364-1 is not prime. Res64: 368A6DEEA4117CE6 Time : 0.0 sec.