user=mdettweiler [2012-01-16 00:02:45] 731*2^1001410-1 is not prime. Res64: A6DB8AD51930D27B Time : 0.0 sec. user=mdettweiler [2012-01-16 00:08:19] 915*2^1001405-1 is not prime. Res64: CA067FBB3B4F5432 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:08:20] 957*2^1001405-1 is not prime. Res64: D8B72FBCEF596D64 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:10:14] 803*2^1001410-1 is not prime. Res64: 3C05305349E3D4C3 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:14:06] 753*2^1001400-1 is not prime. Res64: CF7AB4DBB0140E9A Time : 0.0 sec. user=mdettweiler [2012-01-16 00:14:07] 773*2^1001400-1 is not prime. Res64: F18195B783601029 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:14:09] 795*2^1001403-1 is not prime. Res64: 339FFEB6593EF360 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:14:11] 823*2^1001403-1 is not prime. Res64: 86D9D90E96EE859C Time : 0.0 sec. user=mdettweiler [2012-01-16 00:16:50] 827*2^1001402-1 is not prime. Res64: 4EB11196198C5378 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:16:51] 917*2^1001402-1 is not prime. Res64: 03D96E33639F2D68 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:17:41] 711*2^1001411-1 is not prime. Res64: 18D7709DBD924318 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:26:54] 957*2^1001412-1 is not prime. Res64: 2C4B812E17527882 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:33:55] 693*2^1001412-1 is not prime. Res64: D120B8D53D8404AE Time : 0.0 sec. user=mdettweiler [2012-01-16 00:33:56] 699*2^1001412-1 is not prime. Res64: BD4D4EFC5AE7844F Time : 0.0 sec. user=mdettweiler [2012-01-16 00:34:01] 825*2^1001412-1 is not prime. Res64: 3418F320AE37196E Time : 0.0 sec. user=mdettweiler [2012-01-16 00:34:02] 863*2^1001412-1 is not prime. Res64: 1B66B4B67FAC30E8 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:34:22] 741*2^1001413-1 is not prime. Res64: 000B93F4E3B695B9 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:16] 969*2^1001411-1 is not prime. Res64: 9A0EC3B308E08877 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:17] 759*2^1001412-1 is not prime. Res64: 230E8C54F8F3E9CD Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:40] 603*2^1001408-1 is not prime. Res64: D428933ADBF2951E Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:40] 615*2^1001408-1 is not prime. Res64: D56F0CF9E1116884 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:52] 903*2^1001412-1 is not prime. Res64: 086D646CE307E3FA Time : 0.0 sec. user=mdettweiler [2012-01-16 00:36:52] 929*2^1001412-1 is not prime. Res64: F2F60CD67E3D2BB5 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:41:53] 777*2^1001410-1 is not prime. Res64: 90E24A9474EDDF1C Time : 0.0 sec. user=mdettweiler [2012-01-16 00:41:55] 791*2^1001414-1 is not prime. Res64: C551411D45B0C395 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:47:05] 729*2^1001408-1 is not prime. Res64: DE817F4848E5EF41 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:47:06] 827*2^1001408-1 is not prime. Res64: EDE4C673BAF7E027 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:49:35] 919*2^1001415-1 is not prime. Res64: 834FDEE9EED1051F Time : 0.0 sec. user=mdettweiler [2012-01-16 00:49:36] 933*2^1001415-1 is not prime. Res64: E8EABDD9D4295FF7 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:53:37] 855*2^1001413-1 is not prime. Res64: CDA200EA5553D138 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:53:38] 889*2^1001413-1 is not prime. Res64: 46E2849787311014 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:53:47] 937*2^1001413-1 is not prime. Res64: 5DF82720265E79CA Time : 0.0 sec. user=mdettweiler [2012-01-16 00:53:47] 687*2^1001414-1 is not prime. Res64: 7B13137AF6477F4F Time : 0.0 sec. user=mdettweiler [2012-01-16 00:56:37] 795*2^1001415-1 is not prime. Res64: 48CA32890940634E Time : 0.0 sec. user=mdettweiler [2012-01-16 00:56:37] 805*2^1001415-1 is not prime. Res64: 850A973730542784 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:57:19] 779*2^1001416-1 is not prime. Res64: 8BC593F3C4CDF600 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:57:20] 705*2^1001416-1 is not prime. Res64: 0B179B5421AB0405 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:58:17] 983*2^1001414-1 is not prime. Res64: 70AB47018579D110 Time : 0.0 sec. user=mdettweiler [2012-01-16 00:58:18] 613*2^1001415-1 is not prime. Res64: 8A333EFCD2F39DB7 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:05:51] 633*2^1001418-1 is not prime. Res64: 301B235164D22048 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:05:52] 641*2^1001418-1 is not prime. Res64: 8808E88AF9B3B31B Time : 0.0 sec. user=mdettweiler [2012-01-16 01:13:18] 869*2^1001416-1 is not prime. Res64: D6769EE2A907A920 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:13:19] 923*2^1001416-1 is not prime. Res64: B59C10FF595A63C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:13:30] 741*2^1001417-1 is not prime. Res64: D4E8A3F4A7254678 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:13:32] 925*2^1001417-1 is not prime. Res64: 3D86597BD35B8600 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:13:35] 615*2^1001419-1 is not prime. Res64: 78241A7E971A9107 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:15:19] 945*2^1001418-1 is not prime. Res64: 17EA9814EDEE029E Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:02] 797*2^1001418-1 is not prime. Res64: A7253DC6F80A97D4 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:03] 843*2^1001418-1 is not prime. Res64: 9067308D6E0E471F Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:32] 665*2^1001410-1 is not prime. Res64: EFF03FD35391CC9F Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:32] 955*2^1001417-1 is not prime. Res64: 063565161A3EDB5F Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:37] 675*2^1001410-1 is not prime. Res64: CF374D9B34E47EFB Time : 0.0 sec. user=mdettweiler [2012-01-16 01:18:39] 605*2^1001418-1 is not prime. Res64: 36A6B1E907C9FBC5 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:21:03] 835*2^1001419-1 is not prime. Res64: 0D433094A77461BF Time : 0.0 sec. user=mdettweiler [2012-01-16 01:28:32] 885*2^1001420-1 is not prime. Res64: 4EAE40B6F41E9050 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:33:02] 649*2^1001419-1 is not prime. Res64: BBF10AF8995E7B21 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:35:57] 825*2^1001410-1 is not prime. Res64: B0A56B75113B168A Time : 0.0 sec. user=mdettweiler [2012-01-16 01:35:57] 649*2^1001411-1 is not prime. Res64: 3D7878DB9244BCAA Time : 0.0 sec. user=mdettweiler [2012-01-16 01:36:00] 899*2^1001420-1 is not prime. Res64: F4F7500364F1B0B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:38:45] 785*2^1001420-1 is not prime. Res64: EA5D155717D60FCC Time : 0.0 sec. user=mdettweiler [2012-01-16 01:38:46] 875*2^1001420-1 is not prime. Res64: D7F4F99BF342523E Time : 0.0 sec. user=mdettweiler [2012-01-16 01:40:13] 885*2^1001419-1 is not prime. Res64: FA3FB58A786D5BD0 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:40:14] 985*2^1001419-1 is not prime. Res64: 76FCB80929630C5D Time : 0.0 sec. user=mdettweiler [2012-01-16 01:43:30] 781*2^1001421-1 is not prime. Res64: CA62C7218D43C89C Time : 0.0 sec. user=mdettweiler [2012-01-16 01:47:07] 681*2^1001419-1 is not prime. Res64: 2B6923FA94A87CCC Time : 0.0 sec. user=mdettweiler [2012-01-16 01:50:57] 761*2^1001422-1 is not prime. Res64: E08128A68F9C9FE6 Time : 0.0 sec. user=mdettweiler [2012-01-16 01:56:52] 721*2^1001423-1 is not prime. Res64: 1EA4434A67CF5B8D Time : 0.0 sec. user=mdettweiler [2012-01-16 01:58:35] 741*2^1001423-1 is not prime. Res64: 744F811A123BDE7B Time : 0.0 sec. user=mdettweiler [2012-01-16 02:00:20] 675*2^1001422-1 is not prime. Res64: FBFAA14E42B4A15C Time : 0.0 sec. user=mdettweiler [2012-01-16 02:00:26] 741*2^1001422-1 is not prime. Res64: EC2460550EFE2081 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:01:01] 901*2^1001421-1 is not prime. Res64: 6A044F5D33F0A846 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:01:06] 955*2^1001421-1 is not prime. Res64: 5D3576EB7F62F823 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:01:39] 739*2^1001415-1 is not prime. Res64: 5740708EBE2E0510 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:01:41] 751*2^1001415-1 is not prime. Res64: AC5C2B2B687F58A1 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:04:29] 741*2^1001419-1 is not prime. Res64: 33FB6FD1F4D2BC67 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:04:30] 769*2^1001419-1 is not prime. Res64: 65BD8C50644A88FB Time : 0.0 sec. user=mdettweiler [2012-01-16 02:04:30] 819*2^1001423-1 is not prime. Res64: EC47F5DECC352F06 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:06:12] 605*2^1001424-1 is not prime. Res64: E5DC05BB3AF53F0C Time : 0.0 sec. user=mdettweiler [2012-01-16 02:09:18] 791*2^1001422-1 is not prime. Res64: 5E7753363B55B826 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:09:19] 975*2^1001422-1 is not prime. Res64: E0C039C84C92AA92 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:13:53] 683*2^1001426-1 is not prime. Res64: 5CA912895D591CD0 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:13:59] 939*2^1001425-1 is not prime. Res64: D369FAC9105F6BD7 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:21:44] 903*2^1001426-1 is not prime. Res64: A08C45215E06B016 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:21:44] 893*2^1001426-1 is not prime. Res64: 278789E5E5D836C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:23:57] 963*2^1001415-1 is not prime. Res64: 6F9594DA55B35DE3 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:23:57] 639*2^1001416-1 is not prime. Res64: 629DF058E76ECD40 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:37] 699*2^1001425-1 is not prime. Res64: 9C753F5E92F7D8B4 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:38] 721*2^1001425-1 is not prime. Res64: 0312D737BB4B1A2E Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:40] 635*2^1001424-1 is not prime. Res64: 2648DDD811E8FCAB Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:41] 915*2^1001424-1 is not prime. Res64: F820373760F13F3F Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:42] 633*2^1001426-1 is not prime. Res64: EF149C6CC30A3FD6 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:26:43] 641*2^1001426-1 is not prime. Res64: 559526553B8D57B7 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:29:27] 935*2^1001426-1 is not prime. Res64: 37D284F0B03D04E7 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:31:09] 945*2^1001426-1 is not prime. Res64: D4E3FF6D6BBD23EF Time : 0.0 sec. user=mdettweiler [2012-01-16 02:36:30] 713*2^1001426-1 is not prime. Res64: 4A07FD38DBC4B22B Time : 0.0 sec. user=mdettweiler [2012-01-16 02:36:31] 735*2^1001426-1 is not prime. Res64: 3502ACFD45D3E8B1 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:37:02] 743*2^1001428-1 is not prime. Res64: 09C38FDB3F0070F5 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:39:09] 909*2^1001428-1 is not prime. Res64: DA73DB288C1F8E16 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:44:40] 711*2^1001429-1 is not prime. Res64: 197DE851B25144E9 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:45:18] 725*2^1001420-1 is not prime. Res64: EF6DE9164ECBF94C Time : 0.0 sec. user=mdettweiler [2012-01-16 02:45:19] 879*2^1001420-1 is not prime. Res64: 2AA257ED3490196B Time : 0.0 sec. user=mdettweiler [2012-01-16 02:46:20] 741*2^1001427-1 is not prime. Res64: 8457A735A193002C Time : 0.0 sec. user=mdettweiler [2012-01-16 02:46:21] 751*2^1001427-1 is not prime. Res64: 8167181D458655B2 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:46:24] 605*2^1001428-1 is not prime. Res64: B0E0950AD76D11A7 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:46:24] 723*2^1001428-1 is not prime. Res64: AAB80F66E6C0CA55 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:46:44] 787*2^1001429-1 is not prime. Res64: 70952C8A61F74C26 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:48:39] 793*2^1001427-1 is not prime. Res64: AE9062E2F2B680A0 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:48:40] 961*2^1001427-1 is not prime. Res64: C609F899120BAF14 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:52:22] 789*2^1001429-1 is not prime. Res64: 5AE403D800D9A7E1 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:56:07] 949*2^1001429-1 is not prime. Res64: 3418825C8D94EB75 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:56:08] 927*2^1001428-1 is not prime. Res64: 879737DD63B7D2F9 Time : 0.0 sec. user=mdettweiler [2012-01-16 02:56:09] 615*2^1001429-1 is not prime. Res64: EDFAA354D41C31DC Time : 0.0 sec. user=mdettweiler [2012-01-16 03:00:00] 741*2^1001430-1 is not prime. Res64: 706066C93DEE75A4 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:03:45] 797*2^1001430-1 is not prime. Res64: 89C779B85691F655 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:05:59] 837*2^1001429-1 is not prime. Res64: 062EAF7DA21AFA29 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:06:00] 847*2^1001429-1 is not prime. Res64: 1DA31FE9666EF6BA Time : 0.0 sec. user=mdettweiler [2012-01-16 03:06:02] 861*2^1001429-1 is not prime. Res64: 15364446CD72C931 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:06:06] 889*2^1001429-1 is not prime. Res64: 082CCC1C7D507CFF Time : 0.0 sec. user=mdettweiler [2012-01-16 03:07:44] 603*2^1001431-1 is not prime. Res64: 89095033698CE8DC Time : 0.0 sec. user=mdettweiler [2012-01-16 03:08:18] 635*2^1001430-1 is not prime. Res64: 6A5FE85020A59F7E Time : 0.0 sec. user=mdettweiler [2012-01-16 03:08:19] 711*2^1001430-1 is not prime. Res64: 62C3F487D18E6A9A Time : 0.0 sec. user=mdettweiler [2012-01-16 03:11:23] 625*2^1001431-1 is not prime. Res64: 69EC83CCF31F8B41 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:11:51] 915*2^1001420-1 is not prime. Res64: 03846F9DB98E99FC Time : 0.0 sec. user=mdettweiler [2012-01-16 03:11:52] 999*2^1001420-1 is not prime. Res64: 4200D9E002731E79 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:15:28] 901*2^1001431-1 is not prime. Res64: BF1E4B555D2502A8 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:15:59] 801*2^1001430-1 is not prime. Res64: CC9450AA5EE940F0 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:18:53] 753*2^1001432-1 is not prime. Res64: 1468253214E0672B Time : 0.0 sec. user=mdettweiler [2012-01-16 03:25:21] 957*2^1001432-1 is not prime. Res64: 8EDE908B675EBBAB Time : 0.0 sec. user=mdettweiler [2012-01-16 03:25:53] 793*2^1001431-1 is not prime. Res64: D1EB703441EB6E03 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:25:53] 859*2^1001431-1 is not prime. Res64: 354EB2A707FA23CF Time : 0.0 sec. user=mdettweiler [2012-01-16 03:25:54] 703*2^1001431-1 is not prime. Res64: 0DB291C36B5A00F1 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:25:55] 709*2^1001431-1 is not prime. Res64: C4D7A3F73953CB1A Time : 0.0 sec. user=mdettweiler [2012-01-16 03:26:32] 651*2^1001433-1 is not prime. Res64: DFC920AA4437DE02 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:28:33] 895*2^1001425-1 is not prime. Res64: 08B9A2C527D6F825 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:28:34] 897*2^1001425-1 is not prime. Res64: 5493B0DF238CED7A Time : 0.0 sec. user=mdettweiler [2012-01-16 03:32:41] 961*2^1001431-1 is not prime. Res64: DD600B84ABDCB709 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:44:30] 851*2^1001430-1 is not prime. Res64: 36D4177B82B36C26 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:45:58] 691*2^1001433-1 is not prime. Res64: 9F8E28E06EB3E5BD Time : 0.0 sec. user=mdettweiler [2012-01-16 03:45:59] 727*2^1001433-1 is not prime. Res64: 6B168047D7157E54 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:45:59] 807*2^1001433-1 is not prime. Res64: 117E2A57D9B89F1F Time : 0.0 sec. user=mdettweiler [2012-01-16 03:46:00] 835*2^1001433-1 is not prime. Res64: 2475AE54938DAD45 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:59:07] 685*2^1001433-1 is not prime. Res64: DFD765C5EAC04D58 Time : 0.0 sec. user=mdettweiler [2012-01-16 03:59:31] 889*2^1001433-1 is not prime. Res64: 814F5E38E445391F Time : 0.0 sec. user=mdettweiler [2012-01-16 04:00:52] 969*2^1001431-1 is not prime. Res64: 4259C1F6C38AB0E9 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:04:44] 791*2^1001434-1 is not prime. Res64: 919D5574166D6768 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:04:45] 825*2^1001434-1 is not prime. Res64: 6560225865A67F55 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:06:06] 601*2^1001435-1 is not prime. Res64: 4C2FD26274CB3D9D Time : 0.0 sec. user=mdettweiler [2012-01-16 04:06:07] 775*2^1001435-1 is not prime. Res64: A6E56C3D097F5C81 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:06:50] 805*2^1001435-1 is not prime. Res64: D1F27008056FA7C7 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:07:11] 823*2^1001435-1 is not prime. Res64: 9C90D3EDA34B830A Time : 0.0 sec. user=mdettweiler [2012-01-16 04:10:17] 971*2^1001426-1 is not prime. Res64: 7E386C303C5A38B4 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:10:19] 1001*2^1001426-1 is not prime. Res64: 5D24FFBAE34B0D9B Time : 0.0 sec. user=mdettweiler [2012-01-16 04:10:39] 971*2^1001434-1 is not prime. Res64: 98EF9928DF112BF6 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:10:40] 1001*2^1001434-1 is not prime. Res64: 4EB6256100F127B9 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:11:29] 795*2^1001429-1 is not prime. Res64: 7A8C8457A909FB7D Time : 0.0 sec. user=mdettweiler [2012-01-16 04:11:29] 825*2^1001429-1 is not prime. Res64: AA206F741DAD2858 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:14:29] 653*2^1001436-1 is not prime. Res64: AA9EC2C81D75457B Time : 0.0 sec. user=mdettweiler [2012-01-16 04:14:52] 669*2^1001436-1 is not prime. Res64: 8A72743A6A3A8D0E Time : 0.0 sec. user=mdettweiler [2012-01-16 04:22:14] 897*2^1001437-1 is not prime. Res64: F0AA41163DF276BE Time : 0.0 sec. user=mdettweiler [2012-01-16 04:22:34] 603*2^1001438-1 is not prime. Res64: C52A4193C197E3E7 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:22:53] 841*2^1001435-1 is not prime. Res64: 384FFAEE01D33192 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:22:54] 949*2^1001435-1 is not prime. Res64: 4FE6369ABDB52A77 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:28:11] 981*2^1001435-1 is not prime. Res64: F5B2F0CF780DF8E5 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:28:12] 633*2^1001436-1 is not prime. Res64: 80D7991FD6030E1E Time : 0.0 sec. user=mdettweiler [2012-01-16 04:28:57] 969*2^1001435-1 is not prime. Res64: F58D7C52E1D31350 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:28:58] 979*2^1001435-1 is not prime. Res64: 86190DA03BBC99A7 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:29:52] 657*2^1001438-1 is not prime. Res64: B46CFF9B8B47E6BD Time : 0.0 sec. user=mdettweiler [2012-01-16 04:30:12] 711*2^1001438-1 is not prime. Res64: EA8769AD0B7D1AA2 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:30:29] 779*2^1001436-1 is not prime. Res64: 729873C5F4F2CB04 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:30:33] 843*2^1001436-1 is not prime. Res64: 48024EDD6B2E48B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:37:31] 789*2^1001439-1 is not prime. Res64: 8476FBCA09E2BA9F Time : 0.0 sec. user=mdettweiler [2012-01-16 04:37:49] 603*2^1001440-1 is not prime. Res64: 4560A4EF126B8A7A Time : 0.0 sec. user=mdettweiler [2012-01-16 04:39:00] 767*2^1001432-1 is not prime. Res64: CF17A31ADC5E2088 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:39:01] 875*2^1001432-1 is not prime. Res64: 873B4EBAA65E5EBB Time : 0.0 sec. user=mdettweiler [2012-01-16 04:44:51] 941*2^1001438-1 is not prime. Res64: ABDC4E74C16D63CB Time : 0.0 sec. user=mdettweiler [2012-01-16 04:44:51] 615*2^1001439-1 is not prime. Res64: FE44259E359A209E Time : 0.0 sec. user=mdettweiler [2012-01-16 04:45:09] 755*2^1001440-1 is not prime. Res64: 985C1BDE84DE120C Time : 0.0 sec. user=mdettweiler [2012-01-16 04:45:28] 765*2^1001440-1 is not prime. Res64: 2A0801249A779222 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:47:52] 691*2^1001439-1 is not prime. Res64: 47BB28EAAECF28A5 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:47:52] 711*2^1001439-1 is not prime. Res64: 3BEBF46FF66D581F Time : 0.0 sec. user=mdettweiler [2012-01-16 04:48:38] 741*2^1001439-1 is not prime. Res64: C050411F0D6A943E Time : 0.0 sec. user=mdettweiler [2012-01-16 04:48:39] 751*2^1001439-1 is not prime. Res64: 043B40DD400A3B24 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:50:33] 623*2^1001440-1 is not prime. Res64: B77E58B2F61DBA79 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:50:33] 629*2^1001440-1 is not prime. Res64: 1985D3EBC0E542D5 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:52:46] 657*2^1001441-1 is not prime. Res64: 7BC657FFB18BA629 Time : 0.0 sec. user=mdettweiler [2012-01-16 04:53:04] 775*2^1001441-1 is not prime. Res64: DC932DC03DFE4D5B Time : 0.0 sec. user=mdettweiler [2012-01-16 05:00:23] 797*2^1001442-1 is not prime. Res64: B03057E9E3624D8C Time : 0.0 sec. user=mdettweiler [2012-01-16 05:00:42] 873*2^1001442-1 is not prime. Res64: 35EF4E197212BC72 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:04:58] 999*2^1001433-1 is not prime. Res64: 6A47B850900BC3EA Time : 0.0 sec. user=mdettweiler [2012-01-16 05:04:59] 611*2^1001434-1 is not prime. Res64: 37FB29C7CDDDCB7F Time : 0.0 sec. user=mdettweiler [2012-01-16 05:06:48] 863*2^1001440-1 is not prime. Res64: 0667BA64BD1E2B21 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:06:49] 999*2^1001440-1 is not prime. Res64: 70B6782EC156E035 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:08:04] 917*2^1001442-1 is not prime. Res64: 476C6ADF30651632 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:08:18] 621*2^1001442-1 is not prime. Res64: 188CC28E2AC78D32 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:08:19] 677*2^1001442-1 is not prime. Res64: 5A91D6442E49BD77 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:08:19] 603*2^1001443-1 is not prime. Res64: B4AB5780E981463A Time : 0.0 sec. user=mdettweiler [2012-01-16 05:09:46] 855*2^1001441-1 is not prime. Res64: 7D2B3EC69FC368F6 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:09:47] 967*2^1001441-1 is not prime. Res64: 91F0AC9025B1B4F4 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:10:10] 681*2^1001442-1 is not prime. Res64: FF26601E9EF71BB1 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:10:11] 777*2^1001442-1 is not prime. Res64: 22509F9F7DD845EC Time : 0.0 sec. user=mdettweiler [2012-01-16 05:16:01] 767*2^1001444-1 is not prime. Res64: BB06AC278072A1CF Time : 0.0 sec. user=mdettweiler [2012-01-16 05:17:24] 945*2^1001443-1 is not prime. Res64: B04D34E926534815 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:23:38] 861*2^1001445-1 is not prime. Res64: C4BC2E2847207F36 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:25:05] 889*2^1001445-1 is not prime. Res64: 3D155F63A336F166 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:26:32] 859*2^1001443-1 is not prime. Res64: 8FE44D67FC7C7E18 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:26:33] 895*2^1001443-1 is not prime. Res64: A466701D16B328D1 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:30:02] 709*2^1001445-1 is not prime. Res64: 9C0C74A84A44F8DC Time : 0.0 sec. user=mdettweiler [2012-01-16 05:30:08] 735*2^1001445-1 is not prime. Res64: C1454AC2F6CB4014 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:31:16] 937*2^1001445-1 is not prime. Res64: F98616CAF9EA7D0B Time : 0.0 sec. user=mdettweiler [2012-01-16 05:35:50] 737*2^1001446-1 is not prime. Res64: 98BCFE75EAE42825 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:35:52] 675*2^1001436-1 is not prime. Res64: 7FE9B554ED1420E3 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:35:53] 777*2^1001436-1 is not prime. Res64: F2EEFAA26976E2C5 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:37:32] 961*2^1001443-1 is not prime. Res64: CF599ECDF6E2C62A Time : 0.0 sec. user=mdettweiler [2012-01-16 05:37:33] 993*2^1001443-1 is not prime. Res64: 9162F82C76F97FB9 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:39:52] 729*2^1001437-1 is not prime. Res64: D1EACF0AF1FA0572 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:39:52] 771*2^1001437-1 is not prime. Res64: BE6F852B99A7C5D4 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:41:39] 873*2^1001446-1 is not prime. Res64: BDDDF4C6E956D033 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:43:28] 881*2^1001446-1 is not prime. Res64: 2F1381A33C5D716E Time : 0.0 sec. user=mdettweiler [2012-01-16 05:46:10] 741*2^1001446-1 is not prime. Res64: C9A31E133F1FF5CF Time : 0.0 sec. user=mdettweiler [2012-01-16 05:46:10] 747*2^1001446-1 is not prime. Res64: ADCF14C2DF0956D1 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:49:16] 759*2^1001447-1 is not prime. Res64: 0183CD0FC7CC4E5F Time : 0.0 sec. user=mdettweiler [2012-01-16 05:49:54] 765*2^1001446-1 is not prime. Res64: 77D7AEC63C8E3A52 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:49:54] 857*2^1001446-1 is not prime. Res64: D9422D1CB8ADD1CA Time : 0.0 sec. user=mdettweiler [2012-01-16 05:51:03] 825*2^1001447-1 is not prime. Res64: F5E3FAA9BE9F492F Time : 0.0 sec. user=mdettweiler [2012-01-16 05:53:06] 993*2^1001444-1 is not prime. Res64: 9D8ECD4A528D1888 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:53:07] 607*2^1001445-1 is not prime. Res64: 61CF981B5CBD1B61 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:56:51] 695*2^1001448-1 is not prime. Res64: 025E70F77EB4231F Time : 0.0 sec. user=mdettweiler [2012-01-16 05:57:11] 619*2^1001447-1 is not prime. Res64: B286F34E490F4E3F Time : 0.0 sec. user=mdettweiler [2012-01-16 05:57:12] 621*2^1001447-1 is not prime. Res64: BDB6CABE7AD5E6A0 Time : 0.0 sec. user=mdettweiler [2012-01-16 05:58:39] 893*2^1001448-1 is not prime. Res64: 4AF3F1E493FC5B44 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:04:34] 687*2^1001449-1 is not prime. Res64: 71534AA6841BCBFC Time : 0.0 sec. user=mdettweiler [2012-01-16 06:05:49] 931*2^1001447-1 is not prime. Res64: 9B1083DCFB1293A3 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:05:50] 657*2^1001448-1 is not prime. Res64: 9914AC93C4534F30 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:06:23] 831*2^1001449-1 is not prime. Res64: 2435A3FC7973F2C3 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:07:49] 827*2^1001440-1 is not prime. Res64: 9E07EF7E3DFFECA5 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:07:50] 843*2^1001440-1 is not prime. Res64: F8304C67DE5CD646 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:09:32] 747*2^1001448-1 is not prime. Res64: 846E257722DC91BC Time : 0.0 sec. user=mdettweiler [2012-01-16 06:09:33] 843*2^1001448-1 is not prime. Res64: 01CABC4B5D7E00BE Time : 0.0 sec. user=mdettweiler [2012-01-16 06:12:19] 909*2^1001449-1 is not prime. Res64: 055398F661D1ADF6 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:14:03] 645*2^1001450-1 is not prime. Res64: 1DFDCCBC1BDB6E37 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:15:04] 927*2^1001448-1 is not prime. Res64: C74654240F9165B3 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:15:10] 977*2^1001448-1 is not prime. Res64: 34A5D519E5883937 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:16:56] 765*2^1001449-1 is not prime. Res64: AA38C15F3FAA64C4 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:16:58] 775*2^1001449-1 is not prime. Res64: AF7FEE2FB6E3FC66 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:19:55] 833*2^1001450-1 is not prime. Res64: E19F66073C43A96E Time : 0.0 sec. user=mdettweiler [2012-01-16 06:21:42] 867*2^1001450-1 is not prime. Res64: AB397448DA7792A8 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:25:29] 615*2^1001450-1 is not prime. Res64: 8C2CFE42CCA2AB45 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:25:30] 633*2^1001450-1 is not prime. Res64: A0BE8729ED0D130E Time : 0.0 sec. user=mdettweiler [2012-01-16 06:27:31] 793*2^1001451-1 is not prime. Res64: CDE8CFF42486BDD7 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:29:16] 873*2^1001451-1 is not prime. Res64: CDD2D5330339874A Time : 0.0 sec. user=mdettweiler [2012-01-16 06:30:25] 625*2^1001443-1 is not prime. Res64: 38A9DE8BA6F04110 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:30:28] 805*2^1001443-1 is not prime. Res64: 8D6C02C446AF8EC3 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:34:53] 665*2^1001452-1 is not prime. Res64: 87DEF5B4761E734A Time : 0.0 sec. user=mdettweiler [2012-01-16 06:37:03] 741*2^1001451-1 is not prime. Res64: 5DD1E87E38233AE0 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:37:03] 775*2^1001451-1 is not prime. Res64: 71F940433884C93B Time : 0.0 sec. user=mdettweiler [2012-01-16 06:37:21] 1001*2^1001450-1 is not prime. Res64: 1008B1BEAE1CEC90 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:37:22] 735*2^1001451-1 is not prime. Res64: 558574B0730FAB3E Time : 0.0 sec. user=mdettweiler [2012-01-16 06:42:14] 719*2^1001452-1 is not prime. Res64: 67E9E6B4461295B9 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:47:36] 999*2^1001451-1 is not prime. Res64: 4FA68353C5E5EBCA Time : 0.0 sec. user=mdettweiler [2012-01-16 06:47:36] 609*2^1001452-1 is not prime. Res64: 27202D454EF64BC8 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:49:36] 747*2^1001453-1 is not prime. Res64: 6604CE2A20166F59 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:56:54] 869*2^1001452-1 is not prime. Res64: 1BC4BFBC663AA219 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:56:54] 923*2^1001452-1 is not prime. Res64: A0435411AEBBE711 Time : 0.0 sec. user=mdettweiler [2012-01-16 06:56:56] 901*2^1001453-1 is not prime. Res64: 2BAF907CD505F2FC Time : 0.0 sec. user=mdettweiler [2012-01-16 06:59:06] 797*2^1001450-1 is not prime. Res64: 0B76AE287A680E1D Time : 0.0 sec. user=mdettweiler [2012-01-16 06:59:07] 831*2^1001450-1 is not prime. Res64: 781C64BC7CF0103F Time : 0.0 sec. user=mdettweiler [2012-01-16 07:01:48] 965*2^1001452-1 is not prime. Res64: EC772B51FFB11848 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:01:49] 987*2^1001452-1 is not prime. Res64: 2FE9557092C88661 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:04:30] 791*2^1001454-1 is not prime. Res64: 0F7D6442EC435AAF Time : 0.0 sec. user=mdettweiler [2012-01-16 07:05:57] 955*2^1001453-1 is not prime. Res64: 9E15BCC3AE2770AD Time : 0.0 sec. user=mdettweiler [2012-01-16 07:07:27] 831*2^1001453-1 is not prime. Res64: 347EF527D64034E2 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:07:28] 885*2^1001453-1 is not prime. Res64: B11879936BCED8BA Time : 0.0 sec. user=mdettweiler [2012-01-16 07:07:38] 649*2^1001447-1 is not prime. Res64: DE5449C868D6CFBE Time : 0.0 sec. user=mdettweiler [2012-01-16 07:07:40] 703*2^1001447-1 is not prime. Res64: 85A67E9118DDB50E Time : 0.0 sec. user=mdettweiler [2012-01-16 07:09:36] 917*2^1001446-1 is not prime. Res64: E1EEDAE92D571595 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:09:37] 947*2^1001446-1 is not prime. Res64: B60CA027BE55CDCC Time : 0.0 sec. user=mdettweiler [2012-01-16 07:12:05] 863*2^1001454-1 is not prime. Res64: 343FD61DE1EB637C Time : 0.0 sec. user=mdettweiler [2012-01-16 07:13:32] 805*2^1001455-1 is not prime. Res64: 7A33559F6AC619DF Time : 0.0 sec. user=mdettweiler [2012-01-16 07:18:43] 797*2^1001454-1 is not prime. Res64: 418A044DEB6E6704 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:18:44] 807*2^1001454-1 is not prime. Res64: 2DCFA4CFE3D78D86 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:18:49] 979*2^1001453-1 is not prime. Res64: B023F650002164F6 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:18:50] 747*2^1001454-1 is not prime. Res64: F671A93D6E5EE03B Time : 0.0 sec. user=mdettweiler [2012-01-16 07:19:39] 691*2^1001457-1 is not prime. Res64: 90B5705EEFF6D6F7 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:21:09] 769*2^1001457-1 is not prime. Res64: 9168D2E4E00161AE Time : 0.0 sec. user=mdettweiler [2012-01-16 07:21:33] 851*2^1001454-1 is not prime. Res64: B04F3773B1E2FEDB Time : 0.0 sec. user=mdettweiler [2012-01-16 07:21:34] 861*2^1001454-1 is not prime. Res64: EF7C4389FE7EC52C Time : 0.0 sec. user=mdettweiler [2012-01-16 07:27:10] 617*2^1001456-1 is not prime. Res64: 219D31B0486B0D1E Time : 0.0 sec. user=mdettweiler [2012-01-16 07:27:10] 825*2^1001456-1 is not prime. Res64: 6E67E826652904F7 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:27:14] 635*2^1001458-1 is not prime. Res64: 6B08C37952BB287D Time : 0.0 sec. user=mdettweiler [2012-01-16 07:28:42] 665*2^1001458-1 is not prime. Res64: 8A5CB0D7620DC70B Time : 0.0 sec. user=mdettweiler [2012-01-16 07:34:40] 665*2^1001450-1 is not prime. Res64: D3A4D5C35543494A Time : 0.0 sec. user=mdettweiler [2012-01-16 07:34:40] 773*2^1001450-1 is not prime. Res64: B0C5510493CB5101 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:34:50] 843*2^1001458-1 is not prime. Res64: B2B5D13C8B925D3A Time : 0.0 sec. user=mdettweiler [2012-01-16 07:36:19] 915*2^1001458-1 is not prime. Res64: 4C8F80681D10677C Time : 0.0 sec. user=mdettweiler [2012-01-16 07:38:25] 847*2^1001457-1 is not prime. Res64: 07A993823588295A Time : 0.0 sec. user=mdettweiler [2012-01-16 07:38:25] 871*2^1001457-1 is not prime. Res64: 73ADF989273838A6 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:38:30] 889*2^1001457-1 is not prime. Res64: FD974063A26C8EAF Time : 0.0 sec. user=mdettweiler [2012-01-16 07:38:30] 937*2^1001457-1 is not prime. Res64: 65757C5668F57617 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:41:11] 681*2^1001458-1 is not prime. Res64: 661F2AD377B7D708 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:41:11] 705*2^1001458-1 is not prime. Res64: 7D5707D6A585D927 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:42:24] 663*2^1001459-1 is not prime. Res64: 8947D8B31EA367BA Time : 0.0 sec. user=mdettweiler [2012-01-16 07:43:52] 711*2^1001459-1 is not prime. Res64: 6CC23C535B4614EC Time : 0.0 sec. user=mdettweiler [2012-01-16 07:46:50] 777*2^1001458-1 is not prime. Res64: E1776230E03C0645 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:46:51] 791*2^1001458-1 is not prime. Res64: 80AAE59C3D473B90 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:49:58] 623*2^1001460-1 is not prime. Res64: 46ADDF488AB290DE Time : 0.0 sec. user=mdettweiler [2012-01-16 07:51:25] 635*2^1001460-1 is not prime. Res64: 2AB9A921BA6353FF Time : 0.0 sec. user=mdettweiler [2012-01-16 07:57:33] 737*2^1001460-1 is not prime. Res64: 069C976C89B64C73 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:58:08] 733*2^1001459-1 is not prime. Res64: 40CA3676A8CD0B21 Time : 0.0 sec. user=mdettweiler [2012-01-16 07:58:08] 799*2^1001459-1 is not prime. Res64: 27958B10200143AD Time : 0.0 sec. user=mdettweiler [2012-01-16 07:58:09] 759*2^1001459-1 is not prime. Res64: 2A7C8A3AA5A00ABA Time : 0.0 sec. user=mdettweiler [2012-01-16 07:58:09] 861*2^1001459-1 is not prime. Res64: 3325C33AE670349E Time : 0.0 sec. user=mdettweiler [2012-01-16 07:59:00] 795*2^1001460-1 is not prime. Res64: D8894E9568A199F2 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:05:07] 675*2^1001461-1 is not prime. Res64: 7692216F353BCDCD Time : 0.0 sec. user=mdettweiler [2012-01-16 08:05:32] 973*2^1001459-1 is not prime. Res64: 2BA46816B24B4795 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:05:33] 993*2^1001459-1 is not prime. Res64: EFE6E50B8F636BB8 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:06:31] 669*2^1001460-1 is not prime. Res64: 4E8316C21BBFD5F4 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:06:34] 725*2^1001460-1 is not prime. Res64: B6114C99FA111F11 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:06:35] 867*2^1001461-1 is not prime. Res64: E394EBF193D7D9E4 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:12:43] 871*2^1001461-1 is not prime. Res64: B749DB6FADE96894 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:14:15] 887*2^1001462-1 is not prime. Res64: 085C3585FA178A50 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:17:50] 681*2^1001461-1 is not prime. Res64: 628D4E55B71D6204 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:17:50] 757*2^1001461-1 is not prime. Res64: D519F775D9999210 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:17:50] 717*2^1001461-1 is not prime. Res64: E1C205FF3791E13F Time : 0.0 sec. user=mdettweiler [2012-01-16 08:17:50] 855*2^1001461-1 is not prime. Res64: E1ED167FC34D307B Time : 0.0 sec. user=mdettweiler [2012-01-16 08:20:16] 935*2^1001462-1 is not prime. Res64: FBE35DF666AD9C2C Time : 0.0 sec. user=mdettweiler [2012-01-16 08:21:45] 625*2^1001463-1 is not prime. Res64: DC6BDD74C3B1B592 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:25:20] 895*2^1001461-1 is not prime. Res64: 4308BA15C002F13F Time : 0.0 sec. user=mdettweiler [2012-01-16 08:25:20] 937*2^1001461-1 is not prime. Res64: 1358DAA9C367008D Time : 0.0 sec. user=mdettweiler [2012-01-16 08:27:49] 717*2^1001464-1 is not prime. Res64: 8A8748B5F5DB60B1 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:28:33] 951*2^1001461-1 is not prime. Res64: FA6568BD8C452C91 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:28:34] 827*2^1001462-1 is not prime. Res64: 464838AC55CDB112 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:29:17] 863*2^1001464-1 is not prime. Res64: A7C6035398A60AF1 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:35:22] 607*2^1001465-1 is not prime. Res64: 24B2C2585B312C4F Time : 0.0 sec. user=mdettweiler [2012-01-16 08:36:50] 691*2^1001465-1 is not prime. Res64: AAA05F0F3FD21A51 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:37:30] 649*2^1001463-1 is not prime. Res64: 8DE66F68559064DE Time : 0.0 sec. user=mdettweiler [2012-01-16 08:37:31] 741*2^1001463-1 is not prime. Res64: 4F2E79B203B226BC Time : 0.0 sec. user=mdettweiler [2012-01-16 08:37:33] 639*2^1001464-1 is not prime. Res64: 830F1974CFAEE856 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:37:33] 657*2^1001464-1 is not prime. Res64: C64CFA8B5A43A54F Time : 0.0 sec. user=mdettweiler [2012-01-16 08:42:57] 803*2^1001466-1 is not prime. Res64: 125E55D5E37C7A80 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:45:47] 963*2^1001456-1 is not prime. Res64: 8C98C40F20A93EC6 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:45:47] 637*2^1001457-1 is not prime. Res64: AB212E56C038CF29 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:46:06] 945*2^1001466-1 is not prime. Res64: AE334C5B7E5CBD9D Time : 0.0 sec. user=mdettweiler [2012-01-16 08:47:18] 869*2^1001464-1 is not prime. Res64: 5FF33D8967E7E2A2 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:47:19] 939*2^1001464-1 is not prime. Res64: 45FF9B9EB9FC78CE Time : 0.0 sec. user=mdettweiler [2012-01-16 08:48:16] 935*2^1001456-1 is not prime. Res64: 1470A1BF90ACAF3D Time : 0.0 sec. user=mdettweiler [2012-01-16 08:48:16] 957*2^1001456-1 is not prime. Res64: 0393A465BA176BB6 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:48:16] 649*2^1001465-1 is not prime. Res64: CF6F64FA75C678C3 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:48:17] 675*2^1001465-1 is not prime. Res64: D8BB3D38842F510E Time : 0.0 sec. user=mdettweiler [2012-01-16 08:50:34] 925*2^1001467-1 is not prime. Res64: F32A44E4CBF4F2BB Time : 0.0 sec. user=mdettweiler [2012-01-16 08:53:42] 819*2^1001468-1 is not prime. Res64: 532B9695916B020F Time : 0.0 sec. user=mdettweiler [2012-01-16 08:58:09] 835*2^1001469-1 is not prime. Res64: FF7011AA575587CD Time : 0.0 sec. user=mdettweiler [2012-01-16 08:59:38] 1001*2^1001466-1 is not prime. Res64: 71D3AEF58871E012 Time : 0.0 sec. user=mdettweiler [2012-01-16 08:59:38] 841*2^1001467-1 is not prime. Res64: 6F08EFC3E80187B5 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:01:19] 865*2^1001469-1 is not prime. Res64: 1C9ECD22B3E338B6 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:01:43] 975*2^1001466-1 is not prime. Res64: 31C55F683E209A05 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:01:44] 993*2^1001466-1 is not prime. Res64: 35DD0A2979FEE43B Time : 0.0 sec. user=mdettweiler [2012-01-16 09:06:05] 889*2^1001469-1 is not prime. Res64: 1157050F97BBD401 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:07:03] 827*2^1001468-1 is not prime. Res64: 9BE116EAC3C205CE Time : 0.0 sec. user=mdettweiler [2012-01-16 09:07:05] 855*2^1001468-1 is not prime. Res64: 41FB887F58009EF2 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:08:02] 759*2^1001469-1 is not prime. Res64: F8702E8C9EC9E877 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:08:03] 781*2^1001469-1 is not prime. Res64: 3AB4F454B8B24596 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:09:19] 801*2^1001470-1 is not prime. Res64: 7DAB07AE4EA81831 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:12:36] 933*2^1001458-1 is not prime. Res64: 079F51CF34B446AD Time : 0.0 sec. user=mdettweiler [2012-01-16 09:12:37] 975*2^1001458-1 is not prime. Res64: 36B8ACDC613B703B Time : 0.0 sec. user=mdettweiler [2012-01-16 09:13:47] 703*2^1001471-1 is not prime. Res64: 54142D02AD2642B9 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:16:58] 875*2^1001472-1 is not prime. Res64: 9120F75097A5F9D1 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:19:19] 665*2^1001470-1 is not prime. Res64: E5B367146E88C825 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:19:20] 761*2^1001470-1 is not prime. Res64: 942ACEF082C9AC25 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:23:02] 975*2^1001472-1 is not prime. Res64: 4027EA1042B6D93C Time : 0.0 sec. user=mdettweiler [2012-01-16 09:23:42] 891*2^1001470-1 is not prime. Res64: A88B65DBDCC38E0D Time : 0.0 sec. user=mdettweiler [2012-01-16 09:23:42] 1001*2^1001470-1 is not prime. Res64: 540EAE50DE7E8406 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:24:31] 681*2^1001473-1 is not prime. Res64: 6024B7D453065A20 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:27:47] 767*2^1001472-1 is not prime. Res64: BCE0DEF8BF8E90AB Time : 0.0 sec. user=mdettweiler [2012-01-16 09:27:47] 837*2^1001472-1 is not prime. Res64: 4248AE1D4BBA5743 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:30:37] 765*2^1001473-1 is not prime. Res64: 25C150C8123092E4 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:31:19] 973*2^1001471-1 is not prime. Res64: 54E3CE739FD7754E Time : 0.0 sec. user=mdettweiler [2012-01-16 09:31:20] 999*2^1001471-1 is not prime. Res64: A689DD3CAB445FFD Time : 0.0 sec. user=mdettweiler [2012-01-16 09:32:07] 643*2^1001475-1 is not prime. Res64: 880A231A7808B957 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:38:13] 801*2^1001475-1 is not prime. Res64: E668035A4BC3E207 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:39:08] 685*2^1001473-1 is not prime. Res64: C2717898DE23F4C2 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:39:09] 721*2^1001473-1 is not prime. Res64: 6062738779F3C874 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:39:43] 623*2^1001476-1 is not prime. Res64: 3D92B56A53DEAD0F Time : 0.0 sec. user=mdettweiler [2012-01-16 09:45:44] 923*2^1001474-1 is not prime. Res64: 0A8A7300523C6EDC Time : 0.0 sec. user=mdettweiler [2012-01-16 09:45:45] 995*2^1001474-1 is not prime. Res64: 5B128BBF493A38A0 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:45:50] 759*2^1001476-1 is not prime. Res64: 6FBF6BD9880CE418 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:47:20] 825*2^1001476-1 is not prime. Res64: 5BE4AD4BA2F41064 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:47:31] 649*2^1001475-1 is not prime. Res64: B04590774A81D75B Time : 0.0 sec. user=mdettweiler [2012-01-16 09:47:32] 709*2^1001475-1 is not prime. Res64: E2D0A4BA7EA8AB9C Time : 0.0 sec. user=mdettweiler [2012-01-16 09:53:21] 943*2^1001475-1 is not prime. Res64: 306E666300EA2EE6 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:53:21] 615*2^1001476-1 is not prime. Res64: 3E579F894669B42C Time : 0.0 sec. user=mdettweiler [2012-01-16 09:53:25] 897*2^1001476-1 is not prime. Res64: EBA150724A211A43 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:54:55] 899*2^1001476-1 is not prime. Res64: 289828BE31AF0131 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:58:50] 765*2^1001476-1 is not prime. Res64: 35BF7185440B9E01 Time : 0.0 sec. user=mdettweiler [2012-01-16 09:58:51] 773*2^1001476-1 is not prime. Res64: F319AEAE8D6EF5AA Time : 0.0 sec. user=mdettweiler [2012-01-16 10:01:02] 669*2^1001477-1 is not prime. Res64: B65CC7BB5BA17F8A Time : 0.0 sec. user=mdettweiler [2012-01-16 10:02:30] 697*2^1001477-1 is not prime. Res64: CABD8F6203597BFC Time : 0.0 sec. user=mdettweiler [2012-01-16 10:02:54] 699*2^1001465-1 is not prime. Res64: CB00F531CC76FEC2 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:02:54] 729*2^1001465-1 is not prime. Res64: 62BAE8FD923AC0E4 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:05:22] 843*2^1001476-1 is not prime. Res64: A8D103D19315012A Time : 0.0 sec. user=mdettweiler [2012-01-16 10:05:23] 875*2^1001476-1 is not prime. Res64: AA17B030590FFBBA Time : 0.0 sec. user=mdettweiler [2012-01-16 10:07:14] 927*2^1001476-1 is not prime. Res64: D3367A76B912368E Time : 0.0 sec. user=mdettweiler [2012-01-16 10:07:15] 607*2^1001477-1 is not prime. Res64: 123FBAB142AC792C Time : 0.0 sec. user=mdettweiler [2012-01-16 10:08:46] 829*2^1001477-1 is not prime. Res64: 3A8B0ACB3388D5EC Time : 0.0 sec. user=mdettweiler [2012-01-16 10:10:12] 927*2^1001477-1 is not prime. Res64: 7CDEA389A920D668 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:13:05] 619*2^1001477-1 is not prime. Res64: 179B035F80851813 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:13:07] 627*2^1001477-1 is not prime. Res64: A38C1217C887FDD2 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:16:24] 663*2^1001479-1 is not prime. Res64: 8DA6049DA18E4103 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:17:47] 679*2^1001479-1 is not prime. Res64: C44177CC1692C2D3 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:18:34] 801*2^1001477-1 is not prime. Res64: BE651F4211108DEB Time : 0.0 sec. user=mdettweiler [2012-01-16 10:18:35] 805*2^1001477-1 is not prime. Res64: AF2DDFC987405A78 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:20:08] 875*2^1001468-1 is not prime. Res64: 52B28D5981DBCA32 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:20:08] 669*2^1001469-1 is not prime. Res64: E930CA7C004A1237 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:24:01] 793*2^1001479-1 is not prime. Res64: 56E0C56929A5C867 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:24:28] 975*2^1001467-1 is not prime. Res64: 9D48600B7002A298 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:24:29] 677*2^1001468-1 is not prime. Res64: 0AFC0FE1A45D59CD Time : 0.0 sec. user=mdettweiler [2012-01-16 10:25:11] 621*2^1001478-1 is not prime. Res64: E97044C5A6551931 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:25:11] 641*2^1001478-1 is not prime. Res64: B23B644980882471 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:25:24] 829*2^1001479-1 is not prime. Res64: 26E1C123C235849A Time : 0.0 sec. user=mdettweiler [2012-01-16 10:27:05] 755*2^1001478-1 is not prime. Res64: B6B5E3D42A994759 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:27:05] 923*2^1001478-1 is not prime. Res64: E7BBFDC6C07E89A6 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:31:38] 933*2^1001479-1 is not prime. Res64: AB0012FCC598190E Time : 0.0 sec. user=mdettweiler [2012-01-16 10:32:52] 681*2^1001479-1 is not prime. Res64: D262DA06561FE937 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:32:52] 775*2^1001479-1 is not prime. Res64: F0C38CD0E52BC9B6 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:33:00] 663*2^1001480-1 is not prime. Res64: ABDC0B8AB89D61BA Time : 0.0 sec. user=mdettweiler [2012-01-16 10:38:20] 853*2^1001479-1 is not prime. Res64: 921DBC48A19E4A47 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:38:21] 889*2^1001479-1 is not prime. Res64: 7CB9638FBE2485B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:39:13] 855*2^1001480-1 is not prime. Res64: 22C528D127EBEC4C Time : 0.0 sec. user=mdettweiler [2012-01-16 10:40:37] 837*2^1001481-1 is not prime. Res64: 1EC048F478DD1709 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:44:53] 609*2^1001480-1 is not prime. Res64: 7379715E506C6B9E Time : 0.0 sec. user=mdettweiler [2012-01-16 10:44:53] 615*2^1001480-1 is not prime. Res64: 4681C30F12213F6E Time : 0.0 sec. user=mdettweiler [2012-01-16 10:46:44] 677*2^1001480-1 is not prime. Res64: E8ECC690FDF7C091 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:46:44] 717*2^1001480-1 is not prime. Res64: B8D6BE27EE149863 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:46:52] 635*2^1001482-1 is not prime. Res64: 467C2BA8B36D2516 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:48:16] 731*2^1001482-1 is not prime. Res64: 04325030501FA36D Time : 0.0 sec. user=mdettweiler [2012-01-16 10:50:12] 887*2^1001472-1 is not prime. Res64: 3037E4AEC0195764 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:50:12] 959*2^1001472-1 is not prime. Res64: 8E4AE2C5C7E9431C Time : 0.0 sec. user=mdettweiler [2012-01-16 10:54:31] 885*2^1001482-1 is not prime. Res64: 33CA467B5D0E3B2B Time : 0.0 sec. user=mdettweiler [2012-01-16 10:54:52] 957*2^1001480-1 is not prime. Res64: AB9E8416AF4AC6C1 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:54:52] 789*2^1001481-1 is not prime. Res64: 73735E1C369E1542 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:57:37] 957*2^1001482-1 is not prime. Res64: A0C7D5BCB3EC7101 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:58:03] 865*2^1001481-1 is not prime. Res64: B3320A7910403DC4 Time : 0.0 sec. user=mdettweiler [2012-01-16 10:58:03] 937*2^1001481-1 is not prime. Res64: 89C984E5AACFEBF1 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:03:50] 963*2^1001483-1 is not prime. Res64: 8DB7A66226EB375A Time : 0.0 sec. user=mdettweiler [2012-01-16 11:04:32] 735*2^1001482-1 is not prime. Res64: 9A43106F797ACD75 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:04:32] 747*2^1001482-1 is not prime. Res64: 68AA83802917EC79 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:05:12] 695*2^1001484-1 is not prime. Res64: 8CE885CE104C3F16 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:06:27] 777*2^1001482-1 is not prime. Res64: 354B31C448F1CEC4 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:06:27] 803*2^1001482-1 is not prime. Res64: 2E933FEE44A13322 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:11:34] 915*2^1001484-1 is not prime. Res64: 26EC8333C0C12FDD Time : 0.0 sec. user=mdettweiler [2012-01-16 11:12:51] 623*2^1001486-1 is not prime. Res64: E6D13487124BDE92 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:14:32] 605*2^1001484-1 is not prime. Res64: 2315768BEDC36C33 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:14:32] 665*2^1001484-1 is not prime. Res64: D0DCED95DBF97A09 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:17:43] 759*2^1001484-1 is not prime. Res64: 486D663E8A27E73E Time : 0.0 sec. user=mdettweiler [2012-01-16 11:17:43] 789*2^1001484-1 is not prime. Res64: CFFE4BF390FCEA6F Time : 0.0 sec. user=mdettweiler [2012-01-16 11:19:12] 649*2^1001487-1 is not prime. Res64: A53FDBFC61DF6E0D Time : 0.0 sec. user=mdettweiler [2012-01-16 11:20:29] 651*2^1001487-1 is not prime. Res64: 63B10CC8AB7A1A1E Time : 0.0 sec. user=mdettweiler [2012-01-16 11:24:13] 715*2^1001485-1 is not prime. Res64: 73E396CEA83BC408 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:24:13] 775*2^1001485-1 is not prime. Res64: 0355407824141947 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:26:10] 813*2^1001486-1 is not prime. Res64: 14D8A561076B08DD Time : 0.0 sec. user=mdettweiler [2012-01-16 11:26:10] 935*2^1001486-1 is not prime. Res64: B4B1CDA733B83000 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:26:49] 839*2^1001488-1 is not prime. Res64: F2DE3D8E4B555376 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:28:05] 843*2^1001488-1 is not prime. Res64: 1DFBF151B5236CF2 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:34:15] 669*2^1001487-1 is not prime. Res64: 60B327B93CBA3979 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:34:15] 895*2^1001487-1 is not prime. Res64: 2CD7787B38063F62 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:34:25] 679*2^1001489-1 is not prime. Res64: CFB4AC95D1BC13F6 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:35:42] 811*2^1001489-1 is not prime. Res64: 6B3D0EDC2AFD8805 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:37:26] 909*2^1001487-1 is not prime. Res64: C212677C6667BBD0 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:37:26] 699*2^1001488-1 is not prime. Res64: 6D7CDBF5401448D3 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:40:33] 955*2^1001477-1 is not prime. Res64: 9280E9A9DE059CDE Time : 0.0 sec. user=mdettweiler [2012-01-16 11:40:33] 611*2^1001478-1 is not prime. Res64: A66E3310F952AD6D Time : 0.0 sec. user=mdettweiler [2012-01-16 11:43:20] 741*2^1001490-1 is not prime. Res64: 122C5D3B4EBAFA62 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:43:44] 987*2^1001489-1 is not prime. Res64: 2E52F9BC3E5E372D Time : 0.0 sec. user=mdettweiler [2012-01-16 11:46:11] 855*2^1001488-1 is not prime. Res64: DA68F22A21FDA593 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:46:12] 957*2^1001488-1 is not prime. Res64: 56F53489C371C49A Time : 0.0 sec. user=mdettweiler [2012-01-16 11:46:38] 913*2^1001479-1 is not prime. Res64: 99FC07419334D7CF Time : 0.0 sec. user=mdettweiler [2012-01-16 11:46:38] 931*2^1001479-1 is not prime. Res64: 29B00FC74CFDE2DF Time : 0.0 sec. user=mdettweiler [2012-01-16 11:48:08] 999*2^1001488-1 is not prime. Res64: 7BDDF247CFCE3D95 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:48:09] 631*2^1001489-1 is not prime. Res64: 5C438F3F8ADAFF4E Time : 0.0 sec. user=mdettweiler [2012-01-16 11:50:57] 873*2^1001490-1 is not prime. Res64: A1431161D2FF8271 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:51:21] 609*2^1001491-1 is not prime. Res64: 6E97673812AB324C Time : 0.0 sec. user=mdettweiler [2012-01-16 11:54:02] 837*2^1001489-1 is not prime. Res64: 9D12E3B0460B66A6 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:54:03] 879*2^1001489-1 is not prime. Res64: 30E7C2582E9B50F9 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:57:07] 747*2^1001490-1 is not prime. Res64: 1029068D6C2CC461 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:57:08] 777*2^1001490-1 is not prime. Res64: C062C0B4C08ECFE1 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:58:33] 793*2^1001491-1 is not prime. Res64: 0557D16C5291EC13 Time : 0.0 sec. user=mdettweiler [2012-01-16 11:58:57] 829*2^1001491-1 is not prime. Res64: F03E3226FA4B8927 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:05:54] 619*2^1001491-1 is not prime. Res64: 015E64BA1F88B59F Time : 0.0 sec. user=mdettweiler [2012-01-16 12:05:55] 645*2^1001491-1 is not prime. Res64: B193545BB4BC8339 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:07:53] 969*2^1001491-1 is not prime. Res64: FC987EC46552CEA8 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:07:54] 735*2^1001491-1 is not prime. Res64: FDE62E74E9665981 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:07:56] 759*2^1001491-1 is not prime. Res64: 47366155F5C17A30 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:08:15] 993*2^1001491-1 is not prime. Res64: 71B7F77C81B971BF Time : 0.0 sec. user=mdettweiler [2012-01-16 12:11:45] 951*2^1001479-1 is not prime. Res64: 9553D0C75294EE2D Time : 0.0 sec. user=mdettweiler [2012-01-16 12:11:46] 961*2^1001479-1 is not prime. Res64: 57991C39595FC18B Time : 0.0 sec. user=mdettweiler [2012-01-16 12:13:51] 871*2^1001491-1 is not prime. Res64: 2D2741AEE9FA4CA8 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:13:52] 885*2^1001491-1 is not prime. Res64: D46A89678A1FFC04 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:15:38] 753*2^1001492-1 is not prime. Res64: D37A9B96DDD54AD2 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:15:56] 875*2^1001492-1 is not prime. Res64: B047798E05F10D47 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:16:08] 673*2^1001483-1 is not prime. Res64: CBAA94A53F18C918 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:16:08] 885*2^1001483-1 is not prime. Res64: 2976B9201F33A6B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:19:06] 901*2^1001491-1 is not prime. Res64: 5875CCA795134911 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:19:06] 939*2^1001491-1 is not prime. Res64: 9C78DD2B1A30D493 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:23:17] 867*2^1001493-1 is not prime. Res64: E6686BC90A554C2F Time : 0.0 sec. user=mdettweiler [2012-01-16 12:23:34] 921*2^1001493-1 is not prime. Res64: 13779A1204C9100B Time : 0.0 sec. user=mdettweiler [2012-01-16 12:25:40] 633*2^1001492-1 is not prime. Res64: EF8FE2D70A33AAEA Time : 0.0 sec. user=mdettweiler [2012-01-16 12:25:40] 725*2^1001492-1 is not prime. Res64: 5939D7884083FB7B Time : 0.0 sec. user=mdettweiler [2012-01-16 12:27:40] 825*2^1001492-1 is not prime. Res64: 3230E92F4402F7EC Time : 0.0 sec. user=mdettweiler [2012-01-16 12:27:41] 855*2^1001492-1 is not prime. Res64: 04C350A23F72088C Time : 0.0 sec. user=mdettweiler [2012-01-16 12:30:57] 799*2^1001495-1 is not prime. Res64: 0B39CF7037259BA6 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:31:14] 859*2^1001495-1 is not prime. Res64: 017A9D914540C99A Time : 0.0 sec. user=mdettweiler [2012-01-16 12:33:33] 789*2^1001493-1 is not prime. Res64: B0243688DF9EE883 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:33:34] 811*2^1001493-1 is not prime. Res64: DF2583E5C6622B5E Time : 0.0 sec. user=mdettweiler [2012-01-16 12:38:38] 773*2^1001496-1 is not prime. Res64: 4056E0A941C44C87 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:38:46] 917*2^1001494-1 is not prime. Res64: 88AF97E190124662 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:38:47] 643*2^1001495-1 is not prime. Res64: CFE6A6383A53F2E1 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:38:55] 779*2^1001496-1 is not prime. Res64: 40250065DC415A14 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:46:35] 685*2^1001497-1 is not prime. Res64: 6B0BEDDCAB001AC1 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:47:23] 689*2^1001496-1 is not prime. Res64: FBF29857F600537D Time : 0.0 sec. user=mdettweiler [2012-01-16 12:47:24] 719*2^1001496-1 is not prime. Res64: 5BAF69107F1091EA Time : 0.0 sec. user=mdettweiler [2012-01-16 12:47:41] 861*2^1001495-1 is not prime. Res64: 49190955E5BA4272 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:47:41] 981*2^1001495-1 is not prime. Res64: EDC4C220A98E8A11 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:47:57] 945*2^1001496-1 is not prime. Res64: E5A3735C05659783 Time : 0.0 sec. user=mdettweiler [2012-01-16 12:53:20] 825*2^1001496-1 is not prime. Res64: B24E7BCCBC741F0C Time : 0.0 sec. user=mdettweiler [2012-01-16 12:53:20] 875*2^1001496-1 is not prime. Res64: DB03708757C774AE Time : 0.0 sec. user=mdettweiler [2012-01-16 12:55:36] 843*2^1001498-1 is not prime. Res64: 21977071E9F9953F Time : 0.0 sec. user=mdettweiler [2012-01-16 12:55:55] 975*2^1001497-1 is not prime. Res64: 27819FAA3BFEB69C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:00:44] 999*2^1001496-1 is not prime. Res64: 1600CFCD48A8B56C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:00:47] 649*2^1001497-1 is not prime. Res64: B178C0E0D2BCD9DA Time : 0.0 sec. user=mdettweiler [2012-01-16 13:03:14] 675*2^1001499-1 is not prime. Res64: D62943054F8B4D82 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:03:30] 723*2^1001499-1 is not prime. Res64: 0B1514E02A5292DE Time : 0.0 sec. user=mdettweiler [2012-01-16 13:05:07] 783*2^1001490-1 is not prime. Res64: 7E7643442A560099 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:05:07] 803*2^1001490-1 is not prime. Res64: ACCEC9E370FD4B84 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:07:25] 671*2^1001498-1 is not prime. Res64: EEA9C93D93FB30E6 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:07:26] 767*2^1001498-1 is not prime. Res64: 8F55250D7BCF428C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:09:24] 997*2^1001497-1 is not prime. Res64: C3C9560833E20D3E Time : 0.0 sec. user=mdettweiler [2012-01-16 13:09:25] 641*2^1001498-1 is not prime. Res64: 8CE89349826E5EB0 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:11:11] 827*2^1001500-1 is not prime. Res64: 464B580DCBAAD39B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:12:44] 943*2^1001499-1 is not prime. Res64: 8A5E3401ABEEAA1C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:13:01] 861*2^1001498-1 is not prime. Res64: 49D241CF3D460C66 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:13:03] 887*2^1001498-1 is not prime. Res64: 65FDFE664E74C162 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:14:01] 693*2^1001491-1 is not prime. Res64: 87D44E60146E04C5 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:14:02] 733*2^1001491-1 is not prime. Res64: 4D1BC39BC9953460 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:18:50] 677*2^1001502-1 is not prime. Res64: 82D38878D2C5EC79 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:20:23] 765*2^1001502-1 is not prime. Res64: E8A3DD30A4FA9852 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:20:39] 775*2^1001499-1 is not prime. Res64: 40EF99B74635434C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:20:40] 835*2^1001499-1 is not prime. Res64: 5BCAF3D123EAC4FF Time : 0.0 sec. user=mdettweiler [2012-01-16 13:26:27] 729*2^1001503-1 is not prime. Res64: 7D2DC1243F1B5A8C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:27:09] 651*2^1001501-1 is not prime. Res64: A407B168484CDC1C Time : 0.0 sec. user=mdettweiler [2012-01-16 13:27:09] 829*2^1001501-1 is not prime. Res64: DA95710ED9054488 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:28:01] 769*2^1001503-1 is not prime. Res64: 8BD34411B137031B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:29:05] 855*2^1001501-1 is not prime. Res64: 91D293C2CF56E05B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:29:05] 627*2^1001502-1 is not prime. Res64: 084EB178198F49A0 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:34:06] 659*2^1001504-1 is not prime. Res64: 13CE938145F3F33A Time : 0.0 sec. user=mdettweiler [2012-01-16 13:35:10] 791*2^1001502-1 is not prime. Res64: 9CC97E03084E71D1 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:35:11] 945*2^1001502-1 is not prime. Res64: 0E587E853FC36CD1 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:35:41] 743*2^1001504-1 is not prime. Res64: DC8BC7347D24FE47 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:40:24] 895*2^1001503-1 is not prime. Res64: CB0FA8AE62792BAB Time : 0.0 sec. user=mdettweiler [2012-01-16 13:40:25] 635*2^1001504-1 is not prime. Res64: 8F0B6338282C78A9 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:41:06] 909*2^1001492-1 is not prime. Res64: EA2C0546FE2BBE8B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:41:07] 681*2^1001493-1 is not prime. Res64: BF0316A97492A07B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:41:44] 691*2^1001505-1 is not prime. Res64: B2EFF5E924D97A8B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:43:17] 889*2^1001505-1 is not prime. Res64: 411D0B4C07CE0257 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:46:53] 665*2^1001504-1 is not prime. Res64: 2B3E76C789E19F0B Time : 0.0 sec. user=mdettweiler [2012-01-16 13:46:54] 683*2^1001504-1 is not prime. Res64: 514A4866CDFFE8F7 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:48:47] 753*2^1001504-1 is not prime. Res64: A70A2B0D0CA1257E Time : 0.0 sec. user=mdettweiler [2012-01-16 13:48:48] 651*2^1001505-1 is not prime. Res64: 6F9A68567F938717 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:49:23] 695*2^1001506-1 is not prime. Res64: BB57298C4EEAF6E5 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:50:58] 705*2^1001506-1 is not prime. Res64: C6C42E02B04F44CA Time : 0.0 sec. user=mdettweiler [2012-01-16 13:55:00] 709*2^1001505-1 is not prime. Res64: FE259AC08D599C11 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:55:01] 765*2^1001505-1 is not prime. Res64: 0A7DD36429FD4A46 Time : 0.0 sec. user=mdettweiler [2012-01-16 13:57:05] 609*2^1001507-1 is not prime. Res64: 3595DBD21F0FDD1E Time : 0.0 sec. user=mdettweiler [2012-01-16 13:58:37] 655*2^1001507-1 is not prime. Res64: D78FE08E4DA20521 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:02:25] 895*2^1001505-1 is not prime. Res64: B4597C03E1050C0A Time : 0.0 sec. user=mdettweiler [2012-01-16 14:02:26] 951*2^1001505-1 is not prime. Res64: CA432306E44235CF Time : 0.0 sec. user=mdettweiler [2012-01-16 14:04:31] 955*2^1001493-1 is not prime. Res64: 294F33E7049DA4F3 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:04:31] 985*2^1001493-1 is not prime. Res64: 7FD07D378CC0F709 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:04:44] 775*2^1001507-1 is not prime. Res64: 07C160A077F585A1 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:06:16] 901*2^1001507-1 is not prime. Res64: 76CEA930FE41B287 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:06:39] 735*2^1001506-1 is not prime. Res64: 52E26E46521F03E2 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:06:41] 741*2^1001506-1 is not prime. Res64: 35D4B5DB6BD535D6 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:10:48] 773*2^1001506-1 is not prime. Res64: FADAE4A0AFEE4058 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:10:49] 941*2^1001506-1 is not prime. Res64: 2B99F86246F455FE Time : 0.0 sec. user=mdettweiler [2012-01-16 14:12:26] 725*2^1001508-1 is not prime. Res64: 0BCB81C3DFC71FAE Time : 0.0 sec. user=mdettweiler [2012-01-16 14:13:57] 737*2^1001508-1 is not prime. Res64: 4CF593B5101E350C Time : 0.0 sec. user=mdettweiler [2012-01-16 14:14:49] 699*2^1001507-1 is not prime. Res64: 4931D376395C86C5 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:14:49] 759*2^1001507-1 is not prime. Res64: A2B1A9B23A8607C0 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:20:08] 925*2^1001509-1 is not prime. Res64: C0D9E835B642ECDC Time : 0.0 sec. user=mdettweiler [2012-01-16 14:23:23] 955*2^1001509-1 is not prime. Res64: 79E3B103AF2AE752 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:26:30] 759*2^1001508-1 is not prime. Res64: ABC4DDE2E22AF9A4 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:26:31] 777*2^1001508-1 is not prime. Res64: D8B0AC6D6BB823C7 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:26:40] 979*2^1001507-1 is not prime. Res64: A45ABA8D7BE0DAFB Time : 0.0 sec. user=mdettweiler [2012-01-16 14:26:41] 981*2^1001507-1 is not prime. Res64: B33F1D2606F973E9 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:27:48] 717*2^1001510-1 is not prime. Res64: 834A00860D09702F Time : 0.0 sec. user=mdettweiler [2012-01-16 14:30:37] 867*2^1001508-1 is not prime. Res64: 1891DD652A52C43A Time : 0.0 sec. user=mdettweiler [2012-01-16 14:30:38] 687*2^1001509-1 is not prime. Res64: A746C2631611F954 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:31:05] 791*2^1001510-1 is not prime. Res64: DE2C625A8A4CA081 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:33:17] 885*2^1001500-1 is not prime. Res64: 3F93B0D6A8E49D1A Time : 0.0 sec. user=mdettweiler [2012-01-16 14:33:17] 615*2^1001501-1 is not prime. Res64: 22AA9B2A4AED1AAF Time : 0.0 sec. user=mdettweiler [2012-01-16 14:34:38] 627*2^1001510-1 is not prime. Res64: 2CC1BCF4CE02F2DD Time : 0.0 sec. user=mdettweiler [2012-01-16 14:34:39] 677*2^1001510-1 is not prime. Res64: 297837ABCFE07786 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:35:26] 709*2^1001511-1 is not prime. Res64: 1E6E358ED158D60F Time : 0.0 sec. user=mdettweiler [2012-01-16 14:38:44] 933*2^1001511-1 is not prime. Res64: 7851CEF18ED49A3A Time : 0.0 sec. user=mdettweiler [2012-01-16 14:43:07] 717*2^1001512-1 is not prime. Res64: FC94FDC73A01E124 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:46:24] 735*2^1001512-1 is not prime. Res64: E4239F4EC44C4BA7 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:46:31] 827*2^1001510-1 is not prime. Res64: 57F8B9A94F97FBEB Time : 0.0 sec. user=mdettweiler [2012-01-16 14:46:31] 833*2^1001510-1 is not prime. Res64: 74BC9F0334010B46 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:48:52] 921*2^1001510-1 is not prime. Res64: E4CEA8322B3E513B Time : 0.0 sec. user=mdettweiler [2012-01-16 14:48:52] 1001*2^1001510-1 is not prime. Res64: BC18CF7533ADFC45 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:50:18] 947*2^1001502-1 is not prime. Res64: 104666B73E1E0986 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:50:18] 619*2^1001503-1 is not prime. Res64: 488788764BE23F24 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:50:46] 849*2^1001512-1 is not prime. Res64: C8E5309143EA6920 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:50:58] 885*2^1001511-1 is not prime. Res64: 99487113CAF9277C Time : 0.0 sec. user=mdettweiler [2012-01-16 14:50:59] 909*2^1001511-1 is not prime. Res64: F4A59C097A52C026 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:54:03] 917*2^1001512-1 is not prime. Res64: 0D7F42119E824A9F Time : 0.0 sec. user=mdettweiler [2012-01-16 14:57:24] 999*2^1001511-1 is not prime. Res64: 7D212BC0B59505A2 Time : 0.0 sec. user=mdettweiler [2012-01-16 14:57:24] 639*2^1001512-1 is not prime. Res64: B85984D4438F44DC Time : 0.0 sec. user=mdettweiler [2012-01-16 14:58:23] 915*2^1001513-1 is not prime. Res64: 4A50D22D4D71C420 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:01:42] 807*2^1001514-1 is not prime. Res64: 77F474D689941C3A Time : 0.0 sec. user=mdettweiler [2012-01-16 15:07:09] 685*2^1001513-1 is not prime. Res64: 2CBA3FF6F7B22AE7 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:07:09] 691*2^1001513-1 is not prime. Res64: 5A4880FFE1F0456B Time : 0.0 sec. user=mdettweiler [2012-01-16 15:07:49] 947*2^1001514-1 is not prime. Res64: 5C5264A856DDFC02 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:09:22] 691*2^1001515-1 is not prime. Res64: 1A908E217B46FA47 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:09:31] 741*2^1001513-1 is not prime. Res64: CF299DA06ABBEBE5 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:09:33] 747*2^1001513-1 is not prime. Res64: 94F814356384F8AC Time : 0.0 sec. user=mdettweiler [2012-01-16 15:11:39] 665*2^1001514-1 is not prime. Res64: DC46236D557AA059 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:11:40] 681*2^1001514-1 is not prime. Res64: AC6A47E176722FF4 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:12:24] 647*2^1001506-1 is not prime. Res64: 3F2F0FA7B01E04FC Time : 0.0 sec. user=mdettweiler [2012-01-16 15:12:24] 677*2^1001506-1 is not prime. Res64: ACA748EF888B516C Time : 0.0 sec. user=mdettweiler [2012-01-16 15:17:04] 615*2^1001516-1 is not prime. Res64: 464F47C00F7AF0C9 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:17:14] 985*2^1001515-1 is not prime. Res64: 431B7B96249C649B Time : 0.0 sec. user=mdettweiler [2012-01-16 15:17:45] 851*2^1001514-1 is not prime. Res64: 149C2A83FF2FC3D1 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:17:45] 927*2^1001514-1 is not prime. Res64: C81469DB5A9EA8CA Time : 0.0 sec. user=mdettweiler [2012-01-16 15:24:44] 835*2^1001517-1 is not prime. Res64: CB779683628EAA6B Time : 0.0 sec. user=mdettweiler [2012-01-16 15:24:53] 915*2^1001517-1 is not prime. Res64: A3E1528721E9A665 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:27:33] 699*2^1001515-1 is not prime. Res64: 3B077E4053B3FF6F Time : 0.0 sec. user=mdettweiler [2012-01-16 15:27:33] 759*2^1001515-1 is not prime. Res64: 10E5C50108F2C3EB Time : 0.0 sec. user=mdettweiler [2012-01-16 15:29:59] 749*2^1001516-1 is not prime. Res64: 874EC2825D2D6F41 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:30:00] 827*2^1001516-1 is not prime. Res64: 9FAC5C48DAC10116 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:32:03] 903*2^1001516-1 is not prime. Res64: 0071621444DDA481 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:32:03] 625*2^1001517-1 is not prime. Res64: 7406F7BD7B9FA15F Time : 0.0 sec. user=mdettweiler [2012-01-16 15:32:24] 713*2^1001518-1 is not prime. Res64: 6654CFC7A3F1AC2E Time : 0.0 sec. user=mdettweiler [2012-01-16 15:32:33] 755*2^1001518-1 is not prime. Res64: 00343D6D428656F0 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:36:06] 605*2^1001508-1 is not prime. Res64: 730E3C47A5DA0302 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:36:06] 683*2^1001508-1 is not prime. Res64: F3058CCC549A0479 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:40:03] 729*2^1001519-1 is not prime. Res64: 5CAE403139E6B2F9 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:40:11] 735*2^1001519-1 is not prime. Res64: 335295214FD092EB Time : 0.0 sec. user=mdettweiler [2012-01-16 15:40:35] 949*2^1001517-1 is not prime. Res64: B4EEA81F532AD6A4 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:40:35] 611*2^1001518-1 is not prime. Res64: 07224BB320A51460 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:47:40] 841*2^1001519-1 is not prime. Res64: C39C31E9A943E491 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:47:49] 883*2^1001519-1 is not prime. Res64: 46CB8E278D161489 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:48:00] 833*2^1001518-1 is not prime. Res64: 15D196D34CB7B4D6 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:48:00] 911*2^1001518-1 is not prime. Res64: 4D8682C8CAA158BC Time : 0.0 sec. user=mdettweiler [2012-01-16 15:52:32] 679*2^1001519-1 is not prime. Res64: ABD6E4226AAE6D2D Time : 0.0 sec. user=mdettweiler [2012-01-16 15:52:32] 711*2^1001519-1 is not prime. Res64: DB291DD26000E42A Time : 0.0 sec. user=mdettweiler [2012-01-16 15:52:52] 945*2^1001518-1 is not prime. Res64: 476529BF30EE40E2 Time : 0.0 sec. user=mdettweiler [2012-01-16 15:52:52] 669*2^1001519-1 is not prime. Res64: 1B5F7D99E81061FD Time : 0.0 sec. user=mdettweiler [2012-01-16 15:55:23] 767*2^1001520-1 is not prime. Res64: 0757E00F99A543DE Time : 0.0 sec. user=mdettweiler [2012-01-16 15:55:30] 845*2^1001520-1 is not prime. Res64: A3394A446B28CC9A Time : 0.0 sec. user=mdettweiler [2012-01-16 15:56:07] 969*2^1001511-1 is not prime. Res64: A79C6D7F46EC17DF Time : 0.0 sec. user=mdettweiler [2012-01-16 15:56:07] 847*2^1001513-1 is not prime. Res64: CE0DD1349890FA21 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:03:02] 685*2^1001523-1 is not prime. Res64: A8952C62F6DCDFA8 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:03:08] 919*2^1001523-1 is not prime. Res64: FFC7ECD86DB416E3 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:05:38] 943*2^1001519-1 is not prime. Res64: 9B73C9B7FF26267E Time : 0.0 sec. user=mdettweiler [2012-01-16 16:05:39] 993*2^1001519-1 is not prime. Res64: D500B7B4F0652221 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:08:33] 687*2^1001521-1 is not prime. Res64: 55AE49C926825D09 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:08:34] 861*2^1001521-1 is not prime. Res64: 3A609DCC21108220 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:10:43] 693*2^1001524-1 is not prime. Res64: FF29E565EFAC4CB7 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:10:48] 843*2^1001524-1 is not prime. Res64: 572672A3B2D21A1C Time : 0.0 sec. user=mdettweiler [2012-01-16 16:15:18] 967*2^1001521-1 is not prime. Res64: 75B6BB10F49DE1E5 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:15:19] 617*2^1001522-1 is not prime. Res64: 0449C16B53F665C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:15:40] 645*2^1001522-1 is not prime. Res64: A1AB13C87DD300FA Time : 0.0 sec. user=mdettweiler [2012-01-16 16:15:40] 977*2^1001522-1 is not prime. Res64: 086E3C3FC574BDE3 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:18:26] 787*2^1001525-1 is not prime. Res64: 0DCEE4C3E0DBC928 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:18:28] 805*2^1001525-1 is not prime. Res64: 56F5082F1268216D Time : 0.0 sec. user=mdettweiler [2012-01-16 16:26:08] 737*2^1001526-1 is not prime. Res64: EF828471E684D844 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:26:08] 641*2^1001526-1 is not prime. Res64: 6C59D81824B96392 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:28:25] 857*2^1001524-1 is not prime. Res64: 7653BB2AD0A60122 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:28:26] 993*2^1001524-1 is not prime. Res64: AE3F1B7C241DF92A Time : 0.0 sec. user=mdettweiler [2012-01-16 16:29:02] 627*2^1001525-1 is not prime. Res64: 87C757B0E257D2EF Time : 0.0 sec. user=mdettweiler [2012-01-16 16:29:03] 775*2^1001525-1 is not prime. Res64: B17137ADCD2522BA Time : 0.0 sec. user=mdettweiler [2012-01-16 16:33:53] 783*2^1001526-1 is not prime. Res64: DA41055E82B796BB Time : 0.0 sec. user=mdettweiler [2012-01-16 16:33:54] 843*2^1001526-1 is not prime. Res64: 63754DB0C10B5F11 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:35:45] 825*2^1001525-1 is not prime. Res64: 493F9EF2EE711290 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:35:45] 871*2^1001525-1 is not prime. Res64: 5737E4C1CA8AFF93 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:35:59] 889*2^1001525-1 is not prime. Res64: 8C48E096DC7F49EE Time : 0.0 sec. user=mdettweiler [2012-01-16 16:35:59] 927*2^1001525-1 is not prime. Res64: 343A6E12BB1F2581 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:37:26] 685*2^1001517-1 is not prime. Res64: 736D93F12520E5C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:37:26] 699*2^1001517-1 is not prime. Res64: A7EF3F3E695E3BC4 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:41:37] 703*2^1001527-1 is not prime. Res64: 755A2C607E2865AA Time : 0.0 sec. user=mdettweiler [2012-01-16 16:41:37] 663*2^1001527-1 is not prime. Res64: 5B26DF1C67C7FAF3 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:49:21] 637*2^1001529-1 is not prime. Res64: 40BBB811BC9AD6D9 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:49:54] 601*2^1001527-1 is not prime. Res64: DEFA51E250FA6F50 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:49:55] 615*2^1001527-1 is not prime. Res64: 13A560259A0BAFD9 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:51:06] 957*2^1001528-1 is not prime. Res64: 5C73D85579FB7444 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:51:34] 933*2^1001526-1 is not prime. Res64: B2E89E60EB76C1A2 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:51:35] 971*2^1001526-1 is not prime. Res64: 6C233E9C3BF1F8E5 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:57:01] 667*2^1001529-1 is not prime. Res64: 9F832C0AA962CF4A Time : 0.0 sec. user=mdettweiler [2012-01-16 16:57:08] 765*2^1001527-1 is not prime. Res64: B5B255C5FE6BCDC0 Time : 0.0 sec. user=mdettweiler [2012-01-16 16:57:08] 885*2^1001527-1 is not prime. Res64: 00B9CB02FCFEB01A Time : 0.0 sec. user=mdettweiler [2012-01-16 16:58:43] 811*2^1001529-1 is not prime. Res64: F56A513C38B5FDBA Time : 0.0 sec. user=mdettweiler [2012-01-16 17:02:05] 975*2^1001527-1 is not prime. Res64: FC6905228D7CD50F Time : 0.0 sec. user=mdettweiler [2012-01-16 17:02:06] 985*2^1001527-1 is not prime. Res64: DF58455BDF165B0D Time : 0.0 sec. user=mdettweiler [2012-01-16 17:04:38] 865*2^1001529-1 is not prime. Res64: CB78F0DC348B8F07 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:06:20] 623*2^1001530-1 is not prime. Res64: CA8E72AC67B327FA Time : 0.0 sec. user=mdettweiler [2012-01-16 17:11:45] 681*2^1001529-1 is not prime. Res64: DC44CBEE4CD13809 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:11:46] 787*2^1001529-1 is not prime. Res64: 97372ACB9D69A4C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:12:21] 687*2^1001530-1 is not prime. Res64: 52FD86888F22B280 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:13:05] 831*2^1001529-1 is not prime. Res64: BAD801A8B2023129 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:13:05] 837*2^1001529-1 is not prime. Res64: 745315FF11FD0E89 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:13:59] 717*2^1001530-1 is not prime. Res64: F0CAFCF73B20B5E4 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:20:03] 715*2^1001531-1 is not prime. Res64: 455CAF4DAEDB0A34 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:23:20] 979*2^1001529-1 is not prime. Res64: CF3D42C70087B013 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:23:20] 999*2^1001529-1 is not prime. Res64: 8570D2BFC35D6FA7 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:23:26] 981*2^1001531-1 is not prime. Res64: E4C126CB1447A4DF Time : 0.0 sec. user=mdettweiler [2012-01-16 17:23:47] 653*2^1001530-1 is not prime. Res64: 835CA186DB8F301E Time : 0.0 sec. user=mdettweiler [2012-01-16 17:23:47] 675*2^1001530-1 is not prime. Res64: 41D75E5C71198527 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:27:45] 719*2^1001532-1 is not prime. Res64: B99C919B0C07D8AA Time : 0.0 sec. user=mdettweiler [2012-01-16 17:31:06] 789*2^1001533-1 is not prime. Res64: B9282E8C9DD1EE19 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:32:25] 813*2^1001530-1 is not prime. Res64: B4F5289AD3F56C0E Time : 0.0 sec. user=mdettweiler [2012-01-16 17:32:25] 905*2^1001530-1 is not prime. Res64: B1A6A40A42F8C808 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:36:13] 885*2^1001531-1 is not prime. Res64: FF6673C677D3108D Time : 0.0 sec. user=mdettweiler [2012-01-16 17:36:13] 939*2^1001531-1 is not prime. Res64: F4D19525B2043AE8 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:37:12] 937*2^1001533-1 is not prime. Res64: E5EA933094B8FA76 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:38:44] 711*2^1001534-1 is not prime. Res64: DDDFF2BD44F547AD Time : 0.0 sec. user=mdettweiler [2012-01-16 17:44:50] 623*2^1001536-1 is not prime. Res64: 6B5CCED035239922 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:45:37] 801*2^1001533-1 is not prime. Res64: B233BDF1868434D8 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:45:38] 805*2^1001533-1 is not prime. Res64: A6197ABF90DBF058 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:46:24] 657*2^1001536-1 is not prime. Res64: 40ADA696A7513FB0 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:47:36] 909*2^1001532-1 is not prime. Res64: B27E3469969765C4 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:47:37] 977*2^1001532-1 is not prime. Res64: 3F17F7F2BFC1E71A Time : 0.0 sec. user=mdettweiler [2012-01-16 17:49:26] 897*2^1001513-1 is not prime. Res64: C8FBB95E843DE91E Time : 0.0 sec. user=mdettweiler [2012-01-16 17:52:29] 663*2^1001536-1 is not prime. Res64: 7213FA5BCABE2264 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:54:03] 845*2^1001536-1 is not prime. Res64: 24E8A0CECF4D62AF Time : 0.0 sec. user=mdettweiler [2012-01-16 17:54:11] 991*2^1001511-1 is not prime. Res64: F70B224ED2FC798E Time : 0.0 sec. user=mdettweiler [2012-01-16 17:54:16] 903*2^1001534-1 is not prime. Res64: 6CAB69D3D05C78B5 Time : 0.0 sec. user=mdettweiler [2012-01-16 17:54:17] 691*2^1001535-1 is not prime. Res64: 2B165C8912355CED Time : 0.0 sec. user=mdettweiler [2012-01-16 18:00:09] 769*2^1001537-1 is not prime. Res64: 0F6BA1A2BC3B9BCF Time : 0.0 sec. user=mdettweiler [2012-01-16 18:00:21] 759*2^1001519-1 is not prime. Res64: A1F67845C49997B7 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:00:58] 617*2^1001528-1 is not prime. Res64: 81148FCD9ADF72C6 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:00:59] 743*2^1001528-1 is not prime. Res64: 5B6C4BD3E9221D46 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:01:24] 885*2^1001535-1 is not prime. Res64: 79B94578C4EB6F6D Time : 0.0 sec. user=mdettweiler [2012-01-16 18:01:25] 999*2^1001535-1 is not prime. Res64: 9AD6DB01F3371B5B Time : 0.0 sec. user=mdettweiler [2012-01-16 18:01:43] 865*2^1001537-1 is not prime. Res64: 212B1BAE0F5BA8FC Time : 0.0 sec. user=mdettweiler [2012-01-16 18:07:47] 705*2^1001538-1 is not prime. Res64: AB14AF3C9B5E2202 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:07:52] 755*2^1001536-1 is not prime. Res64: 0B143CE0E305C30A Time : 0.0 sec. user=mdettweiler [2012-01-16 18:07:53] 843*2^1001536-1 is not prime. Res64: D3B0497DB385234C Time : 0.0 sec. user=mdettweiler [2012-01-16 18:11:17] 971*2^1001538-1 is not prime. Res64: 3E9A3DA09D0C6AB1 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:12:16] 849*2^1001536-1 is not prime. Res64: 59672BF13C5A0827 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:12:17] 965*2^1001536-1 is not prime. Res64: 4F714CB59CE891F5 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:16:16] 627*2^1001538-1 is not prime. Res64: 3DA7C81AF5A2F33D Time : 0.0 sec. user=mdettweiler [2012-01-16 18:16:16] 671*2^1001538-1 is not prime. Res64: 18FEE8B5ECA54AF7 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:17:15] 975*2^1001538-1 is not prime. Res64: DF44232E50D6353E Time : 0.0 sec. user=mdettweiler [2012-01-16 18:18:58] 649*2^1001539-1 is not prime. Res64: 191D389D7071F2C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:24:05] 861*2^1001538-1 is not prime. Res64: 9F7845B818B1EF4B Time : 0.0 sec. user=mdettweiler [2012-01-16 18:24:06] 927*2^1001538-1 is not prime. Res64: 9961500F2F2F79C2 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:24:53] 753*2^1001540-1 is not prime. Res64: 086DD99DBAA2915B Time : 0.0 sec. user=mdettweiler [2012-01-16 18:26:38] 825*2^1001540-1 is not prime. Res64: 07664692B6430D72 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:29:45] 615*2^1001539-1 is not prime. Res64: 5EF61F434A20FB24 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:29:45] 631*2^1001539-1 is not prime. Res64: D96A201855550622 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:32:32] 781*2^1001541-1 is not prime. Res64: 08DA15350904FF97 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:34:18] 817*2^1001541-1 is not prime. Res64: CDD4F8259948995D Time : 0.0 sec. user=mdettweiler [2012-01-16 18:34:44] 693*2^1001539-1 is not prime. Res64: A1ED824E3BA2C016 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:34:44] 709*2^1001539-1 is not prime. Res64: 4CC9277A64A1E71D Time : 0.0 sec. user=mdettweiler [2012-01-16 18:40:12] 889*2^1001541-1 is not prime. Res64: 9159D2D7085C0A44 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:41:38] 961*2^1001539-1 is not prime. Res64: 0EE65DBE31F98709 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:41:38] 707*2^1001540-1 is not prime. Res64: E4A112F33AC84B31 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:43:45] 937*2^1001541-1 is not prime. Res64: 64F3FF3DCA9867EA Time : 0.0 sec. user=mdettweiler [2012-01-16 18:47:50] 677*2^1001542-1 is not prime. Res64: 090902EAE20AD36C Time : 0.0 sec. user=mdettweiler [2012-01-16 18:51:24] 777*2^1001542-1 is not prime. Res64: 7C88BC606360977A Time : 0.0 sec. user=mdettweiler [2012-01-16 18:51:33] 963*2^1001540-1 is not prime. Res64: 94834C1161B832B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:51:33] 995*2^1001540-1 is not prime. Res64: 6592641542D7BAC2 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:53:10] 871*2^1001541-1 is not prime. Res64: 987055F7F4DE4106 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:53:11] 877*2^1001541-1 is not prime. Res64: AC04E5EAFECE7FD9 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:55:32] 813*2^1001542-1 is not prime. Res64: B86ECED213C039C8 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:59:06] 815*2^1001542-1 is not prime. Res64: 574A0B9A7D5ADCE7 Time : 0.0 sec. user=mdettweiler [2012-01-16 18:59:46] 987*2^1001541-1 is not prime. Res64: 8514470503CA9D8C Time : 0.0 sec. user=mdettweiler [2012-01-16 18:59:47] 635*2^1001542-1 is not prime. Res64: BA8DB8E3D5099C69 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:03:59] 681*2^1001542-1 is not prime. Res64: BCAB2D13B408CB41 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:03:59] 717*2^1001542-1 is not prime. Res64: C363F0D966E4EF85 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:05:02] 965*2^1001542-1 is not prime. Res64: 01BB5FD9B757FDB8 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:06:47] 675*2^1001543-1 is not prime. Res64: 9353485288465FC0 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:12:38] 879*2^1001543-1 is not prime. Res64: 0B41F7D8C26B9624 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:13:30] 821*2^1001542-1 is not prime. Res64: 2A9DD21929D08189 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:13:30] 915*2^1001542-1 is not prime. Res64: 8416D6C725AAF238 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:16:15] 963*2^1001543-1 is not prime. Res64: 9F027AEDA70D4F5E Time : 0.0 sec. user=mdettweiler [2012-01-16 19:17:03] 917*2^1001542-1 is not prime. Res64: A5BA876A47DE9988 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:17:04] 957*2^1001542-1 is not prime. Res64: 93D463F33A719F76 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:20:07] 737*2^1001538-1 is not prime. Res64: 9857CC18009206F7 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:20:07] 791*2^1001538-1 is not prime. Res64: D839AA219C1C447E Time : 0.0 sec. user=mdettweiler [2012-01-16 19:22:06] 985*2^1001543-1 is not prime. Res64: 91D214643061141F Time : 0.0 sec. user=mdettweiler [2012-01-16 19:22:33] 685*2^1001543-1 is not prime. Res64: 2660991F7C979409 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:22:33] 715*2^1001543-1 is not prime. Res64: 34D3F6ACCD1E2AC1 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:23:54] 765*2^1001544-1 is not prime. Res64: 34C4C486D9A60C0E Time : 0.0 sec. user=mdettweiler [2012-01-16 19:26:09] 721*2^1001543-1 is not prime. Res64: 7195D27E2BED4FA5 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:26:09] 823*2^1001543-1 is not prime. Res64: FDDF539B21417962 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:29:47] 887*2^1001544-1 is not prime. Res64: 7F0EC35E7EFBC220 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:31:34] 601*2^1001545-1 is not prime. Res64: 63D5D506044AF938 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:35:29] 683*2^1001544-1 is not prime. Res64: F15D7E93E24B3BB4 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:35:29] 705*2^1001544-1 is not prime. Res64: 76ED240D86F57E8E Time : 0.0 sec. user=mdettweiler [2012-01-16 19:38:50] 767*2^1001544-1 is not prime. Res64: A8A418E4AC693095 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:38:50] 795*2^1001544-1 is not prime. Res64: F9A63AE87E257C40 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:39:13] 747*2^1001546-1 is not prime. Res64: AD53A938A3F6E29C Time : 0.0 sec. user=mdettweiler [2012-01-16 19:39:13] 939*2^1001545-1 is not prime. Res64: 516BCDB0999B64D6 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:46:35] 927*2^1001544-1 is not prime. Res64: EE5E5D72872C40E2 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:46:36] 975*2^1001544-1 is not prime. Res64: BAC893F213FC706C Time : 0.0 sec. user=mdettweiler [2012-01-16 19:46:56] 781*2^1001547-1 is not prime. Res64: 4EE8684A6F00E068 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:46:56] 769*2^1001547-1 is not prime. Res64: 5C8E7D89BC48829A Time : 0.0 sec. user=mdettweiler [2012-01-16 19:47:31] 751*2^1001545-1 is not prime. Res64: 4D34F76861B7F89C Time : 0.0 sec. user=mdettweiler [2012-01-16 19:47:32] 855*2^1001545-1 is not prime. Res64: E2B88A93B971D984 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:54:39] 639*2^1001548-1 is not prime. Res64: E30CD12AD1FD5C63 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:54:40] 765*2^1001548-1 is not prime. Res64: 086CAE6430DDFB96 Time : 0.0 sec. user=mdettweiler [2012-01-16 19:56:19] 825*2^1001546-1 is not prime. Res64: A8CE21AD3D7D2A0B Time : 0.0 sec. user=mdettweiler [2012-01-16 19:56:19] 837*2^1001546-1 is not prime. Res64: 373898EE3223185F Time : 0.0 sec. user=mdettweiler [2012-01-16 20:01:52] 981*2^1001546-1 is not prime. Res64: 70D705D32CBC391C Time : 0.0 sec. user=mdettweiler [2012-01-16 20:01:54] 649*2^1001547-1 is not prime. Res64: A667E2CA614E845A Time : 0.0 sec. user=mdettweiler [2012-01-16 20:02:16] 645*2^1001549-1 is not prime. Res64: 34DC418A273529BD Time : 0.0 sec. user=mdettweiler [2012-01-16 20:02:16] 619*2^1001549-1 is not prime. Res64: 10F27559DA79B738 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:07:26] 931*2^1001547-1 is not prime. Res64: 1071863F0340BB81 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:07:26] 629*2^1001548-1 is not prime. Res64: 6BD2829814D1BBCA Time : 0.0 sec. user=mdettweiler [2012-01-16 20:08:22] 783*2^1001548-1 is not prime. Res64: 5183037C78CC8EF5 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:08:23] 927*2^1001548-1 is not prime. Res64: 7FB103CADA0FEA4A Time : 0.0 sec. user=mdettweiler [2012-01-16 20:09:55] 717*2^1001550-1 is not prime. Res64: E55511CEF252077B Time : 0.0 sec. user=mdettweiler [2012-01-16 20:09:56] 665*2^1001550-1 is not prime. Res64: A9EDE130E875E44D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:17:34] 885*2^1001550-1 is not prime. Res64: 40D50F6D219336CF Time : 0.0 sec. user=mdettweiler [2012-01-16 20:17:34] 845*2^1001550-1 is not prime. Res64: 90A0B470A864FF13 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:17:35] 697*2^1001549-1 is not prime. Res64: E9B1796E4065A28F Time : 0.0 sec. user=mdettweiler [2012-01-16 20:17:35] 741*2^1001549-1 is not prime. Res64: 9C22A086D537ED91 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:25:13] 917*2^1001550-1 is not prime. Res64: AD609661A005051D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:25:13] 927*2^1001550-1 is not prime. Res64: 5B3C1FF76E57744D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:26:23] 951*2^1001549-1 is not prime. Res64: CAB0BA66D143BDDB Time : 0.0 sec. user=mdettweiler [2012-01-16 20:26:23] 651*2^1001550-1 is not prime. Res64: 12D8B1C8A83A7C44 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:29:30] 755*2^1001550-1 is not prime. Res64: 7C8F1003073660CF Time : 0.0 sec. user=mdettweiler [2012-01-16 20:29:30] 777*2^1001550-1 is not prime. Res64: 6957CF255E02B996 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:30:48] 795*2^1001550-1 is not prime. Res64: DF96D8D8FC7F0F0D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:30:48] 833*2^1001550-1 is not prime. Res64: 48EB024C4E04299C Time : 0.0 sec. user=mdettweiler [2012-01-16 20:34:35] 993*2^1001551-1 is not prime. Res64: DF723681F98C27E3 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:34:35] 961*2^1001551-1 is not prime. Res64: F52A76DA4265A105 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:39:41] 675*2^1001551-1 is not prime. Res64: AF18236CE4EDB38A Time : 0.0 sec. user=mdettweiler [2012-01-16 20:39:42] 861*2^1001551-1 is not prime. Res64: 2CE57066711E6125 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:41:42] 843*2^1001544-1 is not prime. Res64: 9FFFCD7A52E12F92 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:41:42] 863*2^1001544-1 is not prime. Res64: D7B4D680EF93B602 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:42:17] 649*2^1001553-1 is not prime. Res64: CBF0CBFE92A0AE47 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:42:18] 917*2^1001552-1 is not prime. Res64: 00F8294276C872B0 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:48:02] 609*2^1001552-1 is not prime. Res64: 9D4B26DD58E6DBBF Time : 0.0 sec. user=mdettweiler [2012-01-16 20:48:02] 617*2^1001552-1 is not prime. Res64: 1F0F91351434375D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:49:54] 849*2^1001553-1 is not prime. Res64: 2178774C85D216B7 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:49:54] 889*2^1001553-1 is not prime. Res64: 091E5C4793A496CA Time : 0.0 sec. user=mdettweiler [2012-01-16 20:50:55] 629*2^1001552-1 is not prime. Res64: 2C6A569A6BA7CFB0 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:50:56] 657*2^1001552-1 is not prime. Res64: 6E3976C3979ABE8F Time : 0.0 sec. user=mdettweiler [2012-01-16 20:52:34] 855*2^1001552-1 is not prime. Res64: 3F106B3F36DD086E Time : 0.0 sec. user=mdettweiler [2012-01-16 20:52:34] 897*2^1001552-1 is not prime. Res64: 8141DCF36256A08D Time : 0.0 sec. user=mdettweiler [2012-01-16 20:57:31] 671*2^1001554-1 is not prime. Res64: F51A03AB621E23C5 Time : 0.0 sec. user=mdettweiler [2012-01-16 20:57:31] 741*2^1001554-1 is not prime. Res64: 97D2A53943C67EB4 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:02:02] 721*2^1001553-1 is not prime. Res64: C7AC079F64E13ABB Time : 0.0 sec. user=mdettweiler [2012-01-16 21:02:04] 805*2^1001553-1 is not prime. Res64: 8E37D767A1F00C82 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:05:16] 735*2^1001555-1 is not prime. Res64: 1388F91554DE7CEE Time : 0.0 sec. user=mdettweiler [2012-01-16 21:05:18] 715*2^1001555-1 is not prime. Res64: 5BDF2D46D9EA1886 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:13:13] 789*2^1001556-1 is not prime. Res64: 754F210DC03D4D6A Time : 0.0 sec. user=mdettweiler [2012-01-16 21:13:14] 903*2^1001556-1 is not prime. Res64: D143C7CF83A561F2 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:15:18] 791*2^1001554-1 is not prime. Res64: EE8A69CE075B6B4B Time : 0.0 sec. user=mdettweiler [2012-01-16 21:15:19] 981*2^1001554-1 is not prime. Res64: CAA62C775FAADE89 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:15:27] 937*2^1001553-1 is not prime. Res64: 8FAD2DF827ACA35A Time : 0.0 sec. user=mdettweiler [2012-01-16 21:15:27] 949*2^1001553-1 is not prime. Res64: 72EE668455597B89 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:16:52] 993*2^1001554-1 is not prime. Res64: 2D4BE84956C9107D Time : 0.0 sec. user=mdettweiler [2012-01-16 21:16:52] 693*2^1001555-1 is not prime. Res64: 96E0B8F1F5CFBECB Time : 0.0 sec. user=mdettweiler [2012-01-16 21:20:48] 741*2^1001557-1 is not prime. Res64: E555F8E76644A16E Time : 0.0 sec. user=mdettweiler [2012-01-16 21:22:33] 983*2^1001556-1 is not prime. Res64: F6314E03B3FD9B8B Time : 0.0 sec. user=mdettweiler [2012-01-16 21:22:56] 883*2^1001555-1 is not prime. Res64: 0700BFBFF0C1B811 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:22:57] 669*2^1001556-1 is not prime. Res64: 1B70822C23276A5C Time : 0.0 sec. user=mdettweiler [2012-01-16 21:23:03] 789*2^1001519-1 is not prime. Res64: DDB13715DCFBAB67 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:28:18] 621*2^1001559-1 is not prime. Res64: 94362E77A1F5B52E Time : 0.0 sec. user=mdettweiler [2012-01-16 21:30:05] 741*2^1001559-1 is not prime. Res64: ECEF5C435E09A537 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:35:50] 707*2^1001560-1 is not prime. Res64: AFA614F6BB8C1EB2 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:35:51] 743*2^1001558-1 is not prime. Res64: 2EBDF2261FD059B1 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:35:52] 861*2^1001558-1 is not prime. Res64: E1CD25ACAFA60900 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:37:37] 827*2^1001560-1 is not prime. Res64: 8698A0E600FD08F8 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:38:31] 955*2^1001557-1 is not prime. Res64: C2DF50F9EEB1BA0C Time : 0.0 sec. user=mdettweiler [2012-01-16 21:38:32] 641*2^1001558-1 is not prime. Res64: CAB37668D7AC3B7C Time : 0.0 sec. user=mdettweiler [2012-01-16 21:39:38] 923*2^1001558-1 is not prime. Res64: 5423FD9A9DD688E8 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:39:38] 1001*2^1001558-1 is not prime. Res64: 645F1934E9317E72 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:43:22] 849*2^1001560-1 is not prime. Res64: 74D5B3D28096A397 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:43:41] 795*2^1001559-1 is not prime. Res64: F2E8519F71E27EC5 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:43:41] 831*2^1001559-1 is not prime. Res64: 02C40A08ECA00B49 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:45:10] 715*2^1001561-1 is not prime. Res64: F35E9792F3E5731D Time : 0.0 sec. user=mdettweiler [2012-01-16 21:50:55] 711*2^1001562-1 is not prime. Res64: 69B335720117F8C0 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:52:41] 691*2^1001563-1 is not prime. Res64: 3858495EE7827513 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:56:26] 933*2^1001560-1 is not prime. Res64: 6291BFCDDC5C5F02 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:56:26] 679*2^1001561-1 is not prime. Res64: 3DECE498EA39BF13 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:58:26] 741*2^1001563-1 is not prime. Res64: ACB3AF6EB52BD59C Time : 0.0 sec. user=mdettweiler [2012-01-16 21:58:58] 775*2^1001561-1 is not prime. Res64: E3A7EFE206211424 Time : 0.0 sec. user=mdettweiler [2012-01-16 21:58:58] 781*2^1001561-1 is not prime. Res64: FF88AD461D9C0EA7 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:00:13] 849*2^1001563-1 is not prime. Res64: FF816494E3B2E846 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:02:34] 811*2^1001561-1 is not prime. Res64: D8038A9229C66246 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:02:34] 979*2^1001561-1 is not prime. Res64: F8CAD33EDAB94E93 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:04:13] 723*2^1001562-1 is not prime. Res64: 752D21AD9D6D72C7 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:04:14] 777*2^1001562-1 is not prime. Res64: BB04DED8405B12E9 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:05:55] 891*2^1001563-1 is not prime. Res64: BC4215F7CDCA8299 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:09:33] 999*2^1001563-1 is not prime. Res64: 30D95A66FDA48865 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:13:49] 867*2^1001537-1 is not prime. Res64: FAC69EB89430373C Time : 0.0 sec. user=mdettweiler [2012-01-16 22:13:49] 983*2^1001536-1 is not prime. Res64: E35AB653CEB39663 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:13:50] 885*2^1001559-1 is not prime. Res64: 373DD6311B0BCF2D Time : 0.0 sec. user=mdettweiler [2012-01-16 22:14:54] 819*2^1001553-1 is not prime. Res64: 7AD145134E1C8413 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:14:54] 837*2^1001553-1 is not prime. Res64: EB2E40DE13D7EAC4 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:15:12] 953*2^1001564-1 is not prime. Res64: E60EDF4A2C95B216 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:17:07] 855*2^1001563-1 is not prime. Res64: C9FBC56FEDEDC3D2 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:17:07] 859*2^1001563-1 is not prime. Res64: FB447A6672B6F1D8 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:18:51] 993*2^1001564-1 is not prime. Res64: BBAE3A6381C81F2E Time : 0.0 sec. user=mdettweiler [2012-01-16 22:21:48] 913*2^1001563-1 is not prime. Res64: 4F580189626D8008 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:21:48] 969*2^1001563-1 is not prime. Res64: 4713DA6FA8A86902 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:22:44] 691*2^1001565-1 is not prime. Res64: AC03B3A37DA572E1 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:23:15] 605*2^1001564-1 is not prime. Res64: CB5746A0A552257B Time : 0.0 sec. user=mdettweiler [2012-01-16 22:23:15] 755*2^1001564-1 is not prime. Res64: 7A748067212B3BAA Time : 0.0 sec. user=mdettweiler [2012-01-16 22:24:59] 795*2^1001564-1 is not prime. Res64: A040D6E8BD40880E Time : 0.0 sec. user=mdettweiler [2012-01-16 22:25:00] 915*2^1001564-1 is not prime. Res64: 5B934251EF0AE880 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:28:11] 997*2^1001565-1 is not prime. Res64: BA94F4E3FC6D135C Time : 0.0 sec. user=mdettweiler [2012-01-16 22:30:18] 737*2^1001566-1 is not prime. Res64: E9A142D1B693525B Time : 0.0 sec. user=mdettweiler [2012-01-16 22:35:44] 881*2^1001566-1 is not prime. Res64: EE9AD663F3785700 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:37:33] 717*2^1001565-1 is not prime. Res64: DE7EB1877D070682 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:37:33] 889*2^1001565-1 is not prime. Res64: 74E35F56B6005060 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:39:37] 941*2^1001566-1 is not prime. Res64: F50A5D4A1E1001E0 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:42:47] 645*2^1001566-1 is not prime. Res64: 7CE3887DF5DC4E08 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:42:47] 713*2^1001566-1 is not prime. Res64: A06CB3F872BBF14C Time : 0.0 sec. user=mdettweiler [2012-01-16 22:43:53] 765*2^1001566-1 is not prime. Res64: CF1BC42E1F228102 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:43:53] 833*2^1001566-1 is not prime. Res64: 9D94CA3D09EA54AB Time : 0.0 sec. user=mdettweiler [2012-01-16 22:45:03] 957*2^1001566-1 is not prime. Res64: B560D44653FDC992 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:45:12] 843*2^1001566-1 is not prime. Res64: E40B1737F9F0B56B Time : 0.0 sec. user=mdettweiler [2012-01-16 22:45:13] 867*2^1001566-1 is not prime. Res64: B644174BCA2A2AE4 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:47:10] 735*2^1001567-1 is not prime. Res64: 822F62A7A84F990B Time : 0.0 sec. user=mdettweiler [2012-01-16 22:52:38] 661*2^1001569-1 is not prime. Res64: 51AEFE683E33F7C7 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:54:47] 775*2^1001569-1 is not prime. Res64: 96CB7EAB9A00A1C5 Time : 0.0 sec. user=mdettweiler [2012-01-16 22:59:50] 975*2^1001566-1 is not prime. Res64: E95994C3FA505F1A Time : 0.0 sec. user=mdettweiler [2012-01-16 22:59:50] 661*2^1001567-1 is not prime. Res64: 0592E46DE08E6430 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:00:20] 829*2^1001569-1 is not prime. Res64: 1A45E406683B719E Time : 0.0 sec. user=mdettweiler [2012-01-16 23:02:27] 877*2^1001569-1 is not prime. Res64: 897168FFE9CBE88C Time : 0.0 sec. user=mdettweiler [2012-01-16 23:03:01] 669*2^1001568-1 is not prime. Res64: 025C7C09A28E14A7 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:03:03] 909*2^1001568-1 is not prime. Res64: BFE43331F59A4488 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:04:02] 915*2^1001568-1 is not prime. Res64: 3DE530456F5E69B4 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:04:02] 923*2^1001568-1 is not prime. Res64: 4BB5DD9A32F300C2 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:05:24] 679*2^1001569-1 is not prime. Res64: B05A72F7044AB1D8 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:05:24] 765*2^1001569-1 is not prime. Res64: C3CB435D50E34C62 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:07:52] 743*2^1001570-1 is not prime. Res64: 481CAC5790B6F90E Time : 0.0 sec. user=mdettweiler [2012-01-16 23:10:04] 753*2^1001570-1 is not prime. Res64: 80DD7AF1CDCED30B Time : 0.0 sec. user=mdettweiler [2012-01-16 23:15:25] 679*2^1001571-1 is not prime. Res64: 0C85C75DCCEBAE1F Time : 0.0 sec. user=mdettweiler [2012-01-16 23:17:37] 745*2^1001571-1 is not prime. Res64: F8658CC0045F1705 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:21:53] 701*2^1001570-1 is not prime. Res64: D4438168816744B6 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:21:54] 713*2^1001570-1 is not prime. Res64: 23716196DCCE6F8C Time : 0.0 sec. user=mdettweiler [2012-01-16 23:22:55] 859*2^1001571-1 is not prime. Res64: A35D725F11204C77 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:25:13] 867*2^1001570-1 is not prime. Res64: C5E82B0C051B5A11 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:25:14] 921*2^1001570-1 is not prime. Res64: CA9A1564805680C0 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:26:19] 991*2^1001537-1 is not prime. Res64: CE2BA84EAEA63A30 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:26:54] 943*2^1001571-1 is not prime. Res64: 8C02C93EE45BF063 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:27:21] 649*2^1001571-1 is not prime. Res64: C2DF518F9BAD10D2 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:27:22] 675*2^1001571-1 is not prime. Res64: 985955464FB9E5F9 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:27:26] 711*2^1001537-1 is not prime. Res64: 7B5096AF087B7FC2 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:28:12] 927*2^1001570-1 is not prime. Res64: 5881B7E8158A7719 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:28:12] 981*2^1001570-1 is not prime. Res64: 602B9BAB7BEDAC3C Time : 0.0 sec. user=mdettweiler [2012-01-16 23:30:32] 873*2^1001572-1 is not prime. Res64: C57297A901CC1062 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:34:49] 795*2^1001573-1 is not prime. Res64: 30B22D6C42C720E5 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:38:21] 873*2^1001574-1 is not prime. Res64: B8B9C425A985214D Time : 0.0 sec. user=mdettweiler [2012-01-16 23:41:53] 655*2^1001565-1 is not prime. Res64: 59835FE8C0C6C497 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:41:53] 669*2^1001565-1 is not prime. Res64: 6C3B170D1789D6AF Time : 0.0 sec. user=mdettweiler [2012-01-16 23:42:20] 885*2^1001574-1 is not prime. Res64: F96998CE405B3290 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:44:05] 951*2^1001571-1 is not prime. Res64: D7F2138F0F97ACEC Time : 0.0 sec. user=mdettweiler [2012-01-16 23:44:06] 855*2^1001572-1 is not prime. Res64: 117926574BF7DC0D Time : 0.0 sec. user=mdettweiler [2012-01-16 23:45:51] 891*2^1001574-1 is not prime. Res64: 67E5F645A6CAB0BA Time : 0.0 sec. user=mdettweiler [2012-01-16 23:47:29] 975*2^1001572-1 is not prime. Res64: BC3FF2EFA0DEB313 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:47:29] 621*2^1001573-1 is not prime. Res64: C267E9919F9C95F6 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:48:15] 795*2^1001574-1 is not prime. Res64: 7E57807D53FE4138 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:48:15] 851*2^1001574-1 is not prime. Res64: 3DA6FD0F3B5C636A Time : 0.0 sec. user=mdettweiler [2012-01-16 23:49:36] 861*2^1001573-1 is not prime. Res64: 6889ACCF08399BFC Time : 0.0 sec. user=mdettweiler [2012-01-16 23:49:36] 939*2^1001573-1 is not prime. Res64: 0085AA1BBD96CC2B Time : 0.0 sec. user=mdettweiler [2012-01-16 23:51:35] 945*2^1001574-1 is not prime. Res64: 0FD6A4ED99CF3126 Time : 0.0 sec. user=mdettweiler [2012-01-16 23:53:20] 685*2^1001575-1 is not prime. Res64: C8EC24573502BC9A Time : 0.0 sec. user=mdettweiler [2012-01-16 23:59:04] 669*2^1001576-1 is not prime. Res64: E99392BC68B50C72 Time : 0.0 sec. user=mdettweiler [2012-01-17 00:00:50] 693*2^1001576-1 is not prime. Res64: FC0F16EE66F7EB2C Time : 0.0 sec.