user=mdettweiler [2012-09-29 00:15:35] 651*2^1229691-1 is not prime. Res64: 670039C78F2C4DBF Time : 0.0 sec. user=mdettweiler [2012-09-29 00:15:37] 979*2^1229691-1 is not prime. Res64: 31E14AB6E41D15C1 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:15:59] 623*2^1229692-1 is not prime. Res64: 829732E1E60B87E2 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:16:04] 639*2^1229692-1 is not prime. Res64: 9618430EE220E3E5 Time : 0.0 sec. user=vaughan [2012-09-29 00:20:27] 941*2^1229690-1 is not prime. Res64: C8814A536E99A777 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:36:38] 675*2^1229692-1 is not prime. Res64: A0F0D91F9D1C6217 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:36:39] 717*2^1229692-1 is not prime. Res64: A0C63D92EE8C8840 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:36:41] 759*2^1229692-1 is not prime. Res64: 7F1997E2434949B7 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:36:42] 797*2^1229692-1 is not prime. Res64: EDBF234F41A9BCBF Time : 0.0 sec. user=mdettweiler [2012-09-29 00:57:16] 657*2^1229693-1 is not prime. Res64: 80CDB9BDC89264DE Time : 0.0 sec. user=mdettweiler [2012-09-29 00:57:16] 795*2^1229693-1 is not prime. Res64: F4AA84B005234F9E Time : 0.0 sec. user=mdettweiler [2012-09-29 00:57:18] 837*2^1229693-1 is not prime. Res64: CFAACF339BC8B6C6 Time : 0.0 sec. user=mdettweiler [2012-09-29 00:57:18] 979*2^1229693-1 is not prime. Res64: 433AAE1E2F7F83EC Time : 0.0 sec. user=vaughan [2012-09-29 00:58:12] 863*2^1229692-1 is not prime. Res64: 5CA86D04C1140BB6 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:17:49] 725*2^1229694-1 is not prime. Res64: 03FADAB275B8BD44 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:17:49] 747*2^1229694-1 is not prime. Res64: E9ECA5A76384FDC1 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:17:51] 851*2^1229694-1 is not prime. Res64: 27476543B467FDAF Time : 0.0 sec. user=mdettweiler [2012-09-29 01:17:53] 861*2^1229694-1 is not prime. Res64: 1A423882F0494B79 Time : 0.0 sec. user=vaughan [2012-09-29 01:35:57] 891*2^1229694-1 is not prime. Res64: 3C15115B8472F5F9 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:38:28] 921*2^1229694-1 is not prime. Res64: 22E9F400332E330F Time : 0.0 sec. user=mdettweiler [2012-09-29 01:38:29] 947*2^1229694-1 is not prime. Res64: 015E1B2DC0DD74E9 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:38:29] 861*2^1229695-1 is not prime. Res64: 9BFD8BD3FFFD7831 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:38:30] 951*2^1229695-1 is not prime. Res64: 60EE051FC1EA549D Time : 0.0 sec. user=mdettweiler [2012-09-29 01:59:01] 683*2^1229696-1 is not prime. Res64: 9BD2BEAD1710B8C5 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:59:02] 693*2^1229696-1 is not prime. Res64: E7F4B01C15D9EA23 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:59:02] 755*2^1229696-1 is not prime. Res64: C75F9D9898AD45D4 Time : 0.0 sec. user=mdettweiler [2012-09-29 01:59:02] 803*2^1229696-1 is not prime. Res64: F6E866C2AABB5E5A Time : 0.0 sec. user=vaughan [2012-09-29 02:13:44] 645*2^1229696-1 is not prime. Res64: 39DBB2248C299FDE Time : 0.0 sec. user=mdettweiler [2012-09-29 02:19:34] 857*2^1229696-1 is not prime. Res64: 525C5EFA633972CD Time : 0.0 sec. user=mdettweiler [2012-09-29 02:19:35] 935*2^1229696-1 is not prime. Res64: C5D6E15F73239C12 Time : 0.0 sec. user=mdettweiler [2012-09-29 02:19:35] 649*2^1229697-1 is not prime. Res64: 9294D6E3B2C0D571 Time : 0.0 sec. user=mdettweiler [2012-09-29 02:19:36] 747*2^1229697-1 is not prime. Res64: 32B3CBDFCAB6CDBB Time : 0.0 sec. user=mdettweiler [2012-09-29 02:40:10] 819*2^1229697-1 is not prime. Res64: 44905049D99913B6 Time : 0.0 sec. user=mdettweiler [2012-09-29 02:40:14] 937*2^1229697-1 is not prime. Res64: 89A10CC4E80B55BD Time : 0.0 sec. user=mdettweiler [2012-09-29 02:40:19] 901*2^1229697-1 is not prime. Res64: 1754519D132821C0 Time : 0.0 sec. user=mdettweiler [2012-09-29 02:40:23] 603*2^1229698-1 is not prime. Res64: 9B155CAC83BCE327 Time : 0.0 sec. user=vaughan [2012-09-29 02:51:38] 751*2^1229697-1 is not prime. Res64: F687893973A6743C Time : 0.0 sec. user=mdettweiler [2012-09-29 03:01:43] 663*2^1229698-1 is not prime. Res64: A2ED86261BF080FD Time : 0.0 sec. user=mdettweiler [2012-09-29 03:01:44] 687*2^1229698-1 is not prime. Res64: AA71B972DE79B993 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:01:47] 777*2^1229698-1 is not prime. Res64: D6B4B13647B686BE Time : 0.0 sec. user=mdettweiler [2012-09-29 03:01:48] 821*2^1229698-1 is not prime. Res64: CBCF2E53DBBF50B2 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:22:37] 693*2^1229699-1 is not prime. Res64: F4412B85D030FE62 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:22:38] 733*2^1229699-1 is not prime. Res64: B3267598B5D19253 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:22:39] 703*2^1229699-1 is not prime. Res64: DBA2515D50E148AF Time : 0.0 sec. user=mdettweiler [2012-09-29 03:22:39] 775*2^1229699-1 is not prime. Res64: F0DAB510E5383257 Time : 0.0 sec. user=vaughan [2012-09-29 03:29:43] 643*2^1229699-1 is not prime. Res64: 1BA105533C6E7FD4 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:43:21] 843*2^1229699-1 is not prime. Res64: A4205C8AAA9E3BF8 Time : 0.0 sec. user=mdettweiler [2012-09-29 03:43:22] 883*2^1229699-1 is not prime. Res64: 9A44E3D17FBD7DCA Time : 0.0 sec. user=mdettweiler [2012-09-29 03:43:22] 939*2^1229699-1 is not prime. Res64: 3CF843CAA435A60F Time : 0.0 sec. user=mdettweiler [2012-09-29 03:43:23] 735*2^1229700-1 is not prime. Res64: 80E2FC237FA5FE16 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:03:59] 879*2^1229700-1 is not prime. Res64: 3A1D18FB1CD4CBD8 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:03:59] 933*2^1229700-1 is not prime. Res64: 609CD698561EC6DD Time : 0.0 sec. user=mdettweiler [2012-09-29 04:03:59] 639*2^1229701-1 is not prime. Res64: A2E7BCDB1D100DDE Time : 0.0 sec. user=mdettweiler [2012-09-29 04:04:00] 685*2^1229701-1 is not prime. Res64: 5AEC6828540F89C4 Time : 0.0 sec. user=vaughan [2012-09-29 04:07:33] 789*2^1229700-1 is not prime. Res64: 56741516D72403CC Time : 0.0 sec. user=mdettweiler [2012-09-29 04:24:37] 861*2^1229701-1 is not prime. Res64: C9EA497810466D18 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:24:38] 957*2^1229701-1 is not prime. Res64: 146AD726C33175D0 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:24:38] 867*2^1229701-1 is not prime. Res64: 88AFBD2AFDFF9E20 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:24:39] 603*2^1229702-1 is not prime. Res64: F7011A4471CAD304 Time : 0.0 sec. user=vaughan [2012-09-29 04:45:20] 675*2^1229702-1 is not prime. Res64: 09D354C954501884 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:45:30] 711*2^1229702-1 is not prime. Res64: 064BAD33BA60AFDB Time : 0.0 sec. user=mdettweiler [2012-09-29 04:45:30] 831*2^1229702-1 is not prime. Res64: CD443B906B9BE5F1 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:45:31] 613*2^1229703-1 is not prime. Res64: 979E7C5F4FC8ACA1 Time : 0.0 sec. user=mdettweiler [2012-09-29 04:45:32] 685*2^1229703-1 is not prime. Res64: 576BBDCA0B55F039 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:06:03] 781*2^1229703-1 is not prime. Res64: B2B084ECF9637D88 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:06:04] 871*2^1229703-1 is not prime. Res64: 780F9FDA2011F2DF Time : 0.0 sec. user=mdettweiler [2012-09-29 05:06:04] 795*2^1229703-1 is not prime. Res64: EB1C43C25CEE7A0C Time : 0.0 sec. user=mdettweiler [2012-09-29 05:06:04] 919*2^1229703-1 is not prime. Res64: ADF5E60256A9A18F Time : 0.0 sec. user=vaughan [2012-09-29 05:23:08] 721*2^1229703-1 is not prime. Res64: 1754A6DF805C8B7C Time : 0.0 sec. user=mdettweiler [2012-09-29 05:26:44] 961*2^1229703-1 is not prime. Res64: C59C7976C46A5BA3 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:26:45] 623*2^1229704-1 is not prime. Res64: 10562FA58F95899A Time : 0.0 sec. user=mdettweiler [2012-09-29 05:26:49] 675*2^1229704-1 is not prime. Res64: 95EA715B75F31CE0 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:26:50] 687*2^1229704-1 is not prime. Res64: D273A7A3082646FA Time : 0.0 sec. user=mdettweiler [2012-09-29 05:47:17] 747*2^1229704-1 is not prime. Res64: 1CE366C518656198 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:47:17] 825*2^1229704-1 is not prime. Res64: 41FD08B651C09A24 Time : 0.0 sec. user=mdettweiler [2012-09-29 05:47:22] 927*2^1229704-1 is not prime. Res64: D6CA3EA895B4362E Time : 0.0 sec. user=mdettweiler [2012-09-29 05:47:22] 619*2^1229705-1 is not prime. Res64: 1742865FCC6D020D Time : 0.0 sec. user=vaughan [2012-09-29 06:00:57] 717*2^1229704-1 is not prime. Res64: 7593A5D28777D098 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:07:51] 697*2^1229705-1 is not prime. Res64: 6E6927E591217056 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:07:52] 715*2^1229705-1 is not prime. Res64: 22BF4809585262AF Time : 0.0 sec. user=mdettweiler [2012-09-29 06:07:55] 777*2^1229705-1 is not prime. Res64: 963717EEFE66402B Time : 0.0 sec. user=mdettweiler [2012-09-29 06:07:56] 909*2^1229705-1 is not prime. Res64: 7C624F385BBB1262 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:28:39] 939*2^1229705-1 is not prime. Res64: 112B2010126C5C7D Time : 0.0 sec. user=mdettweiler [2012-09-29 06:28:40] 671*2^1229706-1 is not prime. Res64: 85489F51FD0D38B1 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:28:42] 677*2^1229706-1 is not prime. Res64: 6331A0EE49CE56E6 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:28:42] 807*2^1229706-1 is not prime. Res64: 5E3F89CA11D18DF5 Time : 0.0 sec. user=vaughan [2012-09-29 06:39:00] 937*2^1229705-1 is not prime. Res64: F45D2A8304E95D1B Time : 0.0 sec. user=mdettweiler [2012-09-29 06:49:14] 843*2^1229706-1 is not prime. Res64: 735CDED38EE16B59 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:49:15] 893*2^1229706-1 is not prime. Res64: 01029A6C6BCC8C9E Time : 0.0 sec. user=mdettweiler [2012-09-29 06:49:15] 631*2^1229707-1 is not prime. Res64: 999E4FA466770131 Time : 0.0 sec. user=mdettweiler [2012-09-29 06:49:16] 681*2^1229707-1 is not prime. Res64: 6F3ED2F6330D0520 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:09:47] 735*2^1229707-1 is not prime. Res64: 7B63A1374CB3192F Time : 0.0 sec. user=mdettweiler [2012-09-29 07:09:48] 909*2^1229707-1 is not prime. Res64: 4EDCF970F53AA366 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:09:49] 835*2^1229707-1 is not prime. Res64: CF7CDC6269D9CEFA Time : 0.0 sec. user=mdettweiler [2012-09-29 07:09:50] 961*2^1229707-1 is not prime. Res64: 713D7634AF2563CD Time : 0.0 sec. user=vaughan [2012-09-29 07:16:49] 703*2^1229707-1 is not prime. Res64: B7635423E355F716 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:30:37] 635*2^1229708-1 is not prime. Res64: 96AFCB57AEAAFA3D Time : 0.0 sec. user=mdettweiler [2012-09-29 07:30:37] 659*2^1229708-1 is not prime. Res64: 6AC3B732F870B616 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:30:40] 707*2^1229708-1 is not prime. Res64: 67CCC1FCAD4CBAF3 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:30:40] 819*2^1229708-1 is not prime. Res64: D21557B03EC70BAE Time : 0.0 sec. user=mdettweiler [2012-09-29 07:51:42] 963*2^1229708-1 is not prime. Res64: B2D9BD8E2FD2C5EF Time : 0.0 sec. user=mdettweiler [2012-09-29 07:51:42] 987*2^1229708-1 is not prime. Res64: F884BF65176FF40E Time : 0.0 sec. user=mdettweiler [2012-09-29 07:51:44] 657*2^1229709-1 is not prime. Res64: 73B50C7EF5F33F22 Time : 0.0 sec. user=mdettweiler [2012-09-29 07:51:45] 667*2^1229709-1 is not prime. Res64: 5E24C102DEC46E65 Time : 0.0 sec. user=vaughan [2012-09-29 07:54:35] 833*2^1229708-1 is not prime. Res64: F4DCC29106B675F2 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:12:52] 825*2^1229709-1 is not prime. Res64: 59ADDA812AC6C5BC Time : 0.0 sec. user=mdettweiler [2012-09-29 08:12:53] 865*2^1229709-1 is not prime. Res64: 50E168960C780147 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:12:54] 885*2^1229709-1 is not prime. Res64: 1B761B86FF0E9636 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:12:57] 907*2^1229709-1 is not prime. Res64: FFA7EB28DA17EAC8 Time : 0.0 sec. user=vaughan [2012-09-29 08:32:22] 921*2^1229709-1 is not prime. Res64: 207BFA3A93CE4BAB Time : 0.0 sec. user=mdettweiler [2012-09-29 08:34:06] 955*2^1229709-1 is not prime. Res64: AA943721074EF376 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:34:06] 647*2^1229710-1 is not prime. Res64: F0C1747E40F0E36E Time : 0.0 sec. user=mdettweiler [2012-09-29 08:34:13] 651*2^1229710-1 is not prime. Res64: 80A68E27F4823178 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:34:13] 681*2^1229710-1 is not prime. Res64: 8C857615263CFD8E Time : 0.0 sec. user=mdettweiler [2012-09-29 08:55:14] 791*2^1229710-1 is not prime. Res64: 7E85D35F4FCE6134 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:55:14] 857*2^1229710-1 is not prime. Res64: C4B40D745CFD5A2A Time : 0.0 sec. user=mdettweiler [2012-09-29 08:55:21] 619*2^1229711-1 is not prime. Res64: F93125DC937E7A07 Time : 0.0 sec. user=mdettweiler [2012-09-29 08:55:21] 651*2^1229711-1 is not prime. Res64: BF9AFB8767F665EF Time : 0.0 sec. user=vaughan [2012-09-29 09:10:10] 777*2^1229710-1 is not prime. Res64: 6DA42BB7F2573E63 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:16:25] 705*2^1229711-1 is not prime. Res64: 4720BCF45B45A60C Time : 0.0 sec. user=mdettweiler [2012-09-29 09:16:26] 753*2^1229711-1 is not prime. Res64: 4DDB5FCCE2AE7D01 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:16:32] 789*2^1229711-1 is not prime. Res64: 96B265E15A4B92AA Time : 0.0 sec. user=mdettweiler [2012-09-29 09:16:33] 841*2^1229711-1 is not prime. Res64: 891816F73D6D9C74 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:37:36] 913*2^1229711-1 is not prime. Res64: 27891C4E0308BB9D Time : 0.0 sec. user=mdettweiler [2012-09-29 09:37:37] 969*2^1229711-1 is not prime. Res64: 44B3DE9116A94A78 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:37:44] 999*2^1229711-1 is not prime. Res64: 4304A017695784A9 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:37:44] 627*2^1229712-1 is not prime. Res64: 867043BB850B0A4E Time : 0.0 sec. user=vaughan [2012-09-29 09:48:10] 855*2^1229711-1 is not prime. Res64: E7D3E8D2F130B5C2 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:58:46] 689*2^1229712-1 is not prime. Res64: 8027CA127C972125 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:58:47] 779*2^1229712-1 is not prime. Res64: C90E2188F6BF9B3E Time : 0.0 sec. user=mdettweiler [2012-09-29 09:58:55] 929*2^1229712-1 is not prime. Res64: 8BFDCFB9911E85A2 Time : 0.0 sec. user=mdettweiler [2012-09-29 09:58:55] 607*2^1229713-1 is not prime. Res64: 77987645EF492412 Time : 0.0 sec. user=mdettweiler [2012-09-29 10:19:55] 685*2^1229713-1 is not prime. Res64: 9AF5E56A1DC2C5BC Time : 0.0 sec. user=mdettweiler [2012-09-29 10:19:55] 789*2^1229713-1 is not prime. Res64: 100956FFF905868F Time : 0.0 sec. user=mdettweiler [2012-09-29 10:20:04] 915*2^1229713-1 is not prime. Res64: A141038F4289927C Time : 0.0 sec. user=mdettweiler [2012-09-29 10:20:04] 951*2^1229713-1 is not prime. Res64: D2CB548EF55C5A89 Time : 0.0 sec. user=vaughan [2012-09-29 10:25:59] 649*2^1229713-1 is not prime. Res64: A4B6E9ADC34D7165 Time : 0.0 sec. user=mdettweiler [2012-09-29 10:41:08] 967*2^1229713-1 is not prime. Res64: A33A221B7C930DB4 Time : 0.0 sec. user=mdettweiler [2012-09-29 10:41:09] 605*2^1229714-1 is not prime. Res64: 0D8332AF3A6214E9 Time : 0.0 sec. user=mdettweiler [2012-09-29 10:41:14] 623*2^1229714-1 is not prime. Res64: C3F0A42FD534CAF6 Time : 0.0 sec. user=mdettweiler [2012-09-29 10:41:14] 675*2^1229714-1 is not prime. Res64: C4E48EEE4EA37ED2 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:02:18] 785*2^1229714-1 is not prime. Res64: D51922CECAB59884 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:02:19] 837*2^1229714-1 is not prime. Res64: ACB218D8DF04A1EB Time : 0.0 sec. user=mdettweiler [2012-09-29 11:02:25] 851*2^1229714-1 is not prime. Res64: 883018404803243A Time : 0.0 sec. user=mdettweiler [2012-09-29 11:02:26] 873*2^1229714-1 is not prime. Res64: 3655F3FB7C692C48 Time : 0.0 sec. user=vaughan [2012-09-29 11:03:46] 683*2^1229714-1 is not prime. Res64: 42D4B1296421FA87 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:23:55] 875*2^1229714-1 is not prime. Res64: 52842C9D3AEB62A4 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:23:56] 921*2^1229714-1 is not prime. Res64: 28B03F2C822E929F Time : 0.0 sec. user=mdettweiler [2012-09-29 11:23:57] 945*2^1229714-1 is not prime. Res64: E0AE1FA842F75571 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:23:58] 625*2^1229715-1 is not prime. Res64: BF516AD2CF0C609E Time : 0.0 sec. user=vaughan [2012-09-29 11:41:30] 675*2^1229715-1 is not prime. Res64: C90198D9F7C5EB4A Time : 0.0 sec. user=mdettweiler [2012-09-29 11:44:51] 711*2^1229715-1 is not prime. Res64: 2B5CCF77DA3DBF38 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:44:52] 765*2^1229715-1 is not prime. Res64: F76EB5B91ABFD65C Time : 0.0 sec. user=mdettweiler [2012-09-29 11:44:52] 781*2^1229715-1 is not prime. Res64: A3F796FC64D34F26 Time : 0.0 sec. user=mdettweiler [2012-09-29 11:44:53] 795*2^1229715-1 is not prime. Res64: 0B8D21638853AFD5 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:05:25] 909*2^1229715-1 is not prime. Res64: 49719EDACFA2261C Time : 0.0 sec. user=mdettweiler [2012-09-29 12:05:26] 961*2^1229715-1 is not prime. Res64: 33B55C8E65BE4EC7 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:05:29] 973*2^1229715-1 is not prime. Res64: F0FEEE31366C54A8 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:05:30] 979*2^1229715-1 is not prime. Res64: 498457B93D44DEB2 Time : 0.0 sec. user=vaughan [2012-09-29 12:19:20] 871*2^1229715-1 is not prime. Res64: 60CA7D671D46F724 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:26:11] 677*2^1229716-1 is not prime. Res64: 55DE4F4119032A60 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:26:12] 719*2^1229716-1 is not prime. Res64: 41809B4B47ADBD29 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:26:15] 903*2^1229716-1 is not prime. Res64: 7C3A9FEDE01CCFA7 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:26:16] 983*2^1229716-1 is not prime. Res64: 1A908851548F7FD2 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:46:45] 649*2^1229717-1 is not prime. Res64: 4D0C796C57CABF9F Time : 0.0 sec. user=mdettweiler [2012-09-29 12:46:46] 699*2^1229717-1 is not prime. Res64: 03B87EC8CEC7B03F Time : 0.0 sec. user=mdettweiler [2012-09-29 12:46:49] 735*2^1229717-1 is not prime. Res64: F78D9E1070EC78E4 Time : 0.0 sec. user=mdettweiler [2012-09-29 12:46:49] 771*2^1229717-1 is not prime. Res64: 96B09AAEE9B46E53 Time : 0.0 sec. user=vaughan [2012-09-29 12:57:14] 987*2^1229716-1 is not prime. Res64: 1A2C4F38E8CAA3BD Time : 0.0 sec. user=mdettweiler [2012-09-29 13:07:18] 927*2^1229717-1 is not prime. Res64: A501959E2F514D1B Time : 0.0 sec. user=mdettweiler [2012-09-29 13:07:20] 635*2^1229718-1 is not prime. Res64: 532D6358F4F7FD5F Time : 0.0 sec. user=mdettweiler [2012-09-29 13:07:24] 683*2^1229718-1 is not prime. Res64: BBDBEA1D25F1A99D Time : 0.0 sec. user=mdettweiler [2012-09-29 13:07:26] 711*2^1229718-1 is not prime. Res64: 94D3B66DD4A2E4D5 Time : 0.0 sec. user=mdettweiler [2012-09-29 13:28:03] 971*2^1229718-1 is not prime. Res64: 3689DE1674C1ACF4 Time : 0.0 sec. user=mdettweiler [2012-09-29 13:28:03] 649*2^1229719-1 is not prime. Res64: B504FFBD4AACBE7A Time : 0.0 sec. user=mdettweiler [2012-09-29 13:28:05] 693*2^1229719-1 is not prime. Res64: FF534E47BC7EC23D Time : 0.0 sec. user=mdettweiler [2012-09-29 13:28:05] 951*2^1229719-1 is not prime. Res64: B3C2B6F223F4C99B Time : 0.0 sec. user=vaughan [2012-09-29 13:35:05] 713*2^1229718-1 is not prime. Res64: 34142FA8961428BC Time : 0.0 sec. user=mdettweiler [2012-09-29 13:48:40] 979*2^1229719-1 is not prime. Res64: 5A5BA859BB36E811 Time : 0.0 sec. user=mdettweiler [2012-09-29 13:48:40] 659*2^1229720-1 is not prime. Res64: 28AA77C67F616C2F Time : 0.0 sec. user=mdettweiler [2012-09-29 13:48:40] 663*2^1229720-1 is not prime. Res64: A8B8B4A31A447F64 Time : 0.0 sec. user=mdettweiler [2012-09-29 13:48:41] 725*2^1229720-1 is not prime. Res64: E2B71E578DB00228 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:09:15] 747*2^1229720-1 is not prime. Res64: F9E88619EC71973F Time : 0.0 sec. user=mdettweiler [2012-09-29 14:09:15] 983*2^1229720-1 is not prime. Res64: A408736B73C87124 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:09:17] 959*2^1229720-1 is not prime. Res64: 4154FB0129DE7874 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:09:18] 681*2^1229721-1 is not prime. Res64: F2DA823848B860C6 Time : 0.0 sec. user=vaughan [2012-09-29 14:12:53] 743*2^1229720-1 is not prime. Res64: D3178D32796AA752 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:30:29] 739*2^1229721-1 is not prime. Res64: 7721CA34DE217409 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:30:30] 817*2^1229721-1 is not prime. Res64: 86FE8FAAC298410C Time : 0.0 sec. user=mdettweiler [2012-09-29 14:30:32] 861*2^1229721-1 is not prime. Res64: 3C5975FD7AB13DD1 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:30:33] 617*2^1229722-1 is not prime. Res64: A5A97B06AF6B3761 Time : 0.0 sec. user=vaughan [2012-09-29 14:50:41] 765*2^1229722-1 is not prime. Res64: 770C6F030AF01DB3 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:51:04] 791*2^1229722-1 is not prime. Res64: 06E92815EB4552F3 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:51:04] 917*2^1229722-1 is not prime. Res64: 127C163268AF0E57 Time : 0.0 sec. user=mdettweiler [2012-09-29 14:51:06] 957*2^1229722-1 is not prime. Res64: 80643E493D9927CB Time : 0.0 sec. user=mdettweiler [2012-09-29 14:51:06] 741*2^1229723-1 is not prime. Res64: 9C47944B87309FD2 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:11:37] 823*2^1229723-1 is not prime. Res64: 70FF4836F93B755E Time : 0.0 sec. user=mdettweiler [2012-09-29 15:11:38] 879*2^1229723-1 is not prime. Res64: 73BEFA90496C4225 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:11:40] 991*2^1229723-1 is not prime. Res64: 5A9B97C219A669BA Time : 0.0 sec. user=mdettweiler [2012-09-29 15:11:43] 635*2^1229724-1 is not prime. Res64: 11DEA12072873EAA Time : 0.0 sec. user=vaughan [2012-09-29 15:28:24] 753*2^1229723-1 is not prime. Res64: A1F4E21CA0C1FA1E Time : 0.0 sec. user=mdettweiler [2012-09-29 15:32:22] 675*2^1229724-1 is not prime. Res64: B5615EFD5E763E2F Time : 0.0 sec. user=mdettweiler [2012-09-29 15:32:22] 707*2^1229724-1 is not prime. Res64: 248D0455651AE922 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:32:27] 765*2^1229724-1 is not prime. Res64: 98E726501970F4E4 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:32:27] 767*2^1229724-1 is not prime. Res64: 1BC9FF009659D3D0 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:52:54] 843*2^1229724-1 is not prime. Res64: 879DB7A1A2A9F31B Time : 0.0 sec. user=mdettweiler [2012-09-29 15:52:55] 915*2^1229724-1 is not prime. Res64: 2A8A7CB78D287323 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:52:59] 969*2^1229724-1 is not prime. Res64: 55D7843E782FCD11 Time : 0.0 sec. user=mdettweiler [2012-09-29 15:53:00] 607*2^1229725-1 is not prime. Res64: 6452A3C31C24F7F4 Time : 0.0 sec. user=vaughan [2012-09-29 16:06:09] 803*2^1229724-1 is not prime. Res64: A553008AD05D2783 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:13:27] 651*2^1229725-1 is not prime. Res64: 3EB7702F99E5E4FF Time : 0.0 sec. user=mdettweiler [2012-09-29 16:13:30] 741*2^1229725-1 is not prime. Res64: E9262BEE9F849001 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:13:32] 819*2^1229725-1 is not prime. Res64: 63A098981E03BC76 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:13:33] 855*2^1229725-1 is not prime. Res64: 2084BAD09CDC8A59 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:34:10] 951*2^1229725-1 is not prime. Res64: 4D500D36685C3434 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:34:12] 713*2^1229726-1 is not prime. Res64: 6EC40256F3E7C0CF Time : 0.0 sec. user=mdettweiler [2012-09-29 16:34:12] 961*2^1229725-1 is not prime. Res64: A0A564CA994FB11D Time : 0.0 sec. user=mdettweiler [2012-09-29 16:34:13] 767*2^1229726-1 is not prime. Res64: 2F149E11CAD83545 Time : 0.0 sec. user=vaughan [2012-09-29 16:44:05] 871*2^1229725-1 is not prime. Res64: 2138DEA136754A02 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:55:01] 887*2^1229726-1 is not prime. Res64: A30A67EA86FFC337 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:55:01] 921*2^1229726-1 is not prime. Res64: 047097552BA7842B Time : 0.0 sec. user=mdettweiler [2012-09-29 16:55:03] 941*2^1229726-1 is not prime. Res64: F0E8653109AB2635 Time : 0.0 sec. user=mdettweiler [2012-09-29 16:55:04] 705*2^1229727-1 is not prime. Res64: 21C528D4E6A242AD Time : 0.0 sec. user=mdettweiler [2012-09-29 17:15:34] 945*2^1229727-1 is not prime. Res64: 830758EFEFB937DA Time : 0.0 sec. user=mdettweiler [2012-09-29 17:15:35] 743*2^1229728-1 is not prime. Res64: B5A5BB608D72E0CA Time : 0.0 sec. user=mdettweiler [2012-09-29 17:15:37] 839*2^1229728-1 is not prime. Res64: 3B3A5147FB910417 Time : 0.0 sec. user=mdettweiler [2012-09-29 17:15:38] 909*2^1229728-1 is not prime. Res64: A5969112E421FDC6 Time : 0.0 sec. user=vaughan [2012-09-29 17:21:53] 739*2^1229727-1 is not prime. Res64: F80E6C91E4353BEF Time : 0.0 sec. user=mdettweiler [2012-09-29 17:36:10] 989*2^1229728-1 is not prime. Res64: D1479EEAA4848F4C Time : 0.0 sec. user=mdettweiler [2012-09-29 17:36:11] 995*2^1229728-1 is not prime. Res64: 3429D28E2B675B0E Time : 0.0 sec. user=mdettweiler [2012-09-29 17:36:13] 619*2^1229729-1 is not prime. Res64: 5A4D268D03C55D60 Time : 0.0 sec. user=mdettweiler [2012-09-29 17:36:14] 627*2^1229729-1 is not prime. Res64: E08AB27BAA916A02 Time : 0.0 sec. user=mdettweiler [2012-09-29 17:56:46] 685*2^1229729-1 is not prime. Res64: D3E64C005DF4DB2F Time : 0.0 sec. user=mdettweiler [2012-09-29 17:56:47] 735*2^1229729-1 is not prime. Res64: 770F8EF15CBCE2E7 Time : 0.0 sec. user=mdettweiler [2012-09-29 17:56:48] 741*2^1229729-1 is not prime. Res64: DDC02D11EB892BE1 Time : 0.0 sec. user=mdettweiler [2012-09-29 17:56:48] 831*2^1229729-1 is not prime. Res64: EC0C9BBDDE1F127D Time : 0.0 sec. user=vaughan [2012-09-29 17:59:38] 631*2^1229729-1 is not prime. Res64: 200A181048062D60 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:17:21] 909*2^1229729-1 is not prime. Res64: 03DB3FFAA8E77E40 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:17:21] 925*2^1229729-1 is not prime. Res64: BED37E528B2DE029 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:17:22] 949*2^1229729-1 is not prime. Res64: A192320ADBEC10EA Time : 0.0 sec. user=mdettweiler [2012-09-29 18:17:22] 951*2^1229729-1 is not prime. Res64: 468F11CA5C4A6B6B Time : 0.0 sec. user=vaughan [2012-09-29 18:37:25] 711*2^1229730-1 is not prime. Res64: 2DC0CEB3F736CBE9 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:37:58] 717*2^1229730-1 is not prime. Res64: 1CE63BC4729348A1 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:37:58] 783*2^1229730-1 is not prime. Res64: C5E8E9A7C9E9D50B Time : 0.0 sec. user=mdettweiler [2012-09-29 18:37:59] 765*2^1229730-1 is not prime. Res64: 8281157ABFCC1CE7 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:37:59] 833*2^1229730-1 is not prime. Res64: A2847DD672446299 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:58:31] 917*2^1229730-1 is not prime. Res64: 7540802D2A2D4A9F Time : 0.0 sec. user=mdettweiler [2012-09-29 18:58:32] 927*2^1229730-1 is not prime. Res64: 7D4467BA51F68160 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:58:33] 621*2^1229731-1 is not prime. Res64: BD3738AB1BB4DDF0 Time : 0.0 sec. user=mdettweiler [2012-09-29 18:58:33] 741*2^1229731-1 is not prime. Res64: C9A2CA04D7E2858C Time : 0.0 sec. user=vaughan [2012-09-29 19:15:14] 861*2^1229730-1 is not prime. Res64: 285C533E8FA9CF61 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:19:05] 751*2^1229731-1 is not prime. Res64: 04E76050849CC021 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:19:05] 783*2^1229731-1 is not prime. Res64: 29CA6BF65138A1F4 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:19:06] 961*2^1229731-1 is not prime. Res64: 470F5AD748B62931 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:19:06] 973*2^1229731-1 is not prime. Res64: B27D252B93B514D0 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:39:39] 959*2^1229732-1 is not prime. Res64: 6C3EC0BA5AE7F70B Time : 0.0 sec. user=mdettweiler [2012-09-29 19:39:39] 977*2^1229732-1 is not prime. Res64: 98919E4F22BC1552 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:39:42] 627*2^1229733-1 is not prime. Res64: 94151A34B8E41C13 Time : 0.0 sec. user=mdettweiler [2012-09-29 19:39:43] 727*2^1229733-1 is not prime. Res64: 4EB1FEEC39981078 Time : 0.0 sec. user=vaughan [2012-09-29 19:53:06] 669*2^1229732-1 is not prime. Res64: 252710F4E8AF6906 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:00:14] 745*2^1229733-1 is not prime. Res64: F23E036052088737 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:00:15] 849*2^1229733-1 is not prime. Res64: BBED6B645B702169 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:00:17] 901*2^1229733-1 is not prime. Res64: 0A214EE0ED704269 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:00:19] 681*2^1229734-1 is not prime. Res64: D3BAC6B69747F2C4 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:20:58] 975*2^1229734-1 is not prime. Res64: 5BDAE4A00ED06192 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:20:59] 983*2^1229734-1 is not prime. Res64: A1FA8AC118AAE6AD Time : 0.0 sec. user=mdettweiler [2012-09-29 20:21:04] 993*2^1229734-1 is not prime. Res64: E008CAEE800F7300 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:21:05] 643*2^1229735-1 is not prime. Res64: 6C4DCB4BD73049A2 Time : 0.0 sec. user=vaughan [2012-09-29 20:30:51] 741*2^1229734-1 is not prime. Res64: 34368AE0A0A20B95 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:41:53] 841*2^1229735-1 is not prime. Res64: 4974B88C25EBA5A6 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:41:53] 913*2^1229735-1 is not prime. Res64: E07C3D95DD536417 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:41:54] 781*2^1229735-1 is not prime. Res64: 4E78745294F37893 Time : 0.0 sec. user=mdettweiler [2012-09-29 20:41:54] 799*2^1229735-1 is not prime. Res64: 8A5524F088D795E3 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:02:43] 789*2^1229736-1 is not prime. Res64: D532D9516051028E Time : 0.0 sec. user=mdettweiler [2012-09-29 21:02:47] 945*2^1229736-1 is not prime. Res64: 94B7B0C1003126D6 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:02:48] 947*2^1229736-1 is not prime. Res64: DF6E5477A747DEA4 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:02:48] 933*2^1229736-1 is not prime. Res64: 39ED04111C4A5499 Time : 0.0 sec. user=vaughan [2012-09-29 21:08:32] 633*2^1229736-1 is not prime. Res64: 9EF37ACB10B08C42 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:23:47] 999*2^1229736-1 is not prime. Res64: 39793C6E75780CD1 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:23:49] 607*2^1229737-1 is not prime. Res64: F8F4B53124AC338B Time : 0.0 sec. user=mdettweiler [2012-09-29 21:23:50] 625*2^1229737-1 is not prime. Res64: D5FD949ED9499409 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:23:52] 649*2^1229737-1 is not prime. Res64: 0F86E08AF2AE4AD7 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:44:37] 715*2^1229737-1 is not prime. Res64: EA9720E562660B78 Time : 0.0 sec. user=mdettweiler [2012-09-29 21:44:37] 817*2^1229737-1 is not prime. Res64: AD2764373222F22F Time : 0.0 sec. user=mdettweiler [2012-09-29 21:44:38] 895*2^1229737-1 is not prime. Res64: 26311FA5620F056D Time : 0.0 sec. user=mdettweiler [2012-09-29 21:44:39] 901*2^1229737-1 is not prime. Res64: 94CD63418605EFA1 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:05:11] 915*2^1229737-1 is not prime. Res64: 5ADBA310C6808E6A Time : 0.0 sec. user=mdettweiler [2012-09-29 22:05:12] 945*2^1229737-1 is not prime. Res64: FD4EB0D7AE04C711 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:05:16] 617*2^1229738-1 is not prime. Res64: 4ED1512F568E79AD Time : 0.0 sec. user=mdettweiler [2012-09-29 22:05:17] 627*2^1229738-1 is not prime. Res64: 8751C03186526256 Time : 0.0 sec. user=vaughan [2012-09-29 22:21:42] 675*2^1229737-1 is not prime. Res64: 1DE014DD552A1D58 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:25:51] 731*2^1229738-1 is not prime. Res64: B4AD7A2E663C81F5 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:25:51] 801*2^1229738-1 is not prime. Res64: 78FE5BDD3EB4C2E9 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:25:53] 951*2^1229738-1 is not prime. Res64: 63E929EF741DF657 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:25:54] 1001*2^1229738-1 is not prime. Res64: B3E6DFB885A567E0 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:46:25] 853*2^1229739-1 is not prime. Res64: 32C900B63F4F2C36 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:46:25] 895*2^1229739-1 is not prime. Res64: 3E0956CE46838198 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:46:26] 943*2^1229739-1 is not prime. Res64: DFBE54922B41FAD3 Time : 0.0 sec. user=mdettweiler [2012-09-29 22:46:27] 949*2^1229739-1 is not prime. Res64: 5D0F0009CC28A63F Time : 0.0 sec. user=vaughan [2012-09-29 22:59:26] 723*2^1229739-1 is not prime. Res64: DF21381A0770C28A Time : 0.0 sec. user=mdettweiler [2012-09-29 23:06:59] 951*2^1229739-1 is not prime. Res64: 771DD76C7DAE92B0 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:07:02] 985*2^1229739-1 is not prime. Res64: 7E50A3148BCD1535 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:07:04] 813*2^1229740-1 is not prime. Res64: 6B1E55EBB44DCADA Time : 0.0 sec. user=mdettweiler [2012-09-29 23:07:07] 827*2^1229740-1 is not prime. Res64: 0AF412DA85F05BD5 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:27:44] 873*2^1229740-1 is not prime. Res64: 6AD7F331E3B8195A Time : 0.0 sec. user=mdettweiler [2012-09-29 23:27:45] 691*2^1229741-1 is not prime. Res64: B2F237ED1BD52A4F Time : 0.0 sec. user=mdettweiler [2012-09-29 23:27:45] 769*2^1229741-1 is not prime. Res64: 17A4517684670DF7 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:27:46] 795*2^1229741-1 is not prime. Res64: 4AF68DA38E07547B Time : 0.0 sec. user=vaughan [2012-09-29 23:36:59] 845*2^1229740-1 is not prime. Res64: 2A5C5924B215A829 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:48:21] 957*2^1229741-1 is not prime. Res64: E5CB3CF30CFE7C4B Time : 0.0 sec. user=mdettweiler [2012-09-29 23:48:21] 615*2^1229742-1 is not prime. Res64: 179BE294B83D90AD Time : 0.0 sec. user=mdettweiler [2012-09-29 23:48:23] 671*2^1229742-1 is not prime. Res64: 3EED1D0B940C8517 Time : 0.0 sec. user=mdettweiler [2012-09-29 23:48:23] 677*2^1229742-1 is not prime. Res64: 7E07E41D86BBD964 Time : 0.0 sec.