user=vaughan [2012-08-22 00:03:34] 847*2^1226913-1 is not prime. Res64: C45F4617439FDA36 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:05:46] 881*2^1226914-1 is not prime. Res64: 4C0D08A36031924C Time : 0.0 sec. user=mdettweiler [2012-08-22 00:05:48] 945*2^1226914-1 is not prime. Res64: 423AF75BE922C2F1 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:12:25] 655*2^1226915-1 is not prime. Res64: E9B930431DC1083E Time : 0.0 sec. user=mdettweiler [2012-08-22 00:12:26] 759*2^1226915-1 is not prime. Res64: 46B9FA827FE7816F Time : 0.0 sec. user=mdettweiler [2012-08-22 00:15:54] 677*2^1226914-1 is not prime. Res64: 069C27888A4E0604 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:26:39] 669*2^1226916-1 is not prime. Res64: E8906C695DDB495F Time : 0.0 sec. user=mdettweiler [2012-08-22 00:26:40] 675*2^1226916-1 is not prime. Res64: F7E0DBA72A82B4BA Time : 0.0 sec. user=mdettweiler [2012-08-22 00:27:50] 771*2^1226915-1 is not prime. Res64: E1143745244C8CD5 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:33:23] 689*2^1226916-1 is not prime. Res64: CDA09F12941A42F0 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:33:23] 765*2^1226916-1 is not prime. Res64: F612110A818F3359 Time : 0.0 sec. user=vaughan [2012-08-22 00:41:25] 855*2^1226915-1 is not prime. Res64: 3841CE7344C61B1B Time : 0.0 sec. user=mdettweiler [2012-08-22 00:47:31] 927*2^1226916-1 is not prime. Res64: D6B535781951C0C2 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:47:31] 639*2^1226917-1 is not prime. Res64: 659E6AF5F9A69208 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:54:05] 783*2^1226916-1 is not prime. Res64: 5308A3498886ED3A Time : 0.0 sec. user=mdettweiler [2012-08-22 00:54:14] 729*2^1226917-1 is not prime. Res64: 5D52A9C1FF2CD4F4 Time : 0.0 sec. user=mdettweiler [2012-08-22 00:54:15] 747*2^1226917-1 is not prime. Res64: A6EAF27851101DD9 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:02:24] 667*2^1226917-1 is not prime. Res64: 8196109D959F8D26 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:08:16] 641*2^1226918-1 is not prime. Res64: 6FFA34744411BE46 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:08:16] 683*2^1226918-1 is not prime. Res64: 626D0CAA10A8C196 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:15:05] 795*2^1226918-1 is not prime. Res64: 8AE39C05BC66F86C Time : 0.0 sec. user=mdettweiler [2012-08-22 01:15:06] 797*2^1226918-1 is not prime. Res64: 66A84B89AA666C2A Time : 0.0 sec. user=vaughan [2012-08-22 01:19:06] 957*2^1226917-1 is not prime. Res64: 814B9D9B586C0963 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:29:17] 911*2^1226918-1 is not prime. Res64: D622AC40D5D2E7DB Time : 0.0 sec. user=mdettweiler [2012-08-22 01:29:18] 693*2^1226919-1 is not prime. Res64: E8B9520B6768B3E2 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:30:40] 771*2^1226918-1 is not prime. Res64: C7B2012FC7CDA848 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:36:19] 735*2^1226919-1 is not prime. Res64: 96D1A4B6DF0F3F38 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:36:19] 853*2^1226919-1 is not prime. Res64: 0EE30ED69A9AF2C0 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:38:34] 893*2^1226918-1 is not prime. Res64: FCE20C5B85591B84 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:50:25] 891*2^1226919-1 is not prime. Res64: 350CC4C6A8E91E9A Time : 0.0 sec. user=mdettweiler [2012-08-22 01:50:26] 895*2^1226919-1 is not prime. Res64: 454BC491A6F60E77 Time : 0.0 sec. user=vaughan [2012-08-22 01:56:45] 873*2^1226919-1 is not prime. Res64: 7F9C9353A95B1496 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:57:17] 973*2^1226919-1 is not prime. Res64: F859312819B9A7F0 Time : 0.0 sec. user=mdettweiler [2012-08-22 01:57:18] 999*2^1226919-1 is not prime. Res64: 7B9740FF3B6E90C1 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:05:19] 931*2^1226919-1 is not prime. Res64: 32B90E46B4FFD019 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:10:41] 717*2^1226920-1 is not prime. Res64: 8C9A40D9A615F160 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:11:24] 723*2^1226920-1 is not prime. Res64: 2E21E7B015B7B742 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:11:27] 759*2^1226920-1 is not prime. Res64: E9BD5C233B45DA41 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:18:17] 923*2^1226920-1 is not prime. Res64: A6F6BA0540C58299 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:18:18] 959*2^1226920-1 is not prime. Res64: 074BB0F6431EE6AD Time : 0.0 sec. user=mdettweiler [2012-08-22 02:32:25] 775*2^1226921-1 is not prime. Res64: FB550CE2CF413F27 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:32:26] 811*2^1226921-1 is not prime. Res64: AE58194939DF8B10 Time : 0.0 sec. user=vaughan [2012-08-22 02:34:26] 827*2^1226920-1 is not prime. Res64: 46611526E01C9D7C Time : 0.0 sec. user=mdettweiler [2012-08-22 02:39:11] 865*2^1226921-1 is not prime. Res64: A75CF42300631372 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:39:12] 909*2^1226921-1 is not prime. Res64: 4D20C4BF2EE378F6 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:41:45] 669*2^1226921-1 is not prime. Res64: 334B892A7A619287 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:45:57] 735*2^1226921-1 is not prime. Res64: A42B7216CD8A2B0E Time : 0.0 sec. user=mdettweiler [2012-08-22 02:53:31] 937*2^1226921-1 is not prime. Res64: BDE556DD90268A34 Time : 0.0 sec. user=mdettweiler [2012-08-22 02:53:32] 987*2^1226921-1 is not prime. Res64: 1D29479C9DAFD6F8 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:00:06] 681*2^1226922-1 is not prime. Res64: 2EC5ADB366DEDE3F Time : 0.0 sec. user=mdettweiler [2012-08-22 03:00:07] 711*2^1226922-1 is not prime. Res64: 3B66F90F36D6A24E Time : 0.0 sec. user=vaughan [2012-08-22 03:12:14] 621*2^1226922-1 is not prime. Res64: 630AAB14530EAAAA Time : 0.0 sec. user=mdettweiler [2012-08-22 03:14:37] 675*2^1226923-1 is not prime. Res64: 77AEF904EBE1225A Time : 0.0 sec. user=mdettweiler [2012-08-22 03:14:39] 691*2^1226923-1 is not prime. Res64: A23C483E00164D5F Time : 0.0 sec. user=mdettweiler [2012-08-22 03:16:40] 837*2^1226922-1 is not prime. Res64: CED9C32F1ACF035F Time : 0.0 sec. user=mdettweiler [2012-08-22 03:18:30] 631*2^1226923-1 is not prime. Res64: 49AAE8A959CAE503 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:20:59] 703*2^1226923-1 is not prime. Res64: E014DD5AE86BD357 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:21:00] 765*2^1226923-1 is not prime. Res64: 53D9EB2FC42A52AD Time : 0.0 sec. user=mdettweiler [2012-08-22 03:35:30] 835*2^1226923-1 is not prime. Res64: 4E45FA697DBE9400 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:35:32] 861*2^1226923-1 is not prime. Res64: 60F26D1F9EE43B4A Time : 0.0 sec. user=mdettweiler [2012-08-22 03:41:52] 617*2^1226924-1 is not prime. Res64: C3327E728EEC7273 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:41:55] 623*2^1226924-1 is not prime. Res64: B6C14451EDAC47A2 Time : 0.0 sec. user=vaughan [2012-08-22 03:50:03] 789*2^1226923-1 is not prime. Res64: DB738D627513450C Time : 0.0 sec. user=mdettweiler [2012-08-22 03:50:18] 951*2^1226923-1 is not prime. Res64: 009F8042DD2BEB3F Time : 0.0 sec. user=mdettweiler [2012-08-22 03:52:08] 605*2^1226924-1 is not prime. Res64: EFEEEB5E2DCF99CF Time : 0.0 sec. user=mdettweiler [2012-08-22 03:56:43] 629*2^1226924-1 is not prime. Res64: 5C9D621AAE312489 Time : 0.0 sec. user=mdettweiler [2012-08-22 03:56:44] 707*2^1226924-1 is not prime. Res64: B1611E3597AD28AA Time : 0.0 sec. user=mdettweiler [2012-08-22 04:03:19] 743*2^1226924-1 is not prime. Res64: 300EE99F88EB33D9 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:03:20] 753*2^1226924-1 is not prime. Res64: 197F640EAD54A47D Time : 0.0 sec. user=mdettweiler [2012-08-22 04:17:38] 657*2^1226925-1 is not prime. Res64: E4B4F2F40378BAC2 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:17:39] 691*2^1226925-1 is not prime. Res64: E51791BE8836C81F Time : 0.0 sec. user=mdettweiler [2012-08-22 04:24:13] 655*2^1226925-1 is not prime. Res64: 47E36350E76542EA Time : 0.0 sec. user=mdettweiler [2012-08-22 04:24:19] 751*2^1226925-1 is not prime. Res64: 27B203625C2A5438 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:24:20] 819*2^1226925-1 is not prime. Res64: 785A48F2C78941C9 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:25:12] 927*2^1226924-1 is not prime. Res64: 452B2C964B6CD445 Time : 0.0 sec. user=vaughan [2012-08-22 04:27:46] 875*2^1226924-1 is not prime. Res64: EA7CABE332915490 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:38:54] 921*2^1226925-1 is not prime. Res64: F07A8F86D619E8E9 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:38:56] 955*2^1226925-1 is not prime. Res64: 57CDF8D84D61AEA1 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:45:14] 801*2^1226926-1 is not prime. Res64: B2D2D277325EF4B2 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:45:15] 815*2^1226926-1 is not prime. Res64: 3167A22F40FF7D5D Time : 0.0 sec. user=mdettweiler [2012-08-22 04:58:13] 857*2^1226926-1 is not prime. Res64: FF968483E5C2DA27 Time : 0.0 sec. user=mdettweiler [2012-08-22 04:58:57] 957*2^1226926-1 is not prime. Res64: 2A53020564D45301 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:00:08] 975*2^1226926-1 is not prime. Res64: 8CE15D40C1792EE5 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:00:09] 981*2^1226926-1 is not prime. Res64: DA6827313D8279C9 Time : 0.0 sec. user=vaughan [2012-08-22 05:05:26] 971*2^1226926-1 is not prime. Res64: 9D06F4D160167999 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:06:10] 609*2^1226927-1 is not prime. Res64: D4F582BECF62EB0A Time : 0.0 sec. user=mdettweiler [2012-08-22 05:06:12] 661*2^1226927-1 is not prime. Res64: AD578FB73BFABDEE Time : 0.0 sec. user=mdettweiler [2012-08-22 05:21:01] 915*2^1226927-1 is not prime. Res64: 2E73EAC6C32DAC62 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:21:04] 973*2^1226927-1 is not prime. Res64: 9400D036DF7894ED Time : 0.0 sec. user=mdettweiler [2012-08-22 05:27:07] 633*2^1226928-1 is not prime. Res64: 971E55E25FCEA461 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:27:07] 689*2^1226928-1 is not prime. Res64: F1EB71D8D4DA22FA Time : 0.0 sec. user=mdettweiler [2012-08-22 05:31:59] 669*2^1226927-1 is not prime. Res64: D2DA9A20D3365130 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:32:36] 711*2^1226927-1 is not prime. Res64: D99AC4B2A81EEC10 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:42:05] 759*2^1226928-1 is not prime. Res64: 946F063227683ADB Time : 0.0 sec. user=mdettweiler [2012-08-22 05:42:06] 809*2^1226928-1 is not prime. Res64: 3F07B2B721DF13A3 Time : 0.0 sec. user=vaughan [2012-08-22 05:43:13] 605*2^1226928-1 is not prime. Res64: 8F7CBCFDFA5B4788 Time : 0.0 sec. user=mdettweiler [2012-08-22 05:48:02] 815*2^1226928-1 is not prime. Res64: 3547B3B1A9C310BA Time : 0.0 sec. user=mdettweiler [2012-08-22 05:48:02] 845*2^1226928-1 is not prime. Res64: 698CD07A1EF77882 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:02:58] 807*2^1226929-1 is not prime. Res64: 00645BE956850D9B Time : 0.0 sec. user=mdettweiler [2012-08-22 06:02:59] 615*2^1226930-1 is not prime. Res64: 96A1E1A6A145BE01 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:04:10] 639*2^1226929-1 is not prime. Res64: 96DB404BD12A2096 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:07:51] 759*2^1226929-1 is not prime. Res64: 76B93B936C63CB9B Time : 0.0 sec. user=mdettweiler [2012-08-22 06:08:52] 701*2^1226930-1 is not prime. Res64: EE10CF1A0E50D594 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:08:52] 825*2^1226930-1 is not prime. Res64: ECA83E480C7363D2 Time : 0.0 sec. user=vaughan [2012-08-22 06:20:52] 635*2^1226930-1 is not prime. Res64: FD9187026F1A8BAD Time : 0.0 sec. user=mdettweiler [2012-08-22 06:23:55] 977*2^1226930-1 is not prime. Res64: 8A26A3C592FE0224 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:23:56] 789*2^1226931-1 is not prime. Res64: 688B7FF350A90669 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:29:49] 665*2^1226932-1 is not prime. Res64: 39460878C0AA2F23 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:29:49] 797*2^1226932-1 is not prime. Res64: 657253FC274C63BF Time : 0.0 sec. user=mdettweiler [2012-08-22 06:37:53] 975*2^1226931-1 is not prime. Res64: F36931CDC32D0127 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:42:10] 609*2^1226932-1 is not prime. Res64: EBA7CE3175738EB0 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:44:44] 885*2^1226932-1 is not prime. Res64: B9F18922ADCC65C4 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:44:45] 887*2^1226932-1 is not prime. Res64: F7DB30E61541580C Time : 0.0 sec. user=mdettweiler [2012-08-22 06:50:42] 899*2^1226932-1 is not prime. Res64: 874BAFCBAE0BEEB5 Time : 0.0 sec. user=mdettweiler [2012-08-22 06:50:47] 909*2^1226932-1 is not prime. Res64: 2DE399BDB1E70B43 Time : 0.0 sec. user=vaughan [2012-08-22 06:58:36] 875*2^1226932-1 is not prime. Res64: B227567227E80784 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:05:35] 927*2^1226933-1 is not prime. Res64: FF4EB12C36685A55 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:05:38] 985*2^1226933-1 is not prime. Res64: FF53406DD990DF08 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:11:46] 627*2^1226934-1 is not prime. Res64: B916709E2023D0E9 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:11:47] 657*2^1226934-1 is not prime. Res64: EBC64C26045A8D1C Time : 0.0 sec. user=mdettweiler [2012-08-22 07:13:43] 771*2^1226933-1 is not prime. Res64: 24C45BC40F7018B0 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:14:27] 859*2^1226933-1 is not prime. Res64: 6AE54FF1E8608AA5 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:26:35] 681*2^1226934-1 is not prime. Res64: 4A0CB5B8005FB972 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:26:36] 705*2^1226934-1 is not prime. Res64: 380130F5BE9028C2 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:32:48] 797*2^1226934-1 is not prime. Res64: EF08758C0067D618 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:32:49] 861*2^1226934-1 is not prime. Res64: 4F76CE5919CB8A12 Time : 0.0 sec. user=vaughan [2012-08-22 07:36:16] 671*2^1226934-1 is not prime. Res64: 817EAFDE5D5411D0 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:47:30] 723*2^1226935-1 is not prime. Res64: E909FC7DA1BB2F46 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:47:30] 735*2^1226935-1 is not prime. Res64: D41435412E0847A4 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:48:14] 893*2^1226934-1 is not prime. Res64: 3B4553FB86133E72 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:48:57] 603*2^1226935-1 is not prime. Res64: 7A1DB6725C953462 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:53:45] 771*2^1226935-1 is not prime. Res64: C519FAC899AE0206 Time : 0.0 sec. user=mdettweiler [2012-08-22 07:53:45] 853*2^1226935-1 is not prime. Res64: 3F5D8435C54A0D2F Time : 0.0 sec. user=mdettweiler [2012-08-22 08:08:21] 919*2^1226935-1 is not prime. Res64: 13326EB8C1B6F401 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:08:22] 925*2^1226935-1 is not prime. Res64: C5043734F6EED5E0 Time : 0.0 sec. user=vaughan [2012-08-22 08:13:56] 889*2^1226935-1 is not prime. Res64: 7F6C8F802A38C463 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:14:41] 615*2^1226936-1 is not prime. Res64: A7A69F4862A69768 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:14:43] 623*2^1226936-1 is not prime. Res64: EADC1FA0CFD9014A Time : 0.0 sec. user=mdettweiler [2012-08-22 08:21:51] 985*2^1226935-1 is not prime. Res64: 6276560AAABEBB2B Time : 0.0 sec. user=mdettweiler [2012-08-22 08:22:26] 603*2^1226936-1 is not prime. Res64: F2399CAC7669F1D2 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:29:16] 903*2^1226936-1 is not prime. Res64: 53BAADA4699B3819 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:29:17] 661*2^1226937-1 is not prime. Res64: 4155CA462A130ECC Time : 0.0 sec. user=mdettweiler [2012-08-22 08:35:42] 861*2^1226937-1 is not prime. Res64: DC21BCAC9C286646 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:35:42] 895*2^1226937-1 is not prime. Res64: 1E904CD920A35505 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:50:07] 733*2^1226939-1 is not prime. Res64: FEADD3DB541D3E53 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:50:08] 825*2^1226939-1 is not prime. Res64: 517FE2AC2781CF77 Time : 0.0 sec. user=vaughan [2012-08-22 08:51:53] 805*2^1226937-1 is not prime. Res64: 80D26FBA47EC1A68 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:55:15] 911*2^1226938-1 is not prime. Res64: 4141B19AE48F2CFD Time : 0.0 sec. user=mdettweiler [2012-08-22 08:56:34] 841*2^1226939-1 is not prime. Res64: EFC145D8845239A2 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:56:35] 909*2^1226939-1 is not prime. Res64: 2125ED898468B8D1 Time : 0.0 sec. user=mdettweiler [2012-08-22 08:57:42] 711*2^1226939-1 is not prime. Res64: B133F99EE498865A Time : 0.0 sec. user=mdettweiler [2012-08-22 09:10:59] 969*2^1226939-1 is not prime. Res64: AD663A1196685E20 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:11:04] 985*2^1226939-1 is not prime. Res64: 21F65E9052B3CFB0 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:17:24] 873*2^1226940-1 is not prime. Res64: 0E31D2DAFB847DE5 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:17:25] 909*2^1226940-1 is not prime. Res64: D3FE4DE12DAD6F73 Time : 0.0 sec. user=vaughan [2012-08-22 09:29:35] 707*2^1226940-1 is not prime. Res64: 1CF6CBA615FCED2F Time : 0.0 sec. user=mdettweiler [2012-08-22 09:29:55] 845*2^1226940-1 is not prime. Res64: 3B6210C7BA1F1652 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:29:58] 933*2^1226940-1 is not prime. Res64: 051356C10DD446CF Time : 0.0 sec. user=mdettweiler [2012-08-22 09:32:32] 715*2^1226941-1 is not prime. Res64: EFBCEA211318495C Time : 0.0 sec. user=mdettweiler [2012-08-22 09:32:33] 825*2^1226941-1 is not prime. Res64: 64DA5577B4F4CECE Time : 0.0 sec. user=mdettweiler [2012-08-22 09:38:19] 855*2^1226941-1 is not prime. Res64: A74DE161C68EA757 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:38:19] 951*2^1226941-1 is not prime. Res64: 678800F2CD83D002 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:53:23] 613*2^1226943-1 is not prime. Res64: A5DBC12C02B09DD7 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:53:23] 871*2^1226943-1 is not prime. Res64: CB8336CE2EDE3BEC Time : 0.0 sec. user=mdettweiler [2012-08-22 09:59:12] 609*2^1226944-1 is not prime. Res64: 68C2495187A26348 Time : 0.0 sec. user=mdettweiler [2012-08-22 09:59:13] 623*2^1226944-1 is not prime. Res64: 44DFE6310A57BE14 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:03:55] 827*2^1226942-1 is not prime. Res64: 66C1B43696606473 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:04:06] 963*2^1226942-1 is not prime. Res64: 9B5F75D5727B8C85 Time : 0.0 sec. user=vaughan [2012-08-22 10:07:16] 741*2^1226942-1 is not prime. Res64: DBDD0C79F9D1C3E8 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:14:14] 743*2^1226944-1 is not prime. Res64: 7DC9F04F26CC1CC0 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:14:16] 759*2^1226944-1 is not prime. Res64: 47CA573936BD452D Time : 0.0 sec. user=mdettweiler [2012-08-22 10:20:05] 975*2^1226944-1 is not prime. Res64: C9CAA66FFADC2E7E Time : 0.0 sec. user=mdettweiler [2012-08-22 10:20:06] 983*2^1226944-1 is not prime. Res64: CAD58A384EBBDC2E Time : 0.0 sec. user=mdettweiler [2012-08-22 10:35:37] 969*2^1226945-1 is not prime. Res64: 2D11ADFD4F7CA6DF Time : 0.0 sec. user=mdettweiler [2012-08-22 10:35:38] 611*2^1226946-1 is not prime. Res64: B67856C339730BD5 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:37:39] 669*2^1226945-1 is not prime. Res64: 4F4B8E2BD797C97A Time : 0.0 sec. user=mdettweiler [2012-08-22 10:40:59] 627*2^1226946-1 is not prime. Res64: E2F2E626CAB0FC25 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:40:59] 635*2^1226946-1 is not prime. Res64: DBB882EA387F8B1A Time : 0.0 sec. user=vaughan [2012-08-22 10:44:56] 787*2^1226945-1 is not prime. Res64: B1AB7C6E29625D6A Time : 0.0 sec. user=mdettweiler [2012-08-22 10:45:20] 729*2^1226945-1 is not prime. Res64: C6530DDAD61B7C11 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:56:44] 705*2^1226946-1 is not prime. Res64: 24D6C2653F2255D9 Time : 0.0 sec. user=mdettweiler [2012-08-22 10:56:45] 725*2^1226946-1 is not prime. Res64: DE1AB8FEAE4C14A3 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:01:48] 971*2^1226946-1 is not prime. Res64: 446DFB08EB1F8F37 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:01:50] 651*2^1226947-1 is not prime. Res64: 1E11369B5810051C Time : 0.0 sec. user=mdettweiler [2012-08-22 11:11:10] 737*2^1226946-1 is not prime. Res64: 8C89A1A769D80D77 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:17:32] 769*2^1226947-1 is not prime. Res64: 88804073BCD7445B Time : 0.0 sec. user=mdettweiler [2012-08-22 11:17:35] 805*2^1226947-1 is not prime. Res64: 08C107DFB0B3E8E8 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:21:40] 675*2^1226947-1 is not prime. Res64: 8A878CE7D519AEBE Time : 0.0 sec. user=vaughan [2012-08-22 11:22:34] 663*2^1226947-1 is not prime. Res64: C91DE13D669632E4 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:22:50] 819*2^1226947-1 is not prime. Res64: D7AD6F75F985120C Time : 0.0 sec. user=mdettweiler [2012-08-22 11:22:51] 871*2^1226947-1 is not prime. Res64: EBB2475BB57FE028 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:38:39] 609*2^1226949-1 is not prime. Res64: E6410D7E7C8B9E14 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:38:40] 639*2^1226949-1 is not prime. Res64: A059E0630DEEEA14 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:43:43] 781*2^1226949-1 is not prime. Res64: 7BF053CF4AE8985A Time : 0.0 sec. user=mdettweiler [2012-08-22 11:43:44] 835*2^1226949-1 is not prime. Res64: 98F6D35F49179CAA Time : 0.0 sec. user=mdettweiler [2012-08-22 11:45:28] 677*2^1226948-1 is not prime. Res64: 168763AB99AAB4B6 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:55:56] 649*2^1226949-1 is not prime. Res64: F12546732A6D53AD Time : 0.0 sec. user=mdettweiler [2012-08-22 11:59:30] 885*2^1226949-1 is not prime. Res64: 4731BFBDD7F852E7 Time : 0.0 sec. user=mdettweiler [2012-08-22 11:59:30] 889*2^1226949-1 is not prime. Res64: D1FFEF0D6D23FE72 Time : 0.0 sec. user=vaughan [2012-08-22 12:00:15] 745*2^1226949-1 is not prime. Res64: 5F038A6C80FCC8B7 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:04:36] 891*2^1226949-1 is not prime. Res64: 3DF4D771422C753F Time : 0.0 sec. user=mdettweiler [2012-08-22 12:04:37] 961*2^1226949-1 is not prime. Res64: ECC44C70B48CF475 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:20:26] 765*2^1226950-1 is not prime. Res64: F6F3A33BA05A8185 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:20:27] 785*2^1226950-1 is not prime. Res64: 7F6FEED789EA4AED Time : 0.0 sec. user=mdettweiler [2012-08-22 12:21:43] 985*2^1226949-1 is not prime. Res64: 32C2702C0935C168 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:25:43] 741*2^1226951-1 is not prime. Res64: 29894409DF71F176 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:25:43] 855*2^1226951-1 is not prime. Res64: 4CF13D442AA8B72D Time : 0.0 sec. user=mdettweiler [2012-08-22 12:30:11] 747*2^1226950-1 is not prime. Res64: C008B82C57DC3958 Time : 0.0 sec. user=vaughan [2012-08-22 12:37:56] 661*2^1226951-1 is not prime. Res64: 697D24784AF3B3F6 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:41:27] 999*2^1226951-1 is not prime. Res64: 016ABBAA9BF4B826 Time : 0.0 sec. user=mdettweiler [2012-08-22 12:41:27] 689*2^1226952-1 is not prime. Res64: D548ADDA9947451C Time : 0.0 sec. user=mdettweiler [2012-08-22 12:46:37] 765*2^1226952-1 is not prime. Res64: D6C4FBC6E0367ECB Time : 0.0 sec. user=mdettweiler [2012-08-22 12:46:37] 825*2^1226952-1 is not prime. Res64: 00A4DC0CF77A9EAE Time : 0.0 sec. user=mdettweiler [2012-08-22 12:56:55] 695*2^1226952-1 is not prime. Res64: 06A155447E1B4216 Time : 0.0 sec. user=mdettweiler [2012-08-22 13:02:18] 849*2^1226953-1 is not prime. Res64: 0F71107E13285B1B Time : 0.0 sec. user=mdettweiler [2012-08-22 13:02:21] 889*2^1226953-1 is not prime. Res64: 6945BE2DFA74D1E2 Time : 0.0 sec. user=mdettweiler [2012-08-22 13:05:03] 607*2^1226953-1 is not prime. Res64: 9589035D7DC80334 Time : 0.0 sec. user=mdettweiler [2012-08-22 13:07:30] 645*2^1226954-1 is not prime. Res64: D00244C5A200A87D Time : 0.0 sec. user=mdettweiler [2012-08-22 13:07:31] 707*2^1226954-1 is not prime. Res64: BAF898154BFA380A Time : 0.0 sec. user=vaughan [2012-08-22 13:15:36] 817*2^1226953-1 is not prime. Res64: 072E75AA8512C7BF Time : 0.0 sec. user=mdettweiler [2012-08-22 13:23:21] 783*2^1226954-1 is not prime. Res64: 103E4F1B4266CAFE Time : 0.0 sec. user=mdettweiler [2012-08-22 13:23:22] 813*2^1226954-1 is not prime. Res64: BCCE2D5CF982B9ED Time : 0.0 sec. user=mdettweiler [2012-08-22 13:28:30] 873*2^1226954-1 is not prime. Res64: C1C15AB2754B6BAA Time : 0.0 sec. user=mdettweiler [2012-08-22 13:28:30] 885*2^1226954-1 is not prime. Res64: 50E65D82AEB4F950 Time : 0.0 sec. user=mdettweiler [2012-08-22 13:32:48] 755*2^1226954-1 is not prime. Res64: 34FA9DC2AC13150A Time : 0.0 sec. user=mdettweiler [2012-08-22 13:41:55] 851*2^1226954-1 is not prime. Res64: 00DF94B9563A6801 Time : 0.0 sec. user=gd_barnes [2012-08-22 13:49:07] 971*2^1226954-1 is not prime. Res64: 419EA993CE298C7C Time : 0.0 sec. user=mdettweiler [2012-08-22 13:49:21] 981*2^1226954-1 is not prime. Res64: FB55483D07E8B667 Time : 0.0 sec. user=mdettweiler [2012-08-22 13:49:22] 995*2^1226954-1 is not prime. Res64: 1A9EF5994FDBA952 Time : 0.0 sec. user=vaughan [2012-08-22 13:53:32] 945*2^1226954-1 is not prime. Res64: E7E81D89115FA2BB Time : 0.0 sec. user=mdettweiler [2012-08-22 13:54:51] 675*2^1226955-1 is not prime. Res64: A21330C803B27E6E Time : 0.0 sec. user=mdettweiler [2012-08-22 14:06:42] 613*2^1226955-1 is not prime. Res64: 72BCD7F36A3ABB11 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:10:15] 789*2^1226955-1 is not prime. Res64: B485353D4DB0246B Time : 0.0 sec. user=mdettweiler [2012-08-22 14:10:15] 871*2^1226955-1 is not prime. Res64: 6C6BDB86F05D1ADA Time : 0.0 sec. user=mdettweiler [2012-08-22 14:15:48] 603*2^1226956-1 is not prime. Res64: AE0A796B09A18585 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:15:48] 695*2^1226956-1 is not prime. Res64: 2362F00ED50C0ABF Time : 0.0 sec. user=mdettweiler [2012-08-22 14:16:18] 781*2^1226955-1 is not prime. Res64: 8D1EC7577C1C54F8 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:31:09] 903*2^1226956-1 is not prime. Res64: BA280C5EB44C431B Time : 0.0 sec. user=mdettweiler [2012-08-22 14:31:09] 945*2^1226957-1 is not prime. Res64: ACDD6A8D69C32F5C Time : 0.0 sec. user=vaughan [2012-08-22 14:31:14] 895*2^1226955-1 is not prime. Res64: AA005A95661A7575 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:36:39] 949*2^1226957-1 is not prime. Res64: F0FD0F640D36A492 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:36:39] 967*2^1226957-1 is not prime. Res64: 2265F0B39F8F80CB Time : 0.0 sec. user=mdettweiler [2012-08-22 14:46:18] 705*2^1226956-1 is not prime. Res64: B47DA32D2C87FD6B Time : 0.0 sec. user=mdettweiler [2012-08-22 14:52:05] 647*2^1226958-1 is not prime. Res64: 324C7A5927BF17D6 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:52:06] 731*2^1226958-1 is not prime. Res64: C9E60B6EA5C184F5 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:52:39] 627*2^1226958-1 is not prime. Res64: 1BCADD4C268C972A Time : 0.0 sec. user=mdettweiler [2012-08-22 14:57:33] 737*2^1226958-1 is not prime. Res64: 1FF6EC0CB20E4351 Time : 0.0 sec. user=mdettweiler [2012-08-22 14:57:33] 815*2^1226958-1 is not prime. Res64: F54453854DE60EF8 Time : 0.0 sec. user=vaughan [2012-08-22 15:09:02] 711*2^1226958-1 is not prime. Res64: 07865FFFFE6B214B Time : 0.0 sec. user=mdettweiler [2012-08-22 15:13:14] 881*2^1226958-1 is not prime. Res64: FDEE2E7DF2F9431A Time : 0.0 sec. user=mdettweiler [2012-08-22 15:18:23] 601*2^1226959-1 is not prime. Res64: 8EFCD2894BBBFDA2 Time : 0.0 sec. user=mdettweiler [2012-08-22 15:18:24] 609*2^1226959-1 is not prime. Res64: 4ADBBC0E92CD561D Time : 0.0 sec. user=mdettweiler [2012-08-22 15:23:19] 863*2^1226958-1 is not prime. Res64: 0CACF482DB194973 Time : 0.0 sec. user=mdettweiler [2012-08-22 15:26:20] 1001*2^1226958-1 is not prime. Res64: AA3202D7D379C441 Time : 0.0 sec. user=mdettweiler [2012-08-22 15:39:20] 745*2^1226959-1 is not prime. Res64: E8F29AEC28A2262F Time : 0.0 sec. user=mdettweiler [2012-08-22 15:39:23] 759*2^1226959-1 is not prime. Res64: CAD6D4040CA2E13D Time : 0.0 sec. user=mdettweiler [2012-08-22 15:40:03] 975*2^1226958-1 is not prime. Res64: A9104A06E7F835EB Time : 0.0 sec. user=vaughan [2012-08-22 15:47:11] 663*2^1226959-1 is not prime. Res64: 63A9136AD5D7A0EA Time : 0.0 sec. user=mdettweiler [2012-08-22 15:58:11] 769*2^1226959-1 is not prime. Res64: B181870B8D787A3F Time : 0.0 sec. user=mdettweiler [2012-08-22 16:00:19] 857*2^1226960-1 is not prime. Res64: F849E3C1B82A2D47 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:00:20] 923*2^1226960-1 is not prime. Res64: F0407FB7A99A61E5 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:00:59] 957*2^1226960-1 is not prime. Res64: A1972B5E5BF6A8EB Time : 0.0 sec. user=mdettweiler [2012-08-22 16:01:01] 963*2^1226960-1 is not prime. Res64: 640BFF459C184FB0 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:01:32] 827*2^1226960-1 is not prime. Res64: 60FAF02650400D2E Time : 0.0 sec. user=mdettweiler [2012-08-22 16:21:13] 741*2^1226961-1 is not prime. Res64: 3DB4BD3174991A96 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:21:14] 867*2^1226961-1 is not prime. Res64: 107015042813E50F Time : 0.0 sec. user=mdettweiler [2012-08-22 16:22:00] 895*2^1226961-1 is not prime. Res64: A45D0789A702FCB9 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:22:01] 937*2^1226961-1 is not prime. Res64: 70C1054453468C4D Time : 0.0 sec. user=vaughan [2012-08-22 16:24:56] 639*2^1226961-1 is not prime. Res64: F098A9118CCDF22C Time : 0.0 sec. user=mdettweiler [2012-08-22 16:34:56] 633*2^1226962-1 is not prime. Res64: 7AB52B518A4A2A19 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:35:21] 691*2^1226961-1 is not prime. Res64: 27212FC6F962FDA7 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:42:14] 813*2^1226962-1 is not prime. Res64: 4C8EED5C5B280D89 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:42:14] 615*2^1226963-1 is not prime. Res64: 2B809060D4FDF155 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:42:55] 621*2^1226963-1 is not prime. Res64: EA920A3BE7C3C5C9 Time : 0.0 sec. user=mdettweiler [2012-08-22 16:42:56] 631*2^1226963-1 is not prime. Res64: C226AE1D1A18E604 Time : 0.0 sec. user=vaughan [2012-08-22 17:02:37] 699*2^1226963-1 is not prime. Res64: 2670436444D068DE Time : 0.0 sec. user=mdettweiler [2012-08-22 17:03:06] 991*2^1226963-1 is not prime. Res64: EA052142C99E82F8 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:03:07] 665*2^1226964-1 is not prime. Res64: E58C7A93F5B8AC7F Time : 0.0 sec. user=mdettweiler [2012-08-22 17:03:44] 707*2^1226964-1 is not prime. Res64: 0F438BA7530439CA Time : 0.0 sec. user=mdettweiler [2012-08-22 17:03:45] 783*2^1226964-1 is not prime. Res64: 66F8DBC0DE60B3DE Time : 0.0 sec. user=mdettweiler [2012-08-22 17:10:37] 753*2^1226963-1 is not prime. Res64: F48560A1C602108C Time : 0.0 sec. user=mdettweiler [2012-08-22 17:11:07] 775*2^1226963-1 is not prime. Res64: 7CC3E4A8C085D6B8 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:23:57] 915*2^1226964-1 is not prime. Res64: 170A55D7C52DC592 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:23:58] 947*2^1226964-1 is not prime. Res64: D5D8A465AD187F19 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:24:38] 969*2^1226964-1 is not prime. Res64: 0E748AE4FB3281B7 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:24:39] 775*2^1226965-1 is not prime. Res64: C187864E839D6450 Time : 0.0 sec. user=vaughan [2012-08-22 17:40:27] 837*2^1226964-1 is not prime. Res64: 0C3EF3B29D6F56E7 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:43:41] 861*2^1226965-1 is not prime. Res64: 4FB8B568EF97F4B2 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:44:52] 603*2^1226966-1 is not prime. Res64: FEA1CE346052BFA1 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:44:53] 615*2^1226966-1 is not prime. Res64: 889B7BD44F952E42 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:45:32] 651*2^1226966-1 is not prime. Res64: 049721244F412864 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:45:33] 671*2^1226966-1 is not prime. Res64: 3E9698D11F0BD639 Time : 0.0 sec. user=mdettweiler [2012-08-22 17:47:54] 997*2^1226965-1 is not prime. Res64: 91551A573E158450 Time : 0.0 sec. user=mdettweiler [2012-08-22 18:05:44] 911*2^1226966-1 is not prime. Res64: 1D2B7A16542D50CF Time : 0.0 sec. user=mdettweiler [2012-08-22 18:05:45] 917*2^1226966-1 is not prime. Res64: 675ABE64353B396A Time : 0.0 sec. user=mdettweiler [2012-08-22 18:06:26] 693*2^1226967-1 is not prime. Res64: BD96AA1F453BD3F5 Time : 0.0 sec. user=mdettweiler [2012-08-22 18:06:30] 735*2^1226967-1 is not prime. Res64: 12621BE61EC63BD6 Time : 0.0 sec. user=vaughan [2012-08-22 18:18:07] 693*2^1226966-1 is not prime. Res64: BC29A2122143754A Time : 0.0 sec. user=mdettweiler [2012-08-22 18:18:09] 857*2^1226966-1 is not prime. Res64: 4BB38064DDC6B749 Time : 0.0 sec. user=mdettweiler [2012-08-22 18:22:07] 775*2^1226967-1 is not prime. Res64: DC6620B41B02574C Time : 0.0 sec. user=mdettweiler [2012-08-22 18:26:42] 831*2^1226967-1 is not prime. Res64: CEBA438401B2457E Time : 0.0 sec. user=mdettweiler [2012-08-22 18:26:43] 849*2^1226967-1 is not prime. Res64: 300DB8AADDC2CEA4 Time : 0.0 sec. user=mdettweiler [2012-08-22 18:27:23] 919*2^1226967-1 is not prime. Res64: AB0015CB2C39330E Time : 0.0 sec. user=mdettweiler [2012-08-22 18:27:24] 931*2^1226967-1 is not prime. Res64: A783D1B79688AB75 Time : 0.0 sec. user=mdettweiler [2012-08-22 18:47:40] 845*2^1226968-1 is not prime. Res64: 976660DBD868CA8E Time : 0.0 sec. user=mdettweiler [2012-08-22 18:47:41] 899*2^1226968-1 is not prime. Res64: 012E70D418CF756F Time : 0.0 sec. user=mdettweiler [2012-08-22 18:48:14] 933*2^1226968-1 is not prime. Res64: 9BD536674A260C1C Time : 0.0 sec. user=mdettweiler [2012-08-22 18:48:15] 747*2^1226969-1 is not prime. Res64: 70288497B2DE6DDA Time : 0.0 sec. user=mdettweiler [2012-08-22 18:51:54] 615*2^1226968-1 is not prime. Res64: C71CC25F38F3F8E4 Time : 0.0 sec. user=vaughan [2012-08-22 18:55:51] 687*2^1226968-1 is not prime. Res64: F65F5C762FC86B5F Time : 0.0 sec. user=mdettweiler [2012-08-22 18:55:57] 713*2^1226968-1 is not prime. Res64: BD4AF77DAD1D86D5 Time : 0.0 sec. user=mdettweiler [2012-08-22 19:08:42] 771*2^1226969-1 is not prime. Res64: 05C92965B61824FD Time : 0.0 sec. user=mdettweiler [2012-08-22 19:09:07] 907*2^1226969-1 is not prime. Res64: 88A4DFEFBD808EFE Time : 0.0 sec. user=mdettweiler [2012-08-22 19:09:10] 615*2^1226970-1 is not prime. Res64: ADB96C318E5E2DD1 Time : 0.0 sec. user=mdettweiler [2012-08-22 19:28:31] 845*2^1226970-1 is not prime. Res64: DADD3FFE08CD781F Time : 0.0 sec. user=mdettweiler [2012-08-22 19:28:34] 671*2^1226970-1 is not prime. Res64: 769F428C5036C381 Time : 0.0 sec. user=mdettweiler [2012-08-22 19:30:31] 885*2^1226970-1 is not prime. Res64: CA361369D2C3DC96 Time : 0.0 sec. user=mdettweiler [2012-08-22 19:30:32] 921*2^1226970-1 is not prime. Res64: A327368C323749CE Time : 0.0 sec. user=vaughan [2012-08-22 19:33:29] 711*2^1226970-1 is not prime. Res64: F2357B7A3616C47F Time : 0.0 sec. user=mdettweiler [2012-08-22 19:43:48] 789*2^1226969-1 is not prime. Res64: DCCF76DC551E065C Time : 0.0 sec. user=mdettweiler [2012-08-22 19:51:35] 693*2^1226971-1 is not prime. Res64: FF8BD2460B1A9E45 Time : 0.0 sec. user=mdettweiler [2012-08-22 19:51:36] 715*2^1226971-1 is not prime. Res64: 88F505AFF9151D46 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:03:04] 619*2^1226971-1 is not prime. Res64: 014F9BDA23DE8A70 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:03:25] 691*2^1226971-1 is not prime. Res64: 00AA3750FF47221E Time : 0.0 sec. user=mdettweiler [2012-08-22 20:04:43] 759*2^1226971-1 is not prime. Res64: 8218E4F1CC06B052 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:04:45] 871*2^1226971-1 is not prime. Res64: E8437494FB3F0AAF Time : 0.0 sec. user=vaughan [2012-08-22 20:11:09] 745*2^1226971-1 is not prime. Res64: 209850D8B07E3A0E Time : 0.0 sec. user=mdettweiler [2012-08-22 20:12:27] 925*2^1226971-1 is not prime. Res64: 4CB878583D3135E3 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:12:29] 687*2^1226972-1 is not prime. Res64: 44AF7DFBE69CF709 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:25:39] 885*2^1226972-1 is not prime. Res64: 43CFF4820EC7470D Time : 0.0 sec. user=mdettweiler [2012-08-22 20:25:40] 977*2^1226972-1 is not prime. Res64: F86AE192A91BEEA8 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:33:22] 609*2^1226973-1 is not prime. Res64: 64FCAB3A51511467 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:33:23] 675*2^1226973-1 is not prime. Res64: 5B98FE31F093AF55 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:36:48] 797*2^1226972-1 is not prime. Res64: 70FB580CFBC4D42C Time : 0.0 sec. user=mdettweiler [2012-08-22 20:37:16] 827*2^1226972-1 is not prime. Res64: 2BACE9E407DF953C Time : 0.0 sec. user=mdettweiler [2012-08-22 20:46:32] 765*2^1226973-1 is not prime. Res64: A675D596FA6AD992 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:46:33] 969*2^1226973-1 is not prime. Res64: 80B071B404030E32 Time : 0.0 sec. user=vaughan [2012-08-22 20:49:00] 983*2^1226972-1 is not prime. Res64: B4649BE7AF3FDB2A Time : 0.0 sec. user=mdettweiler [2012-08-22 20:54:19] 617*2^1226974-1 is not prime. Res64: 573DE35318640AC9 Time : 0.0 sec. user=mdettweiler [2012-08-22 20:54:20] 623*2^1226974-1 is not prime. Res64: B7338EEE5CDFF2E8 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:07:31] 681*2^1226974-1 is not prime. Res64: 5C2453A17C3FC7E7 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:07:33] 705*2^1226974-1 is not prime. Res64: 48BDEC2F6BC06115 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:09:29] 635*2^1226974-1 is not prime. Res64: 940F67D1892B05CB Time : 0.0 sec. user=mdettweiler [2012-08-22 21:13:02] 651*2^1226974-1 is not prime. Res64: 41F729E5D85E1406 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:15:10] 815*2^1226974-1 is not prime. Res64: 59875A9791E71B6D Time : 0.0 sec. user=mdettweiler [2012-08-22 21:15:12] 821*2^1226974-1 is not prime. Res64: A6265BDCA6A55343 Time : 0.0 sec. user=vaughan [2012-08-22 21:26:40] 773*2^1226974-1 is not prime. Res64: B4BD49601B8D745C Time : 0.0 sec. user=mdettweiler [2012-08-22 21:28:46] 923*2^1226974-1 is not prime. Res64: 03A3D8203B1B2300 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:28:48] 965*2^1226974-1 is not prime. Res64: 6C4EFFC7AEFEF552 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:36:13] 783*2^1226975-1 is not prime. Res64: 9CF6E0F2BF2F4A0E Time : 0.0 sec. user=mdettweiler [2012-08-22 21:36:14] 789*2^1226975-1 is not prime. Res64: 05DC55A78048CBA2 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:41:44] 603*2^1226975-1 is not prime. Res64: FCE65101C865BC75 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:48:01] 721*2^1226975-1 is not prime. Res64: C3B92D063A676BE5 Time : 0.0 sec. user=mdettweiler [2012-08-22 21:49:55] 883*2^1226975-1 is not prime. Res64: 706639434673C16D Time : 0.0 sec. user=mdettweiler [2012-08-22 21:57:16] 969*2^1226975-1 is not prime. Res64: 61E6C51A2E9624E3 Time : 0.0 sec. user=vaughan [2012-08-22 22:04:23] 799*2^1226975-1 is not prime. Res64: 75163A0982298A77 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:10:56] 815*2^1226976-1 is not prime. Res64: 8B51AC159739C7C4 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:10:59] 887*2^1226976-1 is not prime. Res64: 50DD5C7309EAB57E Time : 0.0 sec. user=mdettweiler [2012-08-22 22:17:13] 765*2^1226976-1 is not prime. Res64: 25760D737F2D0030 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:25:24] 789*2^1226976-1 is not prime. Res64: B9701FEDFC7EB2D9 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:26:26] 615*2^1226976-1 is not prime. Res64: B803232FFC9677D1 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:32:12] 607*2^1226977-1 is not prime. Res64: 7A0C9CBA488DB747 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:32:12] 645*2^1226977-1 is not prime. Res64: B907721CF7B30288 Time : 0.0 sec. user=vaughan [2012-08-22 22:42:09] 909*2^1226976-1 is not prime. Res64: 4077560A71BD945A Time : 0.0 sec. user=mdettweiler [2012-08-22 22:49:45] 769*2^1226977-1 is not prime. Res64: 0E8B0E8F87E44578 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:53:10] 829*2^1226977-1 is not prime. Res64: 37CDEA9CDE9A86E4 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:53:11] 605*2^1226978-1 is not prime. Res64: 18DFA6C5435B28F5 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:58:02] 623*2^1226978-1 is not prime. Res64: 658B0F77F62C8A62 Time : 0.0 sec. user=mdettweiler [2012-08-22 22:58:02] 665*2^1226978-1 is not prime. Res64: 4D255DBBDA59B324 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:00:22] 819*2^1226977-1 is not prime. Res64: 836E34B9994DC2C2 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:14:13] 957*2^1226978-1 is not prime. Res64: 07BA1334C335627D Time : 0.0 sec. user=mdettweiler [2012-08-22 23:14:16] 977*2^1226978-1 is not prime. Res64: C43E6067902FC407 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:19:01] 669*2^1226979-1 is not prime. Res64: 72D8314717348915 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:19:02] 703*2^1226979-1 is not prime. Res64: B7B3F193B068A3F3 Time : 0.0 sec. user=vaughan [2012-08-22 23:19:48] 825*2^1226978-1 is not prime. Res64: 5289C3C5ED923796 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:25:12] 945*2^1226978-1 is not prime. Res64: 0772C2AB5417084A Time : 0.0 sec. user=mdettweiler [2012-08-22 23:35:32] 775*2^1226979-1 is not prime. Res64: 904DA866AC888911 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:35:33] 973*2^1226979-1 is not prime. Res64: 8E2A5A5D0F390DB8 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:37:03] 753*2^1226979-1 is not prime. Res64: 5C52099E8D1B1D36 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:40:01] 689*2^1226980-1 is not prime. Res64: A478A80ABAE70F82 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:40:02] 717*2^1226980-1 is not prime. Res64: 1F7A83D093977141 Time : 0.0 sec. user=mdettweiler [2012-08-22 23:56:34] 897*2^1226980-1 is not prime. Res64: E13EC510527D665A Time : 0.0 sec. user=mdettweiler [2012-08-22 23:56:34] 899*2^1226980-1 is not prime. Res64: 53A9811ECFBCF132 Time : 0.0 sec. user=vaughan [2012-08-22 23:57:28] 773*2^1226980-1 is not prime. Res64: 76BEE39C9EBB3FD9 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:00:57] 955*2^1226981-1 is not prime. Res64: 2A0AC858CDA573BC Time : 0.0 sec. user=mdettweiler [2012-08-23 00:00:58] 695*2^1226982-1 is not prime. Res64: C22870A44CDFE876 Time : 0.0 sec.