Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c > #60006 > unrolled thread
| Started by | Robbie Hatley <see.my.sig@for.my.address> |
|---|---|
| First post | 2015-04-14 00:14 -0700 |
| Last post | 2015-04-14 13:03 +0100 |
| Articles | 20 on this page of 297 — 22 participants |
Back to article view | Back to comp.lang.c
This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by
below is the oldest one visible, not the original post.
Re: SAFEcode Robbie Hatley <see.my.sig@for.my.address> - 2015-04-14 00:14 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-14 10:33 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 02:01 -0700
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-14 10:23 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-14 11:49 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 04:31 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-14 14:54 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 06:39 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-14 16:10 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 08:11 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-14 23:58 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 01:25 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-15 11:11 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 02:35 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-15 13:52 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 06:04 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-15 08:08 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 08:57 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-15 18:24 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 09:45 -0700
Re: SAFEcode Johannes Bauer <dfnsonfsduifb@gmx.de> - 2015-04-15 19:09 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 22:29 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-16 08:23 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-16 10:44 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-16 11:22 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-19 15:33 +0000
Re: SAFEcode Steve Thompson <stevet810@gmail.com> - 2015-04-16 04:38 +0000
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-16 14:12 -0500
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-17 09:28 +0200
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-17 09:33 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 02:08 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-17 09:43 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 08:04 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-17 17:08 -0500
Re: SAFEcode Tim Rentsch <txr@alumni.caltech.edu> - 2015-04-17 08:07 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-15 12:29 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 22:56 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-16 10:29 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-16 04:46 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-16 13:08 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-16 08:42 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-16 16:47 +0100
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-16 16:53 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-16 10:52 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-16 22:11 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-17 10:22 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 02:17 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-17 05:56 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 04:37 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-17 10:04 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 08:38 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-17 20:52 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-18 13:16 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-18 04:22 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-18 14:08 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-18 06:00 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-18 21:42 +0200
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-18 17:47 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 00:11 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-19 12:52 +0000
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-19 09:10 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 07:21 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-19 12:54 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 11:18 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-20 09:58 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 08:09 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-20 13:06 -0500
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-19 07:32 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 09:03 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-19 16:30 +0100
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-19 12:58 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 05:37 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-18 08:00 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-18 19:28 +0100
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-18 09:37 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-19 11:37 +0100
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-19 09:56 -0500
Re: SAFEcode Tim Rentsch <txr@alumni.caltech.edu> - 2015-04-22 15:49 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 18:13 -0500
Re: SAFEcode Tim Rentsch <txr@alumni.caltech.edu> - 2015-04-28 12:46 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-20 16:50 -0500
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-17 10:31 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-17 21:09 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-17 19:01 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-18 15:18 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-18 09:00 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-18 21:52 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 00:02 -0700
Re: SAFEcode asetofsymbols@gmail.com - 2015-04-19 00:40 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 03:52 -0700
Re: SAFEcode asetofsymbols@gmail.com - 2015-04-21 09:02 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-19 12:58 +0000
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 07:25 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-19 15:51 +0000
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-19 23:22 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 16:26 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-20 00:48 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 09:15 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 00:39 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 10:33 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 01:55 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 11:28 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 02:39 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 12:35 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 03:58 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 13:37 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 06:04 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 15:37 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 06:52 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 16:23 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 07:32 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 22:42 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 21:56 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 09:21 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 01:00 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 10:37 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 01:59 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 12:21 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 03:45 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-21 10:05 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 12:14 +0200
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-21 08:18 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 08:51 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 09:44 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 01:38 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 03:45 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 02:13 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 04:29 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 03:29 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 10:30 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 09:13 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 13:03 -0500
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 11:38 -0700
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 15:25 -0500
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-22 21:49 +0100
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 16:17 -0500
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-22 22:33 +0100
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 16:56 -0500
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-23 09:24 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 02:25 -0700
Re: SAFEcode Richard Damon <Richard@Damon-Family.org> - 2015-04-23 08:24 -0400
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 06:18 -0700
Re: SAFEcode Ben Bacarisse <ben.lists@bsb.me.uk> - 2015-04-23 14:47 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 07:16 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-23 17:20 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 08:44 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-25 10:14 +0000
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-25 04:04 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-25 12:22 +0000
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-25 10:53 -0700
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-23 16:48 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-24 12:49 +0200
Re: SAFEcode Ben Bacarisse <ben.lists@bsb.me.uk> - 2015-04-23 20:40 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 13:03 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-23 23:49 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-24 01:07 -0700
Re: SAFEcode Ben Bacarisse <ben.lists@bsb.me.uk> - 2015-04-24 11:51 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-24 04:29 -0700
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-24 13:20 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-24 06:48 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-25 10:16 +0000
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-24 15:48 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-24 10:05 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-24 22:59 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-26 00:16 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-24 04:39 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-24 22:59 +0100
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-23 08:17 -0500
Re: SAFEcode Robert Wessel <robertwessel2@yahoo.com> - 2015-04-22 16:49 -0500
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 17:01 -0500
Re: SAFEcode James Kuyper <jameskuyper@verizon.net> - 2015-04-22 17:51 -0400
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-22 17:35 -0500
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 17:45 -0700
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-23 09:29 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-23 08:29 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-23 08:55 -0700
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-23 21:11 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 06:23 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-22 13:08 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-22 20:17 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 12:43 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-23 11:52 +0000
Re: SAFEcode Robert Wessel <robertwessel2@yahoo.com> - 2015-04-23 13:53 -0500
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-25 10:18 +0000
Re: SAFEcode Morris Dovey <mrdovey@iedu.com> - 2015-04-25 21:37 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-20 12:05 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 04:28 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 04:38 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-20 12:40 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 14:11 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 06:31 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 16:31 +0200
Re: SAFEcode jadill33@gmail.com - 2015-04-20 09:38 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-20 22:52 +0200
Re: SAFEcode asetofsymbols@gmail.com - 2015-04-20 11:10 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-20 22:43 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-20 22:59 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 09:27 +0200
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-21 15:12 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 07:31 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-21 16:43 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 08:01 -0700
Re: SAFEcode raltbos@xs4all.nl (Richard Bos) - 2015-04-21 22:29 +0000
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-21 11:09 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 10:13 -0700
Re: SAFEcode gwowen <gwowen@gmail.com> - 2015-04-21 10:22 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 16:51 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-22 02:52 +0100
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-21 14:44 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 16:58 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 01:11 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-21 17:31 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 10:09 +0200
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-22 10:50 +0100
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-22 11:12 +0100
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 11:37 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 05:54 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 15:31 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 06:48 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 16:29 +0200
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 16:13 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 08:22 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 16:25 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 10:35 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-22 13:24 -0500
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-23 01:18 +0200
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-23 06:11 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-23 09:36 +0200
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 08:38 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 13:04 +0200
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-22 09:52 -0500
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 16:23 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 10:28 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 08:16 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-22 13:53 -0500
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-22 12:45 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-22 16:44 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-21 22:58 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 09:53 +0200
Re: SAFEcode gwowen <gwowen@gmail.com> - 2015-04-21 10:15 -0700
Re: SAFEcode Martin Shobe <martin.shobe@yahoo.com> - 2015-04-21 13:57 -0500
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-21 23:01 +0100
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-21 23:46 +0100
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-22 01:49 +0100
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 08:32 +0100
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-22 10:02 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-21 12:06 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-21 20:18 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-21 12:30 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-21 21:30 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-21 13:39 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-21 20:21 +0100
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-22 10:24 +0200
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-22 09:46 +0100
Re: SAFEcode gwowen <gwowen@gmail.com> - 2015-04-22 02:57 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-22 08:42 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-19 16:19 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-19 09:08 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-16 08:55 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-16 11:03 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-16 11:35 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-17 10:28 +0200
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-17 09:51 +0100
Re: SAFEcode Phil Carmody <pc+usenet@asdf.org> - 2015-04-20 11:28 +0300
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-17 10:32 +0200
Re: SAFEcode Bartc <bc@freeuk.com> - 2015-04-14 15:24 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 08:03 -0700
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-14 18:48 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 12:43 -0700
Re: SAFEcode Johannes Bauer <dfnsonfsduifb@gmx.de> - 2015-04-14 21:52 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 13:16 -0700
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-14 21:39 +0100
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-15 01:20 +0100
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-15 01:29 +0100
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 01:32 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-15 08:17 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 09:13 -0700
Re: SAFEcode Johannes Bauer <dfnsonfsduifb@gmx.de> - 2015-04-15 18:33 +0200
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-15 10:02 -0700
Re: SAFEcode Johannes Bauer <dfnsonfsduifb@gmx.de> - 2015-04-15 20:55 +0200
Re: SAFEcode Robert Wessel <robertwessel2@yahoo.com> - 2015-04-15 19:27 -0500
Re: SAFEcode Phil Carmody <pc+usenet@asdf.org> - 2015-04-20 11:53 +0300
Re: SAFEcode Ian Collins <ian-news@hotmail.com> - 2015-04-16 14:51 +1200
Re: SAFEcode Tim Rentsch <txr@alumni.caltech.edu> - 2015-04-17 02:13 -0700
Re: SAFEcode Johannes Bauer <dfnsonfsduifb@gmx.de> - 2015-04-15 08:14 +0200
Re: SAFEcode Richard Heathfield <rjh@cpax.org.uk> - 2015-04-14 21:02 +0100
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-14 08:33 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 08:54 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-14 11:43 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 12:41 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-14 13:08 -0700
Re: SAFEcode Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-04-14 14:02 -0700
Re: SAFEcode Keith Thompson <kst-u@mib.org> - 2015-04-14 15:29 -0700
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-15 10:03 +0200
Re: SAFEcode David Brown <david.brown@hesbynett.no> - 2015-04-15 10:02 +0200
Re: SAFEcode Phil Carmody <pc+usenet@asdf.org> - 2015-04-20 11:13 +0300
Re: SAFEcode Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-04-14 13:03 +0100
Page 11 of 15 — ← Prev page 1 … 9 10 [11] 12 13 … 15 Next page →
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Date | 2015-04-21 16:43 +0200 |
| Message-ID | <mh5nkn$59n$1@dont-email.me> |
| In reply to | #60640 |
On 21/04/15 16:31, Malcolm McLean wrote: > The results are not uninteresting, at least not to me. I'm sure a professional > mathematician would find the problem and the question trivial, but no one > here seems able or willing to give a sensible answer. > There are quite a few people in this group that have strong mathematical skills or mathematics backgrounds. The trouble is, there are few in this group with the mind-reading abilities needed to figure out what "problem" you happen to be thinking about at any given time, or to understand the difference between the weird ideas in your head and the gibberish you write in your posts. Have you ever noticed a pattern in the replies to your posts? There is an extraordinary number of them that start out with words like "nonsense", "rubbish", or "bollocks". Doesn't that give you a hint?
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-21 08:01 -0700 |
| Message-ID | <b8aaf5b4-c345-4f53-9a69-a0d23acfffa4@googlegroups.com> |
| In reply to | #60642 |
On Tuesday, April 21, 2015 at 3:43:39 PM UTC+1, David Brown wrote: > On 21/04/15 16:31, Malcolm McLean wrote: > > > The results are not uninteresting, at least not to me. I'm sure a professional > > mathematician would find the problem and the question trivial, but no one > > here seems able or willing to give a sensible answer. > > > > There are quite a few people in this group that have strong mathematical > skills or mathematics backgrounds. The trouble is, there are few in > this group with the mind-reading abilities needed to figure out what > "problem" you happen to be thinking about at any given time, or to > understand the difference between the weird ideas in your head and the > gibberish you write in your posts. > > Have you ever noticed a pattern in the replies to your posts? There is > an extraordinary number of them that start out with words like > "nonsense", "rubbish", or "bollocks". Doesn't that give you a hint? > I attach very little weight to that. If people express themselves in such a manner, you can't conclude much.
[toc] | [prev] | [next] | [standalone]
| From | raltbos@xs4all.nl (Richard Bos) |
|---|---|
| Date | 2015-04-21 22:29 +0000 |
| Message-ID | <5536cf07.456890@news.xs4all.nl> |
| In reply to | #60644 |
Malcolm McLean <malcolm.mclean5@btinternet.com> wrote: > On Tuesday, April 21, 2015 at 3:43:39 PM UTC+1, David Brown wrote: > > Have you ever noticed a pattern in the replies to your posts? There is > > an extraordinary number of them that start out with words like > > "nonsense", "rubbish", or "bollocks". Doesn't that give you a hint? > > > I attach very little weight to that. If people express themselves in such a manner, > you can't conclude much. No, "doctor". If _one_ person expresses himself in such a manner, you can't conclude much. If, on the other hand, your replies have the tendency to extract such manner of replies from _many_ respondents, you have to reconsider whether they might not be correct. And the latter is the case. Richard
[toc] | [prev] | [next] | [standalone]
| From | Martin Shobe <martin.shobe@yahoo.com> |
|---|---|
| Date | 2015-04-21 11:09 -0500 |
| Message-ID | <mh5sl3$ptj$1@dont-email.me> |
| In reply to | #60640 |
On 4/21/2015 9:31 AM, Malcolm McLean wrote: > On Tuesday, April 21, 2015 at 3:12:34 PM UTC+1, Ben Bacarisse wrote: >> Malcolm McLean <malcolm.mclean5@btinternet.com> writes: >>> When we descend any of the intervals, it's got the same fractal >>> structure. >>> So we've got an infinite number of points, and the probability >>> of each one is infinitesimal. So it sums to unity. >> Nonsense. Is it possible to define a function that is zero almost >> everywhere (i.e. except on a set of measure zero) yet has integral 1? >> Yes. Have you done so? No. Does it have anything to do with what you >> are saying? Probably not. > You've got an infinite number of points of infinite thinness, so I wouldn't > like to commit myself. But I suppose if you have an infinite number of > blocks that start at 1/2 and so down 1/4, 1/8 you can say they sum to unity, > and we can argue that that's "bigger" than an infinite number of infinitesimal > points, so maybe not. I'm happy to accept what other people say on this > matter. > So a Cantor dust PDF is mathematically impossible as well as being physically > implausible. Your "understanding" how linguistically competent adult speakers communicate with each other appears to be interfering with your ability to understand what people are telling you. You can have a PDF over Cantor dust. You can have a PDF over [0,1]^n that is non-zero only at points in the Cantor dust set. However, Cantor dust is not even a function, let alone a PDF. >> Have you done the experiments? At least if you did that you could post >> the code you used and we'd see what problem you are trying to specify. > I've done experiment one. > I'll post the code. > The results are not uninteresting, at least not to me. I'm sure a professional > mathematician would find the problem and the question trivial, but no one > here seems able or willing to give a sensible answer. You've been given sensible answers. Martin Shobe
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-21 10:13 -0700 |
| Message-ID | <82447b8d-608e-4dea-b6bb-c07b8b503f75@googlegroups.com> |
| In reply to | #60659 |
On Tuesday, April 21, 2015 at 5:09:10 PM UTC+1, Martin Shobe wrote: > On 4/21/2015 9:31 AM, Malcolm McLean wrote: > > Your "understanding" how linguistically competent adult > speakers communicate with each other appears to be interfering with your > ability to understand what people are telling you. You can have a PDF > over Cantor dust. You can have a PDF over [0,1]^n that is non-zero only > at points in the Cantor dust set. However, Cantor dust is not even a > function, let alone a PDF. > So what does the Chinese hat mean? The issue is that any search that starts from zero is predicated on the supposition that the PDF goes to zero as it approaches infinity. So if our PDF is a Gaussian, there is no point at which is is zero, it's positive for any value. But it gets very low after 3 standard deviations, and very low indeed after five. So let's say our search function is O(2^x). If 8 is acceptable, 32 barely doable, and 64 catastrophic, that's likely OK, we've got to take a huge number of samples before we'll get even one with an sd of six. Now we've also got to assume that the point at which the PDF goes to "negligible" is also representable using logs. Another thing we've got assume is that there is such a point. So my question was, is there a pathological PDF such that we can't say that it becomes negligible as x approaches infinity? I floated the idea of a Cantor dust function as such a possibility - lots of points, all of infinitesimal width, but an infinite number of them, scatted chaotically over the whole interval 0 to infinity. It appears that not only is that physically impossible, it doesn't make any mathematical sense either. That was the question.
[toc] | [prev] | [next] | [standalone]
| From | gwowen <gwowen@gmail.com> |
|---|---|
| Date | 2015-04-21 10:22 -0700 |
| Message-ID | <59d53fe9-194b-4b05-ab81-87c89ce13744@googlegroups.com> |
| In reply to | #60662 |
On Tuesday, April 21, 2015 at 6:13:37 PM UTC+1, Malcolm McLean wrote:
> So my question was, is there a pathological PDF such that we can't say that it
> becomes negligible as x approaches infinity?
Yes. Consider the PDF on [1,inf)
P(x) = 1 if x in [n, n + 1/2^n) for integer n
= 0 otherwise
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-21 16:51 -0700 |
| Message-ID | <bd98dee9-26e5-437e-9aa3-fdebd4a3834a@googlegroups.com> |
| In reply to | #60664 |
On Tuesday, April 21, 2015 at 6:22:40 PM UTC+1, gwowen wrote: > On Tuesday, April 21, 2015 at 6:13:37 PM UTC+1, Malcolm McLean wrote: > > > So my question was, is there a pathological PDF such that we can't say that it > > becomes negligible as x approaches infinity? > > Yes. Consider the PDF on [1,inf) > > P(x) = 1 if x in [n, n + 1/2^n) for integer n > = 0 otherwise > > So that means that we've got a probability that x is between 1 and 1/2, between 2 and 1/4, between 3 and 1/8 and so on, right the way up to infinity. So there's always an interval which is high. But it's a "probability density function". Does that count? Isn't it still the case that whilst P(1 exactly) == P(very high exactly), P(1 plus a little bit) = 1, P(very high plus a little bit) = 0, so we'll never actually see P(very high) ?
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2015-04-22 02:52 +0100 |
| Message-ID | <87oamhapz8.fsf@bsb.me.uk> |
| In reply to | #60692 |
Malcolm McLean <malcolm.mclean5@btinternet.com> writes: > On Tuesday, April 21, 2015 at 6:22:40 PM UTC+1, gwowen wrote: >> On Tuesday, April 21, 2015 at 6:13:37 PM UTC+1, Malcolm McLean wrote: >> >> > So my question was, is there a pathological PDF such that we can't say that it >> > becomes negligible as x approaches infinity? >> >> Yes. Consider the PDF on [1,inf) >> >> P(x) = 1 if x in [n, n + 1/2^n) for integer n >> = 0 otherwise >> >> > So that means that we've got a probability that x is between 1 and > 1/2, between 2 and 1/4, between 3 and 1/8 and so on, right the > way up to infinity. So there's always an interval which is high. No. For a start, I think you've misread the formula. It's one in the intervals [1, 3/2), [2, 9/4), [3, 25/8), ... and zero elsewhere. But I also think you are misusing the notion of "having a probability". We've got a probability that x is in any interval you care to name (provided it's in the domain) -- it's just that the probability we've got is sometimes zero. (Also, you don't have to say "we've got a probability that x is between..." because the function gives it to us. The probability that x is in [1, 2) is 1/2, for example.) The "So there's always an interval which is high" means, I think, that for any x there is always a y > x with P(y) = 1. This is why the example satisfies one interpretation of your request -- lim P(x) as x -> oo is not zero (indeed there is no limit as x -> oo). It a natural interpretation because you had been talking about a PDF that goes to zero as x -> oo, and this one does not. > But it's a "probability density function". Does that count? > Isn't it still the case that whilst P(1 exactly) == > P(very high exactly), P(1 plus a little bit) = 1, P(very high plus > a little bit) = 0, so we'll never actually see P(very high) ? That's a bit vague but yes, pretty much. This function is an example of what you asked for, but not an example of what you wanted. You want one where the probability of x being in some fixed interval around x (the most obvious example being the intervals [x, x+1) for x in N) does not go to zero. You want something akin to the limit of the uniform distribution U(1,m) as the m -> oo, but that PDF (if it can even be called a PDF) is negligible everywhere. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | Martin Shobe <martin.shobe@yahoo.com> |
|---|---|
| Date | 2015-04-21 14:44 -0500 |
| Message-ID | <mh698l$k5f$1@dont-email.me> |
| In reply to | #60662 |
On 4/21/2015 12:13 PM, Malcolm McLean wrote: > On Tuesday, April 21, 2015 at 5:09:10 PM UTC+1, Martin Shobe wrote: >> On 4/21/2015 9:31 AM, Malcolm McLean wrote: >> >> Your "understanding" how linguistically competent adult >> speakers communicate with each other appears to be interfering with your >> ability to understand what people are telling you. You can have a PDF >> over Cantor dust. You can have a PDF over [0,1]^n that is non-zero only >> at points in the Cantor dust set. However, Cantor dust is not even a >> function, let alone a PDF. >> > So what does the Chinese hat mean? Repeated set cross product. [0,1]^2 would be the section of the Euclidean plane where x is in [0,1] and y is in [0,1]. > The issue is that any search that starts from zero is predicated on the supposition > that the PDF goes to zero as it approaches infinity. Not even close. Most searches don't involve PDFs in any way shape or form. > So if our PDF is a Gaussian, > there is no point at which is is zero, it's positive for any value. But it gets very > low after 3 standard deviations, and very low indeed after five. So let's say our > search function is O(2^x). What's x? > If 8 is acceptable, 32 barely doable, and 64 catastrophic, > that's likely OK, 8, 32, and 64 whats? > we've got to take a huge number of samples before we'll get even > one with an sd of six. Which sd? The sd of the PDF is fixed, regardless of sample size. Therefore, it is always greater than six, always less then six, or always six. The sd of your samples is independent of how many samples are taken. It is however dependent on the size of the sample, with larger samples having smaller standard deviations. Or do you mean the probability that the sample will contain a point at least six standard deviations from the mean? > Now we've also got to assume that the point at which the PDF goes to "negligible" > is also representable using logs. What would it mean that a point is representable using logs? Why would we have to assume it? You don't appear to use that (whatever that is) anywhere. > Another thing we've got assume is that there > is such a point. Again, why? You don't appear to use that anywhere. > So my question was, is there a pathological PDF such that we can't say that it > becomes negligible as x approaches infinity? Yes. Martin Shobe
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-21 16:58 -0700 |
| Message-ID | <76a6250e-ebbf-4597-94ee-3c926b74a059@googlegroups.com> |
| In reply to | #60682 |
On Tuesday, April 21, 2015 at 8:44:26 PM UTC+1, Martin Shobe wrote: > On 4/21/2015 12:13 PM, Malcolm McLean wrote: > > > Now we've also got to assume that the point at which the PDF goes > > to "negligible" is also representable using logs. > > What would it mean that a point is representable using logs? Why would > we have to assume it? You don't appear to use that (whatever that is) > anywhere. > Let's say we get a much text as there are atoms in the universe. 10^82 bytes. So if we grow a buffer by repeated multiplication by ten, only 82 steps - hardly a challenge, it's even doable if we must ask for the sizes by hand. But if we get seriously large numbers, such that we can't write down the logarithm, we're in trouble. If something is growing for N steps, super-exponentially, we can't hope to find it by repeatedly asking "too high?" "too low?" and multiplying by a factor.
[toc] | [prev] | [next] | [standalone]
| From | Richard Heathfield <rjh@cpax.org.uk> |
|---|---|
| Date | 2015-04-22 01:11 +0100 |
| Message-ID | <mh6otk$gh4$1@dont-email.me> |
| In reply to | #60693 |
On 22/04/15 00:58, Malcolm McLean wrote: <snip> > Let's say we get a much text as there are atoms in the universe. > 10^82 bytes. So if we grow a buffer by repeated multiplication by > ten, only 82 steps - hardly a challenge, it's even doable if we must > ask for the sizes by hand. And with RAM being, say, a pound a Gigabyte, it will only cost us 10 million million million million million million million million million million million million pounds. I'll have two of those, please. > But if we get seriously large numbers, Right. -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-21 17:31 -0700 |
| Message-ID | <6f9d9a9e-e950-47e5-bf88-c91d03ae73df@googlegroups.com> |
| In reply to | #60694 |
On Wednesday, April 22, 2015 at 1:11:40 AM UTC+1, Richard Heathfield wrote: > On 22/04/15 00:58, Malcolm McLean wrote: > > <snip> > > > Let's say we get a much text as there are atoms in the universe. > > 10^82 bytes. So if we grow a buffer by repeated multiplication by > > ten, only 82 steps - hardly a challenge, it's even doable if we must > > ask for the sizes by hand. > > And with RAM being, say, a pound a Gigabyte, it will only cost us 10 > million million million million million million million million million > million million million pounds. > > I'll have two of those, please. > > > But if we get seriously large numbers, > > Right. > Exactly. But if could ask someone "is this estimate too high, too low, or just right?" how long would it take us to get an exact figure, which we could then write out in 82 digits?
[toc] | [prev] | [next] | [standalone]
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Date | 2015-04-22 10:09 +0200 |
| Message-ID | <mh7kuc$t5o$1@dont-email.me> |
| In reply to | #60695 |
On 22/04/15 02:31, Malcolm McLean wrote: > On Wednesday, April 22, 2015 at 1:11:40 AM UTC+1, Richard Heathfield wrote: >> On 22/04/15 00:58, Malcolm McLean wrote: >> >> <snip> >> >>> Let's say we get a much text as there are atoms in the universe. >>> 10^82 bytes. So if we grow a buffer by repeated multiplication by >>> ten, only 82 steps - hardly a challenge, it's even doable if we must >>> ask for the sizes by hand. >> >> And with RAM being, say, a pound a Gigabyte, it will only cost us 10 >> million million million million million million million million million >> million million million pounds. >> >> I'll have two of those, please. >> >>> But if we get seriously large numbers, >> >> Right. I've always had a soft-spot for Graham's number, which I think qualifies as "seriously large". Not only can you not "represent it using logs", but it needs several layers of new notation in order to find a way to describe it. It is the best proven upper bound for the answer to a difficult combinatorics problem. But the great thing is that the actual answer to the problem is likely to be 6! >> > Exactly. > But if could ask someone "is this estimate too high, too low, or just > right?" how long would it take us to get an exact figure, which we could > then write out in 82 digits? > About 272 steps.
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2015-04-22 10:50 +0100 |
| Message-ID | <87bnigbif2.fsf@bsb.me.uk> |
| In reply to | #60704 |
David Brown <david.brown@hesbynett.no> writes: <snip> > I've always had a soft-spot for Graham's number, which I think qualifies > as "seriously large". Not only can you not "represent it using logs", > but it needs several layers of new notation in order to find a way to > describe it. > > It is the best proven upper bound for the answer to a difficult > combinatorics problem. But the great thing is that the actual answer to > the problem is likely to be 6! It's always risky using ! for emphasis when talking about combinatorics!! So, just be clear, you mean 6, of course, not 720. But the lower bound has been improved of late. I think it's 13 now but it's still a shockingly wide range. <snip> -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | Bartc <bc@freeuk.com> |
|---|---|
| Date | 2015-04-22 11:12 +0100 |
| Message-ID | <mh7s4t$na0$1@dont-email.me> |
| In reply to | #60715 |
On 22/04/2015 10:50, Ben Bacarisse wrote: > David Brown <david.brown@hesbynett.no> writes: > <snip> >> I've always had a soft-spot for Graham's number, which I think qualifies >> as "seriously large". Not only can you not "represent it using logs", >> but it needs several layers of new notation in order to find a way to >> describe it. >> >> It is the best proven upper bound for the answer to a difficult >> combinatorics problem. But the great thing is that the actual answer to >> the problem is likely to be 6! > > It's always risky using ! for emphasis when talking about > combinatorics!! So, just be clear, you mean 6, of course, not 720. I was wondering about that. But then I thought that if he'd meant 720, he'd have written "... 6!." with a full stop. (I then also thought that compared with Graham's number (is that the one with towers of "^"?) both 6 and 720 might as well be zero.) -- Bartc
[toc] | [prev] | [next] | [standalone]
| From | Richard Heathfield <rjh@cpax.org.uk> |
|---|---|
| Date | 2015-04-22 11:37 +0100 |
| Message-ID | <mh7tjl$sci$1@dont-email.me> |
| In reply to | #60715 |
On 22/04/15 10:50, Ben Bacarisse wrote: > David Brown <david.brown@hesbynett.no> writes: > <snip> >> I've always had a soft-spot for Graham's number, which I think qualifies >> as "seriously large". Not only can you not "represent it using logs", >> but it needs several layers of new notation in order to find a way to >> describe it. >> >> It is the best proven upper bound for the answer to a difficult >> combinatorics problem. But the great thing is that the actual answer to >> the problem is likely to be 6! > > It's always risky using ! for emphasis when talking about > combinatorics!! So, just be clear, you mean 6, of course, not 720. Thank you! I thought he meant 720!!! > But > the lower bound has been improved of late. I think it's 13 now but it's > still a shockingly wide range. A question with a slightly narrower range: What is the largest number that the C language *guarantees* can be represented *exactly* across *all* ISO standards, in a hosted environment? You may use any normal (integer) number base, but hacks are out. By "hacks", I mean named constants (like "Graham's Number"), operators (e.g. "^=integer power: 9^9^9^9^9^9..."), and so on. It's a C puzzle, not a word puzzle. I'll try to set a decent bar, and then let's see if it can be improved. 2.2.4.1 of C89 will appear somewhere in C90 with different numbering, and guarantees us an object of 32767 bytes. We are also guaranteed 127 identifiers with block scope declared in one block. So we can use one of those to count the "string", so we don't need a null terminator. 2.2.1 of the same standard gives us a guarantee that we have at least 91 different symbols we can use, so we'll work in base 91. So the highest number we can represent is 32767 digits of maximum value (90), giving us an integer equal to 91^32767 - 1, which in base ten is the following 64192-digit number: 81152552684180626145083255277202713048379944636771455664244865656555\ 41726104298905574728671039322758460407589119849295083272073684923388\ 94889549944766867653534463001573766423639569865347387690237137962888\ 28866146118393565236496191829731627785933021268308712057268569220668\ 00479257116279762029905454902161966920704719402694857794633819202392\ 06848096215342980159803464425941949167462576891631442103248370763099\ 05096651974995415243213615422818126412355475398223236103528789729160\ 04908424776814049913054072773327062784949711925520057167874296765689\ 70548443897070386669461381384024506135369483503313335872206935975990\ 51075547895683721717743541926520278324198554942393040230789159808135\ 13715836394678080075752342022571990217281041634000830342200782292976\ 15684150838729282046048320697718196409757402292314289435023371233327\ 80658772787954648716968002919684493690085566003746026072630984786788\ 22702186933036730936391808519286000274763859226884438736867316743717\ 26227021048041068987261858573796861256669921593928860795504608801299\ 06313816408865513462549554885757935472950523973555976886692105000225\ 72325486004027307782705224637073268791192535398102202335831720728653\ 88044360301408823259091064301234368531410825717091419996932647671761\ 67228119777472966224688448044672588452757352838510706295768616346670\ 24254899562542946652963486705803087523966481011978611514613921288128\ 53495628662725291711601016903277568397778338844546164771180776162262\ 68168766095558331912458861402588856387629519270892750399523453797817\ 01240104187699659224337809128704135471022287417587404775848266552665\ 88200776951942320656789351501254493498630913630252887999095674769965\ 63629931162805301817181286193232215707182803206873521045584911856277\ 18835139383698034266521685072706064868323040776214016616764895868857\ 62968375132000547046334159788157475663998171934475798205730961249759\ 89066419235635227605020209751835015177500329920876763021542568174242\ 63961989683455737922886451011298843527464252268411019172764755069646\ 80060135706881078431065946851457059266714477100028468825256022493026\ 99882438681336917785358352060884185721908996584122027127639782363703\ 24193897217770406582139020195693863760885623045872458491549920553222\ 55679573869351563071784793386160965428181358629747563567917737715106\ 84423760765216763774654686861550730302734531201755192543752671688972\ 90382381889136162208081981895170074114826671895970572640586621755285\ 11462347874161004071473903643113681162734672590640060136991277464689\ 32784680279330784841240748294819629332683661231601435280825992695851\ 11352153929952438130150737365692558846522143644950000573699545165731\ 66481145854953947401060366726162170228097819069321401488407435416633\ 53674647206967991871356572455377152238469156730820054099580869725741\ 53824658766149104697419023325954710414443661865882718737849984475050\ 93915158607384588819336058667972313740735273092678037088444373495042\ 10854654889334280789867170850342796416914331638690475689760683514612\ 72748637526132614211676867885913085745637738656036903218857048958072\ 30105368383034399078991499924198916248709507454838520122987175741848\ 61453213658490421175062153905517919933044723354130350620152107535730\ 96707451591581029702189161819016096734627908959647089892684280740727\ 92924343378030226483499307009330524799189317648659343116178969424653\ 05957083050782550810984497654055024131394150036485556426038117839306\ 32679070852899379110079017944275838377972876732713030142550956229069\ 31375650403697952026835607432476836144977044103230538456507935136534\ 89278266265999012305622849867655269431549041726207117456089265117889\ 57082353593223347546691463379473124215736086343366787821096527002243\ 54333563702696107475483969578171313139327482315480081438532312666242\ 11745564656574499120716360063096300339538609100916536747782870355887\ 01103421404251158971111766983162250378038468921184971841178646148633\ 36494778336870965205880724080457002947100342686809013789311674692691\ 63242264468137775937193464788783578033124108641235871199271587072206\ 07000256629130287317438031262308056852640712681956191390977022454255\ 12563635223648525952430516244445233955199960732949203718090470242461\ 03209220874728345410003934287087431575338632693289115924584066084134\ 98535737975628517390782457250686976560959058314349697079203681608862\ 28666229165947616532598973237625170842942231226617685809853342014811\ 86280311057923585343905883654512668065194128331230836823973147028394\ 97647006508426296559359243090697247633966556220018529160731238647272\ 90819763217752345005429307143505248524179889672494942577909588637186\ 31559481677739073735725716819487483907784753223316557014729793522425\ 85028074564449010416757810470367776415135086905621827519557628757592\ 53574985302598288180659401914194166361509684553019258166490443021391\ 05370978990758077088703383603606283335840995839422249393136937490623\ 89565636880831489297761799637272546304412522616912289090625355869102\ 06085772062514018549377498188610545670792772993449009860891608863126\ 96764349886148809352881749189659024621209992135835592088499506834044\ 66888236308668682012321289138872351743400900832621197765372047621028\ 03450438174505558730266689019869316284063100431032055953838916520891\ 00578325698672712232018583909943067398181111963951614306701353141107\ 65362352367802043633408911473501982728776092732328868507976245650400\ 38677459733888013339070198917082381349361394149859985291436016864235\ 05762468780201499922766759466388864480893618304777757423478765471210\ 94194451431684227620959573369932864642325476172888891323834661845570\ 98840372372554434895248042475620445755507346870235972974140389003671\ 25170204007956407530917543800383589294104389672727350373301306311226\ 18790922231485813671739426139224534106302686940723557365069429616159\ 36989412963797320386660265869222558549250537647658445811059208477932\ 65303678043512962256738429596706042893189098913342149785210241641617\ 19636837287974620122456503814308260748642277830723600426926154121936\ 64095470741670093758256473879089241257744520016610569987114434514732\ 45232422885512711715287912549777918423688865055747776940761150207644\ 73365473654887959508338291395532670995159965758113872716038946891420\ 42376138214807896442479892290464571767562574315426910141708969907250\ 23975483885956422843551026550307687873713309358391355363975251596234\ 95327789454985176869561374372910737241399243106199820531756900555200\ 08486201015911018677389908284891329835868813592064628339888284528932\ 07815797563069364118697786089463210318806487010734766462090783567735\ 96241946145728709179226703575965690772725379273175608378147411428204\ 17695272064623449348519673724741922050359763600301480443370651670330\ 65531462569286543831372293538359077598748904494815550267430769113045\ 67520405674595701826768030899046273604709188795216084944543255843885\ 65828883181797856710920819573587360014144265682352195628139645247645\ 97453679939589947184066638073285899498252130157998269119383339419984\ 99240012278067762800729221145951938196187219098129181106734576340167\ 27359634826147478446924713079007868499489155880141068357376535249781\ 94550577878358661179086124384705839196461391969608444381368434873812\ 90810985315958414152076202877220135178280109328452421970634776083672\ 38509093724556821484177887215296608297774521440672151894288270955078\ 84814550987819426166724370120494226774052341324478032857168719200451\ 49439444326585464117279112398016043960894755555178320534819040562171\ 44146802499555634602217798095436593212054825090786071064237200801854\ 88588068643215373277629787586840476851114266682696448795560533641626\ 99805388156195765675156860085113980564453837262098791071995965999301\ 18565878260967176295276891676858291358242260701121728629361540673834\ 49675817398361306977094835218540657467335790936230985372880091052063\ 57475785559632756384513266965031841629224087730455946524514009285521\ 75269434788403679994373976502941032674393305127594531389677823761772\ 16691566140104554531675188087252348638155838270182586926658611987308\ 50383300037145204582039286481486596636297157037940797516623822269429\ 68539303046320566320726348525173942277515985193185055975742409902987\ 58941541190748977572500288963815625354171665910589313921437374134652\ 21894782535122377404666000944616106148111050190483356373522111953727\ 87858385467540170356908115227260009135585489154687804529371746004484\ 84095559350522447998696068083065741446063791607615753118974275697610\ 40528287359205371449317058296843052023846304257363096389948221740105\ 56464557762744107701419752025872774859940084347756542129217471246049\ 62033486731406185493373975109064935234916446419036601651176868903841\ 20269376772783449892771220708957875319535120435495318704248524799520\ 64053199588419749156328579438768952712574392252915090957214896217620\ 42630955815669573780514140274288856944400822861789861214246028579183\ 26800847949601788832971461785366901227720942778803813713332278373179\ 41269017502101962455881459238730310219384814718660591125274587312394\ 96303539809693931661655008930290567429672834467770599390567734775379\ 72168200990804619864385904916779918978825429252005772045173802679249\ 65302037651149160087409117019982283982397077469040971210378146870629\ 32353909380692657198890513045166608896222980961628863235936018416917\ 89088992653163700138374155976242247673170754108791750694905511564479\ 42694197702704975417799426511490162426749652560717258590213063542166\ 40753759760056526999253958794663701367532188955976484203327971950768\ 18004410168194242550949131153037305302569752776226291366809783712094\ 25536879730012193649701900494933826249857640559270245740099529879841\ 88922355658306429150710014887403045438482451784969329854603382470754\ 00034270613847507864606863927534219402429060633702593613575886180432\ 37704792152172481869444282087414961178599022509313269258488972128935\ 09643238538848620489207443633266982219209456387109949407212050112769\ 93283265362674031260957478803565950179917014257657022465881937584901\ 98592470347170360467803488344303579603393350642130480830414789430727\ 24970816738010266373298706427034569685395846332536072212736020901389\ 81343406342989825520338077599409777144033781124263585400672770282232\ 75699846063979618590741551404131438448456232581199453035388615562135\ 26542892273157837652976882512483121748458812432517259917017389570279\ 00779808714906777920253630423082282143060594414087694827357832303146\ 08540819468007145410864062457668527248095809416903464837122168044164\ 51095495741734405410083109528670028137056875844994786457597720719937\ 70635702220021895904480380798894076685390354845815532700991407398996\ 02148621653264566520441689341322100428176973199187715156704874738310\ 07992396404513428548405502579891174268015370117539990849178385368578\ 47373871595187598184587008326328031991675969171255786578160687555102\ 57289233126422234119185353315051484677768259424877224045045837387606\ 80185126206575471082682207279512174907931782794875034197072252638497\ 02495755893219668709250449503972191557842808141127687021138470034098\ 15119768404844874732505331257554163744919797121696413158414710950040\ 48910192237831673244407638416982604783247244064474718922170904610444\ 47221672703411850851980480792860972384037589950774525101882099668523\ 07875529084111563972399407002100077925100117551648034443503833953326\ 00629132371970912656826725377358775056572724002921566354837485811329\ 05131703952703410235240370932874694600922096707173585927812164278579\ 86016909707199840029649447364084393505832968031704827725558230165503\ 11554858598002942894258715174163781887499150074485021118040131757108\ 94586734139718172021933285470228462479709417101925917668334465423887\ 77464039017398857806178767425694680795295162961502174687904849708278\ 54633637876305238784483881767798525624050112592036639729866691756102\ 88875300763551838443399614468734644237097356010979913013684874974894\ 95543510985681837965995344699683101671413124672637072538259267371739\ 14360307042795441871604706721072834633886089740781854578028204444069\ 66391368083497415329041299007445333998906526809738928752471432133551\ 49579361717914120881102896446064167994463166134588169746127053967650\ 93343487168384233378869376621562322816241896945539039293344491163535\ 46265727893946870171450288555663419241026410279310736017098325462712\ 08396927597879580279993345096920447314312441452423640200857658003523\ 45468682319695547529680310560215967256543101256443272152748469343303\ 64103346796475915342431506036553430652818116760681759016526429554917\ 94687840003069212327491908247294139887414003973762889619701206604212\ 58908382360577725867584908682544097129253487771289012124419952461171\ 73390495589671071273894895424363703661151902504980940927109175454307\ 44669805328472893607850429259240071219014577027518520685542475893316\ 71327413362542207281146077568369098075041823165011587373636241683280\ 22802688802613550805274242789553111611746663337618271806785893886997\ 59045586488276181641959127630989923356014936140737658559009962244124\ 76743619425223190221263471987385608127734188548820005804031308660068\ 17840076222587754700962421228251668312106726552981067497176148934078\ 70863094107629308753589946776089853710695138820584454396057954786175\ 96998458111140036762203602966683661424545127321810978582652791060043\ 54307228302567236086465042937265885023332578716539515940113220759610\ 08305020261610041300118720898218126342591172887492875779596692384817\ 34235509456028888357123752530226729480201551302510195581513250885115\ 22742255710854499772534049959178631391020024233767009342354541129377\ 50389955156957606736722637520393278808021488798953147787128374490936\ 83187205001399254294973700676052048706523317442471155444511428818533\ 45012024299299644388101753742560340433252977668135259541499660663804\ 57292160381133496646092100659532731445144060075568865422248895305974\ 00880417822547782394774916332532754515018818897120281852267426652726\ 41498554934586937487683075496079177978222355137261812152179405065511\ 31912080445199991184194014224613568582785330385086886544701630768992\ 86177710512002216798454570301584539663660720010353114828330728829863\ 42575909684623525010639722438517310431900860995118307664312330242315\ 64787663954611933492752794651573570143735801342091520316824383064044\ 70234443086048018971372491315946657110885574380130098724942119292668\ 87141105453001079123993572512834723663196300840892898675635835998523\ 53808303040773818189271147700095051288918936178555941706128522892139\ 37443574092370831072343888326337611023200208047448996100819212820596\ 68957737035865485876771249959826342700011742069681320228015823608007\ 75335635660422563479844452535511453872048086122018538687886788560101\ 11847801472390218851042495419091404796115922804853093837083894199739\ 81268967036443694599803183170368975992903694358567227669105972183699\ 80899505966626715405423075376264931224953744657264625760684057430124\ 79929513940063277500174319308064030881798156985006470078030671231648\ 70289558331062923793336012130671850579900365855055718248213742396129\ 25183001567761707050484399605304731549033180745546407863195323964164\ 35506345808509407576054266894256128790126297571290025823885732525086\ 91393087215676730274029541380298265700569896669226962919474722382738\ 31371246549228438811214419363357840821688921889762179671102836567827\ 06224437112098446180157902037113500244694682188804818219499207931586\ 58448770631126388638098431867503389914399881235117257115321004009572\ 80220775932552628838415215046150922343975007291957870892508658599606\ 64255225341602088646934529232960902181470977370475853207548315463566\ 31838269736135037674062378427325521900035051833114238880264917676911\ 13826670334901930399118659828942159349874793408339719082254452800264\ 07768175725347946553803064561479050619526203216631472340403363751041\ 56467935435658382618648805760423737291216705631692304350663964130882\ 33502256423016664112665532276274841381132329005162385198654224147921\ 70578858185833717027518760536326824816815697818030617011134763731712\ 15338020729367141127280449897294395823216122660446958392962190456028\ 14602848258401538370808065370690145688818851302455683171050353078035\ 65308299685162585501912964596348558122426792920634777864665566840483\ 87738167116085301840559542383945863645063769263333482259804505292238\ 73451280122429705970443999511059493896624402156299482600648553864510\ 34098709339201040003518757383579951977844536548578032333805209768959\ 41829753634049840794346818546907950634273241842580654498287771481067\ 43487232165507773770306559946896856518991456647524831659511979566037\ 27531003330292090939302257380394332595591269597478209711709036030639\ 58655369479695460147515844623838775469161644961487622799736415656737\ 42868299800409450735453695981340213727207569194771598403610178201423\ 30995370785731220517829283075748315601754136901248494738637038176422\ 91358705939931999898182040368438155797687020750288848452718931022119\ 01638673439519085900690486924873605851123570641412426509886731830296\ 20979191377947657489552366374423144632011802749843231067907022240767\ 20243331896983494552056121170668825126871384825865062779882162013450\ 24738802272723684930965766358865759972242980086615001779370824704827\ 44182730270803147230504753744713471712769736273899191723405565818025\ 72266994755399860130716891922061154240088133151720372255181375047650\ 56010728798712976239297905622996804221470079604021921487278946796985\ 81768427036465636607546121669292502622218871067653919768491018606392\ 97061336764829788166376704344571370419778886251152680892302645980888\ 74944863805066540144878971562385164691944730337737413241079952571854\ 55630859730783903233394962135207776775491178506618543321253550705621\ 12004456910201216344989401670460695601505552616907490921051722599432\ 63722935917124802549210938684108920502068683635115208459316573187365\ 22537718475206466679549512988744710019909089880343213323222496412653\ 71334050921088549528847364363005693837352889622055473400612112046141\ 19464555326487290026562539401511390828533171554964168457506744690844\ 73926167520315482609704188103296884538765074053144605332837665182618\ 37375006138114271253360216000108645130719405298913950723102392368443\ 85720945138534564486128584830041920454587197904698623723357855829802\ 03217796309175400865250986970647543324422570272110052640333915273721\ 25874395917406862510424031840839590706551964284708412305396339183450\ 19067297091189674158693221833285321809219776489891733125764235909669\ 00787915829224855115917503131141125151809594909042217243319118698740\ 74649831731038341994754193746616747760398036797211559768531971022255\ 72976021484388081371599946286469629540263396781811722855526580374735\ 76565921723641059826241858464614538423648698041442737401934603432450\ 20906553386236430829837658021491046159424282999906349383936078007493\ 78484726436097375735920007292330687655029634583662887678167971969220\ 66949642446166940473445064374872064044796396645234862225483941171800\ 37109253930986047901158468964230998185742536571474585931895507387220\ 47029516183733619807901771853360255906660718443450521630793946665691\ 45036532148301470493834250560952858319930351958679399734434491348009\ 41617529336953907906296315913226130458408884230540212664223627592758\ 28672568715526756947230319060575991603114386777652511761014361749665\ 07985432321425024215512439129670188708660424101209889810768513334865\ 55449756071265372458435189135945036482764999321636952504244238813138\ 40147001188108238808323533298806544000051624772103085107873559788178\ 60730120639006060720142112493692385728956501062619184630220641555891\ 09087232904473702888060400336488461626866279517506301845712642405448\ 81192795114573033279015017091551748907898531402690548707227192022487\ 29962457527860875255203392258001435366568618935985372501075351932361\ 37234240788603641041317458663488247497911158970843158241307676738429\ 27413113297776981686718858024267565484489035984281042297727826236765\ 86210275888322712505336069794626958513334954146212543631569388306341\ 46708517279305372381643697293653629743461950049201073463472024500792\ 26620043540402472457988841222002986861200395432114479451297861805818\ 53641684399161757430947438559501172295355571355678466334869585709562\ 34409026948644485661869174508618077462108186988399737672188130801342\ 54277880649740355797247678206899369795242914932329249404138075712716\ 29138098733686093830516920155965096474508949458761600657005984033943\ 05631989485519646122216281041541368988767987697279220871496749606056\ 16609028979056990494273004323417969539011520347184539918000821954459\ 28327718874008195028797630128460304812806277317556952563074830176102\ 91902501224253299232431236257993754876715158616142283709405761608720\ 61564832212560971714757243671203509855045116404109309336590398869281\ 84436183420834441817478314084769361155018814261823249067452664324888\ 30564594535667549932730338932548550735825448505599613697658144661894\ 11532691241778845353937646176226872336936113419148926836674447933977\ 96677921619799100563897457835368039122356544481181374889366921846695\ 70445131033540501629401647535729946978074076956393057677477144822214\ 02694848763955392784209574436194417188694737199187594001731315113971\ 18341986715116013536539614153082933509473302461184918091298970530055\ 87635507325961456845778262274111518360467135376738290650331933220925\ 88014982260575785544313184045112575889452461296103186602550665124664\ 05619159836604810942345972290362417744334814266310225388254264415930\ 47907182203924752790175009632034852418104000144588392617557705118348\ 30512522567876131572641080023500032525694183462999064694623952671744\ 39045620241469418596001102531963222043330350591334441168195241372631\ 36859701302826747681567613647647489014474581607254469107306674290246\ 11203948346372100725158058597105190494504002299180864658918232393083\ 22047166687922582212030745741534643675606731283821102751680303527332\ 78885577713597664858282941158585274496801201740701323695215621027891\ 60790787569069227904846457515546891266343735184483742686707458187087\ 23530212879982960721092956395263780680872489565303485873752069996823\ 39225911922284689537751934698218586483076505730362163847174677123127\ 86477721576413058986524975179596587063241966887675475039944350710898\ 99857008797020096044043911508102126763406645516245030579764520586478\ 21132272560850748526831474436642911005444136281212523195568489803800\ 50066487982420333777295449942338736077827941497658973872337332365655\ 93782725844674631199857701085011812456043649103951124812893721198100\ 55090752131237156075440165168501597695942682928665885954430941551951\ 06530201758575569492514251771959903952330410403162078722443157449062\ 66299288865977721008491698818372830176424045739204255297502256733545\ 64118442460573562527797536647041437744287638188252643446269509395816\ 72583973316863095374175635811783830002959119744745822586132063990049\ 49672352409719037200740877913345231613667378659535342907919766592898\ 53004389243924413430320578760868492258888726507598594436190880713565\ 12910293587948113309782632697061959489463745062341193504287834595619\ 95915019870139216932751934041749481101025532059328002758998105393670\ 46873490809371997826625180071043196274377391855110252223545164442306\ 38137252173898775156341567041632556580960987726919076488949162665042\ 22135747963582662434472501455272432287814051349381265952007162024511\ 86523176129126284091631603512733763574541114385501338798112541467910\ 52076104589456601948879272665338097545509305169230664975982753078509\ 12129082035782619830115306569798778162607962325243131842343720139703\ 22003956976862608677182602236798559176554162120943136922967325851038\ 46298841759783743534913483373328418686572057337419431686254909155392\ 58477093154042682917882923787313608034984122801646845691126421064513\ 68545562593294965530977105425523379293009699100744917118695828126246\ 90497245177859775957223723493481284480485355055565620652356877224113\ 15270248913250139426149435274854938512365140456091114947776937369257\ 65114469780377811937846273592511743156166518101601500483626722953617\ 03016541875479178078696184434111643658819425415047623526943926428117\ 97062806341378205438562505548751398958780764086711749300664208498494\ 32708816231634731098534158680720597083575387792532018662104725671581\ 28558723953634945965836159057949416531877281014002651915905138368761\ 73496373549221542946493396806232417551386527327940230285658071390049\ 14034527175731647857511554556399259098876623843428475311146977261711\ 24242735545293057687496495471341260208404363413897377659343238250954\ 57798216037484513694835982105427354390060042318533580334364889317101\ 90599782109145871014810997497423821670554384421464343051007493959286\ 45010580639691793173554194534841048145323248948800797481843429489792\ 93765248619572921801418424852812942795155734873137517225866623030554\ 45548099146369873768975178521630449922904769005775376798941294583088\ 11443810289890468175429868970847917385404430365939894233434305259092\ 88096063442747584175724898443743445970687156269832150566501666827111\ 75987355787911846467973767508555144273384243545000560629995342743652\ 60473125370053133747718426137063144654770583138371465021040108460313\ 82809771953596152538700772784363968088477957956902009329003074722682\ 74378019920849089632455646278858963814004216554341112724121070562542\ 25961023370909293169992398037730497288661269017714207150543591618798\ 59709446540171576793635612502421248359239283849525409936615487973826\ 45499712562435113004601075351930653779137687931112168540539535103584\ 99396244487177221105690280290915638001227123637515297541031395531889\ 92671435219733409357985586896719738438462755720018662142610478607211\ 14945248482510821094631347586306269073465561125650107820948745865001\ 28901688377554632357074200510177302893161612562460642551409539004222\ 25795838655467875671009576004559729495000545903205993751946619914304\ 63044937229645872154627397683847993601929666650471545254321524582266\ 01991375672330905981421456448978532761363002982591595807402932387171\ 76345848358882558843491365360732345256666746247921446625726362897884\ 16699125060449689484160694094951469180726528692875990885664940175589\ 47546120502857132488299392246492527524942394986766759923868435906085\ 45312400019635360278627626568342404610366259107439326136823529965753\ 65316751023313064160022411280154065780187637775687064418043583419405\ 26024059754779530215238883414730506050479596757394831849655826443927\ 02460147024821382818610859217443275790081170169939439785288242971298\ 69207685559359799072443271447256573944650402816907088345715460565210\ 04242374687177224100307006871279396275078614595599837774471559690858\ 14363155009224207789754636831191595639344272363288954749681719423576\ 26476953528905368920969436168214929354850320312646068455020294213171\ 47034353158469430875580789274245544920246130894806460242393499171218\ 70289023536493117998381645183167689346328262252068995990011407232803\ 57033553088900758818856909918775628116563927438715333890589577686181\ 93022550590271014282648075169415852602170796658853191759574893054215\ 04981655270264918155086253923480988044230808747420836396351437949459\ 45784443798005515349474992038664180812523727333063422658038851575708\ 64369882545521680325519901715216216800975176030792187000315425114372\ 69745300366511040168445537226507588866071660416338230451992207105620\ 11535286471948075656875946937149169091079742274251726202997662436294\ 59601891833359295465645301121031343337587248263047943431152348082029\ 78070004741826188808840675536129366161414311815694498341228019431625\ 89473862536128455296757502366368490197734667226259756881824543694663\ 49638065893696933597223233567373979981785014267045126325307324536164\ 58583909929606451151534928238870647461040108611941205669478355042192\ 73999661115079429519460202919961163062577572466128626522778308202168\ 75274195932945410830148096772846605614724406171416712016197069541242\ 39910151913516473673430471541437543792597040455519359750752202098038\ 84885927923194245235195747264773919184607521953830762653193371149883\ 71100920199796216533052075078126225665743104922248528249631203172345\ 87551369026105795903356610969864771466270595637850708992792044682924\ 93471570983716595597154006072184003684849944504862172661864540160574\ 03929181775860611472054811554566399205680024285828618225066290886914\ 35483955554987344350287543388076961318166562200802501916237678088223\ 03682424261392052783641538005061986906494383921551364084503432241645\ 44764037191526355448449596633594233291782350895292075565389969823744\ 90141421427116556499495712649664428277937867259371775564924574496483\ 63764963441538114006180364052187786302695870548904236890980141200751\ 77804373649737038824766063555460143246939493624558074847997878760073\ 81211369751858809776421617367521552841491786946871599133141171123126\ 86241433010941616108439744084739364380934113237662301700706032405955\ 57958541955297961918066276024555729352360823451602038530407763046262\ 05036119350539379339545744062268970687412789496374153807294580526205\ 61398726878584408596591594127674530600955137856577779273289906656928\ 81722339396742741915138431926544719332681470059847920444365690752566\ 52269345811761780587263268803664009248397719193894127432274311024205\ 73123822757918367501624530981018751896814557752426166622357885289127\ 39318592595397481748415969669744434101958106170424030017557029026736\ 77392561870905128758009320894466615165690533416518645248573339059595\ 39800285266103319700787131314564665082958122169565997912716186150033\ 88580887215500047395882557152028739486085406360464744793890015208593\ 58833794821979252998331205293524885702135032176637094051442011697223\ 56562744618528987281011793623045719205568552009349545682528246733989\ 12242307235327229622466130896981645317827137571672471550807669784185\ 76310314237270139009473863867818168332682898912103100468415081885614\ 73992570622375611055488930214124173062256197923518065755520545724527\ 58507880349929978867237208138227526126723441661841013771498957412615\ 39231649473038955540690097661232608229353821015379724738265464604802\ 97261628252389679290225453320055356784605447741681223002658338468403\ 03388368843252269507455355164528395419312000901227786814941827328499\ 14480450392916878903705165671796135818918618606712573837913642154508\ 14817693805990189188461746528370656635162924467077227029868927719407\ 85966909347499468107922071254464296599025515299046337414313903706508\ 52789489694203170477725680331498849013002238651181619281545337241579\ 35246238195563569999620086866008244625986268343287711096609673628071\ 31515077502293209215093599775332898298357336063569380573059033220749\ 19524886509385561604833053707857250821035362370094858180874426319611\ 91342065968555019472520667256598144552541518612270669886392839638751\ 74662593410697183852183815005200907909051091480356631563695843665938\ 17164234276216731648062865116424024071107909641994202842293960015350\ 70982470776898541103910213188675822371531527785003237680438861983947\ 19996393361050102009471268066932540791474849233627444283638140151082\ 07946466012376215347147684418131777121225289538107324328681277311484\ 88223751561030445743786080394030812463932352451512596683689713688524\ 65290647505575751963318324887541412838672710511445046521086273216931\ 31090430794021498053887323456067270078829132037281947937975134066490\ 37645187109258290027278326670191084924534899570808508934072568595137\ 87476237797849572719720297524201306282956162225579096382770211780197\ 52274930914381304900837189798578735955201673006370001374669829028046\ 56227131889087330111968596272375560806503956294105724369345569562174\ 93605920969972639504039637480488015121236269310863215102086566886631\ 62157488944316490720893063686761671283254363552891258288080655030500\ 85379989061778804273472515162525318638427822763806028677970209145382\ 53839051705541435049387192512305493485440065877822531649870341319169\ 09763518533932622659839027312590023951822233510672679844119072913585\ 04596312634789936208389144544103033213830140124420518658810509396223\ 35450146074541457639660511118280163998039325574999865420557036565258\ 21253716234159975664011938960061605558070561519952391699619911878715\ 88811002327694301029964057064777974350943408266257842938093784751345\ 16557132543433610363102061547138808690644207163880028941809964287184\ 76153759882112557302128996493523731054620043318442210950085043917248\ 39441842827262847713108425197919469400657942637659306270075647275364\ 97634152373805469716988345663143962577571714044772652791421240134379\ 19303470025284629698349606540521653008126350517290946333643535935857\ 98935441509420997754834062506577623259258080530395773370408402230348\ 29563332222109759859959711446410849483114397913570305331903418058112\ 94323892696238168685495766729185862969562592709387562208832131304010\ 45267705928479872290925586834846212352489772636760740843911823324678\ 91029879369350564263142311451325735982681700139906494810248710364966\ 21449623455910477746175040130632888491518240054200940695103047442903\ 92850026602165524472290965982491097053266916077692056926733502646524\ 81468356999313744795790377210694578228298503139660406912336354953906\ 82090769369878365080495161752823743456589824727114087728827647355544\ 32934204891021255905459426052633961156527892956211691304267621229927\ 28814640953876655713791369735448440955726970616210095946977923141322\ 85717525935749943086442098582876774918440304252847464991162774012257\ 51159934125677335796868918348316683599785145624456175975087617145382\ 98674387965042644777525752604798662479266848773535974027528024017747\ 27036276244529457704267353049242898910621462531526677555075594685454\ 83518289354575915883348244316553339848328150003602027147796742582687\ 42546572084768625825774731181054775650895619996340917067329705692966\ 18192227513613014278725092284888197970775161185792218715829329822951\ 51843744490820410548655063662391437654633327728403691762314938754017\ 62592897945990283339592837824882744149304408406293303848421257638614\ 18492437945561459135870195740859742095543611398677611473825798555564\ 97687563803400436495730171843752548966198477115326253145905429803021\ 44314390639900432924898496341436032741805302371728761847970658574136\ 29353059215969405510074776242113830521266196129932598100046147862221\ 24375202469480933348313062994277868160541357042944415224334505762135\ 72563882789287882829711037123495726464621478383451152493795346614654\ 45834158088595155947002834964775513120774523953688148410506381437166\ 11194643463525705456182713931928865807580860622256325941524409760219\ 97017719182857372007036977938650915800905334114722278595691844712752\ 71548779868055917658896884521299044612032997054049231302382713195843\ 36721658450729722593267700085493970215545015612739117442982972515685\ 32818476206172263181544910722711960788819759812281071332057893475854\ 94047077066510303346674601958037589569987655763453396060125796217326\ 95985301788176584922122508492610818669369899538073045145030945119187\ 73313057965082459026203703166898091334730819488485025269599910207461\ 33379978699737000970523705650128707283963270769054203169636148225381\ 92367787532619741600747016611066944467324526191829577365581720847094\ 95562921149244439577917288098661068881429661109700012051612712821855\ 14055102623095232887387007906664385497682722989918918419394108258310\ 92994987458094053511247385702758934302262562073842545908707468870494\ 81197398659983629025380225688443006242252610849775183821967310443341\ 01023306900321549171282516065788183406405082351324032528928020018183\ 57621823027480836226361027793344864798692870424550406289150008650828\ 79029581763751831759415513268734701270087519819191312498543062770522\ 60900445200034018295353912548313543391352744751772960051671487203123\ 56926855402852012959032853910412848660391064687107017275621445358197\ 07942797547974139430366147415870338077695821926097916431350304316417\ 98227558319763674509437014059844372957821560654124563369556880393996\ 73431238710100865939321447819091763730158863640337674267304814692506\ 04462859869888564217753798039949494521306140379764047926457097015437\ 16883222433635113415773731016376783349908033093336134847777481094947\ 15119931904680072552430068419150488505039474072149300642825332195795\ 90024176634400602570827319434519469013414062725881092990609835299992\ 60729649238941856950161834306812257896249196343411956520810132097177\ 68067001430767143800025116839008639812805545784962534655982954698498\ 85320024601007053647180476650048059059406085111561404800867128786802\ 39983744301090932816936158504085100649966962947898338745962547390263\ 29524782107394625119192601464557860757382390807647792528903019097832\ 79177842753775244372497568035762371636524965987358207530431840210620\ 60419203928715406145084955680282065756687082171913556266214486678033\ 79929781213041799745481741762417425290539193033458849058300674681648\ 72553185495490596582725863647443056897714563452603900474253854314001\ 10209151461190932218025698310860727655762334652758874974878655969777\ 76761374493270383450686776595890171650697020670759538192795663114959\ 55498483796343314040250153964116629621906176474442414596388425663782\ 41056949765191588450383475816056874174152503974916972111264677429293\ 65076212051664437310329770259433363381111549205878883667612831109047\ 60280827246623390115347271587307294089624408648067412936021455750269\ 95380512289817836827823990014869402014696288180984589959367867546799\ 13281797620233377365411890383138685821012670357764460302197588811680\ 49472153141419119621941377645725241761686204134135850577231097044760\ 13377527932582742496927235357995553411849582874305457800209289485025\ 36090439931598144575035025362545878051560140122107700649114669984916\ 84852462488294224958987198791785585287112561731722267762674843120263\ 63544264124998241666021775350664529670954626684875600054434528895938\ 81397055564034497270661826952921358978218315913677949336720559366068\ 52443746472205341893701850472193377749516743434893907209840342825972\ 94741646319500876670793448792042804528382052206508211405968139900088\ 57561927039322939071318898908974239402606025453404501052387652132732\ 29291146791661037212244194489009666137674790181991744256463195212567\ 39121196413559213327333879063035779880532200508163277949334661190594\ 54112361029826976598725567732104302063425345215127288454876659349317\ 38279461857541260659308131478433389390353219824069405259524097358226\ 69022920980020331779287163934750764476722312436265515132885152776378\ 04028041826454761373302555500575767028237573958791482423150633484385\ 48539618656674831806527632782744543206430202873618233713012007107263\ 18728759980308772737142445215565956423042796457763272021501649872913\ 14441662408593532500855567314292459205412947608483832113057272627144\ 43828033191637357105146919755530925343343084354379458640105705471721\ 10251750938155101980819320365689698260119512944530545095245550872024\ 56668292083724497452876660049239832513690695581334882194115573394214\ 69808698669118742106366596882585974007155090095172495024380968997420\ 70493902995541615442976382774223412512130028393517334657986113390556\ 42551398360131571668742578164904793922585710682103687755909588820594\ 47803148142038713965383891288163095622643427309080427150377816190627\ 61985942444324416384022063213928361002303924799628045735373877950857\ 62387200019655016053267963232987949749950779628505840177141500373663\ 44452227605125050961727119979624563423346328254390124522147477563420\ 31306939838477213815050815698015125646753745482212458007692662130004\ 43021505284436832554402874134215719845476826278981553155288278343116\ 62281522517922593267332315450165921269112429913441267420006778913897\ 26952536996300748587417851327302269025081570264349493649386827422343\ 39611086215006346990143267774830102724312946083125035372921697074983\ 89170533556011441746870217692086068257647749255077923537185460717338\ 41795856884628731952550059250134668043846036831988597644695029082053\ 15288851718338136854673820713159703171794008684290452032958850040424\ 47592588828083997246744019551875722781157888960879727244837256560416\ 66100120211062350489937075176998192979841035252697728992438082689188\ 06049749360081011258661933291357123634668688859171645933876031710083\ 83563756483749566597045292740650911061108668006983843694990312524025\ 84569972266489418560482509652284257026546005283010201372601094507264\ 33963040849032071549130299922458471888135284858642780794583797644520\ 17761320317047691807733345072716341836939039761752813190735133531988\ 00725763821971946481765139950514177928918533158254866482032322110460\ 77539260934609525224247129671749086923621123050872295314042632271074\ 64062957103263759392014017015991860907563665352410965447121773717514\ 05482401653734628651957996607899630361029860286630546636670176243072\ 78484268600922635402153058466167153860105794720404532506081948265519\ 60738620263270508948023350807655689482568232144053515715183124119118\ 37402549802697691501477601932792336866099436649648087120825274437869\ 24676960045732998842646476645502714974825781928058355155757606236111\ 18182812802962697327096091715059800038033176024063207717917422120734\ 87294115407071540076049932331041568993893737319024524555304003347992\ 45736882536170165144690917210184081640909544605098591997898783962748\ 43160577837193637198725958102064963652751426127124709234157728217134\ 18867222939319692174388969167858379574115302360206579028804374975617\ 93212023579292982014400118348405056918172181385764444523170676548962\ 93647175104166113975198383486585633255655892564674183333738324165552\ 49432717627562499888275219060638306056877588894972905734672408693783\ 51510870926026381857827231063935515326316002041053563477778218168286\ 05438943520766770833237441004802587065412526058214787911915711399389\ 90737175763325485338347966802740056258726867134226206023491167996150\ 07141143822776488261603395993688487244098475140891070915568499120437\ 83819857425187591082751619988602451907404874018833261144553107949917\ 52287045848331635697795992765619995989448338816989212331198573623415\ 69082648642629476975141269454883813080995484832324187459692875499839\ 89565612761934191108935441607854298990998765085911681624058902929813\ 54923750978221224897443122316108469101588731156862632619410733829054\ 69537912051080374522828082751894662469233569287018200807258992899637\ 22437621173737177884106806479598540188234752165193343750015674163198\ 69989279889128572818320597232844618769322983749462486722226083121871\ 08373975960495387328109255868528674205092477866903884720654878852992\ 98445265900305665015907449503841305413256236858960661968644891276062\ 78196667518433148601771833672997753842341207443262142361962634003107\ 67913720294997032426640959666457214117914544784528710814920788944262\ 99761614689511916011651485985423947442221701654277319371779908133402\ 51395367066959728773871518130345089934247985842824158643916880084196\ 27319734093274391661335912619017911790908495518952308992878268918690\ 81970916421243776252770179897412683408261328811967001800758419892846\ 30808115377916493915789707228374581704510175416537647699889883252912\ 62974343675304910749355113370063238006182947469257361000996004235810\ 58289770689175968346363917145393524405138675577837191040721976886051\ 61773379198854077002841254876954696695487584171992446034833820374968\ 56080519944830680751836471875991839233458569956414212327706727799362\ 06595381426786028831401152763424646459965031145402466281630870316268\ 95621286897871384465532565533535451592438927942772072806974669839472\ 51893341345377344291659572745741870146657178469529832831872894515098\ 95931871657257742130665011286482298947506284952940892765070128810455\ 18167000882442293906947791452433780619566580230029862319535232449166\ 96728252647711123115451811786232580414446842521558323894061858160561\ 14707555484316203795100860768785808108848452657199409309229529890027\ 70423540033545449654275352522247175572561524695613954116120598524154\ 43052868565627149910976296894504940775621503878590082761835495249849\ 62892561780026897936648456300013932273080273726462006740033999752478\ 29484190891345954375206276734185153099089745837759995512730338859942\ 60481489389084744786983176908511172961375861887061634347459439169625\ 97033065978802853225513056920578806678024179668685784730677735687976\ 52648290567923908628381801707428912028683780739789351727521731692921\ 63088129459414772330905894162231238057887086010852341527003961823170\ 49487285878330836029262393701042946449172114577604507343074568367706\ 51159833132067131050413401842750396792200658105997691013699148910862\ 92695453342091953726903259538738150444253667088516081825796304818191\ 16095402814080923940329018393174116784290368328265282544875488158656\ 28048797343093725382314233006283210462903908905363832011432052621270\ 92985060176524408711954932044180250963563970681489968173098567651106\ 12758989794668264457564392892841224684771414808079348346377279441949\ 26806648716825526993559025554437587221916011008303328675197427114738\ 00937992700922289489183447673568484916308264088797754567884107868221\ 06549923493064973389363825046520658536642364354228268243446570021266\ 44572107597894170563039438958953408456979718172834447814178602111897\ 36924823468249461191452605188024293784684431393692117600788687715201\ 74272237297263806704738466956362378655610136550210355065323847886643\ 25038262888320895884035044501362493781843111889393706249589441730392\ 67410383709164084189724912672293461774568916081430445067202903554723\ 38588061171816855554162522946013608293570389900242062574439271866970\ 51686686390613837822652360070076515857646761204092111594475624888686\ 39410213389756880989756897420536751050686504026156225823662191690486\ 20370451834613983553185454841371391409542984487020929822559801676077\ 76759950106676799776800314654451877214729504036204407379270011425925\ 27524730131786579891175076823939679060974345515024065167345337151626\ 36933387654807760017221189244862836872283492864683321641726042458377\ 08123009461261382563457382660367968395074486647293598884306532021580\ 40559312145745352704993016055490111929127650995496301833425763116548\ 20268583194474196527162051259191637082926611031507545111915246407731\ 36050214022226089227084962392095599902633436878707384133751077867876\ 32948391223169569887636881277157779803792544901552117045605220756450\ 82890384064903933322602063514023833357592331847415364360769804451201\ 37275563628052105382293437245188657678115927741126839404496349750698\ 54037033255860187304244655239357696645332953872991411066212930528124\ 09227166254747143154368882870855411997912893100477078497728263978505\ 06134706885778401378051221052167178829160125541755583627602052066096\ 05521735841294498167195482822539708025049790604690411171937586271767\ 77421126817086656041275017210156069222256550880853749600475878774888\ 45689596327332119002471560264950861220539307812759952895619674791515\ 86632994919070777430738933890809786537460168706416236933495432780606\ 06240206736168408021160413335447152925500622817095700074869020120822\ 71840895420265308320573813240198252079884224186492965170367356811418\ 63085098776335264024915264450547854373188994079507863671835559229324\ 86452935837769481544843046727820302114695729423703689786591234566013\ 93186997894146049961212173945451515040212483816345699385820403003512\ 11787356096941553591243053608532493946821328278387180076121466726477\ 20306767161309487290464734931682337994137648192826706419490863712611\ 92860769973819138740097795060394176711834102023932389665737791271397\ 25063689428366538120721775399908407906636681536409495753356626955214\ 15053655495997219328864811266619033820850253484739794243635221119763\ 57834375499328200841158653116998946324069986174030664929435122253227\ 22678100012982533696599484698242986464425661370671975074634501947371\ 26165749430558366632520130234004252767192453449863524416696153854958\ 70134699810393482506526085563105101027142091230811677701602589188964\ 11551886132596775898710108449392821193239775901146613092406999530447\ 16043620868062080828801619023799934770808105398427736378072464132271\ 83221017928399996850576400859207340529013945405436839922035821229263\ 13562609916881072625790286785400626813143223581582743063386833228656\ 15008990197035653103874909854102267383431105540528982312201394031175\ 03592592210182759135080742164138545259182721495319145831678825364213\ 83768859507432101878212313584828315406254499642828642193951485300219\ 65834543369180415502149047922721884473336839947527660756490083712812\ 10209093478193309302080902744066917341971890422848017173283266080918\ 00723041050226474908306423534595672650761464980981378279937426701508\ 55797141503314218234950953600666701345344395844701719657266652143878\ 12390893454531905763430253940767793809841362677105033041526336864733\ 78828648892155815306708113566657603245092001059666474556814999199359\ 06529256321207888327411499970912982368003350482092445884691371386231\ 91072611876024662987612226534260741227717345453267980688614714362680\ 99363532930900561742643187706520648813211787479876396512818982264109\ 88103646712866447321170129710499698819111743795701113192596214352626\ 59521723552011661328834845736492305053880897034369912133706874535528\ 70891236322488438851280138486068933894937652255935144395613446609731\ 00280785532788744059100412519949430462325947871279885970793444751675\ 78584288645037632144630063992847551719193769200178805712240258498503\ 79428488532601473235827767332550236868125087321215751938727706960329\ 52091400430309963080319331454458591252758918185287095377631633113991\ 59829443135172141675472776546687453912074892588975163725959860294763\ 44295531529347583631065846219503830119330075210419703916512228253526\ 17965325024499584906341102773802038549607091109086440855057020907199\ 62378285446117637997999945009969602818668742767227625365110034309213\ 89173360626908129215919397056492642315234093842382917453609365901669\ 48594468939740879608491960436061891471482198877194081001970995509619\ 76641939054313557160280480898778654374738765430066193120138157416838\ 91505346399717524724901434859343198017715210411112757689357979288599\ 56919978220947614722002701839599790781495780955317439453456650150312\ 24874221252182993131700346113331049742545289875889542187947005172066\ 58209798275836004183531147575579752108251489267423314021202488224618\ 21528856719238897995412513154186349183796153680943312438985684911910\ 68440284126355128215933874347197495186942598699509710623117324922873\ 53169348278991709296393161467825264023550549795073911930412139957096\ 89510695560749934523282666100062687986155729603620302377898030993777\ 02154549351999307295944831212930381473358438846926633207039743156011\ 71807771975629100300991706244897202572043063829952325078661202492511\ 33300802462186916942222602538154683348329128700827483193505500904325\ 04833915941094796138438314313040848591204750609592601657770240767916\ 11692627917255491299194430461464419332761016313363422456354096240369\ 12257368581523594370161232107045940608035896380891416256605232536285\ 64786240009019973244561871150188408854679675076059634504486719274827\ 65283676853497357581114828001843293518429517897016782872131405532185\ 03815039299526544076371382176018925540479193935220610988305770465513\ 51449945445021199938649323967027385154440593639036795912259931085600\ 01020163688255338530322368503645340310079513681660733415343189879209\ 92768534809322706298280981504685092325998384197316474877885340599906\ 74601104268582441007605648592750624542232375947399743573263415984072\ 29938035780054234608404263664162103097573715506338550064696685280585\ 82470856615990867855555941797580020330792233808410315049817645034950\ 50670354029690745732095896125177290105773156717128782355678663671289\ 87064482193471323484548834864499147665831140959622762674153237675345\ 63071475032135409269256552282313547365286644395890362289388142829117\ 82082895706775488203911837593169298260193026325695437944776883459752\ 85683038367804864610778862960464256589528198472466784420538126293373\ 34882112019528123462492428769995194303048405355163453652651712777235\ 16577494622550533686889404249913338930023260652257256969995206357728\ 63948255855755632333466543291831424017130948003559067395140355054232\ 93772324623458894677045590476750363631441509219770678128656119071041\ 51432463871058252974596748119157033377319639368849892403464162423873\ 77438791014449069380691686342346541988730339895774769861568743402501\ 03920884863238607038930416550968104837667505808427667915417964926149\ 95437842818527391296742997606928209399988002055850993365172681436031\ 91372341750368174262456592204625995589601078784603677634239724968576\ 97945390871806420466544457411214924748491404474533315103618604379897\ 14799186394271556105702527033801729006615056450430750062963698216347\ 51647749804557120444905829559461754500531092284917571110614199281083\ 13254436434508434802925873602752062631604275021656981901567440826850\ 78559324503881951312422379236979702011206972559639784657234898148000\ 99786613078847324027631100986758494810614794138928933132355284959284\ 92393944998767812407406338692645424856658777783206749656839304056007\ 14465334040668155495502769499841015250209342684834603438356612109598\ 42173895092716348183021657980356473420206751518851665490405679285078\ 13285485461196843369565381469741652633425499085734041746554035335434\ 15681656456326268827388499737473248176326492483057700719985026722378\ 40630108068693998894983029501845081913241300822180050047286755423010\ 23122669815324381027840722462044285976799637876207017502617754777048\ 41730048536027016800820303629836992321701701994484131215396468862262\ 42210672004414508994107873130469601798128768863177419370068649050934\ 21714027069424398231184239918216376702679991534101190476094941110840\ 27127140675993337228386158113052586996680106731148255545901805797143\ 08415597501975029319702985724895157772603891499991747882331810243895\ 62952335224863575493945658055085121327399343809359507345584568352637\ 82084243960178967042628200521845578857178664744086873535609396981087\ 46300548205277367182211439321170560452709310146129261919075129399764\ 13323118454543103599482094716302552174337812230489541101826442959848\ 16500719249752157599729681109698014838595112026776523882677139584649\ 65822687703473178929267807133567313611666193238859091304960026793438\ 68476842317344293556144070187742351452521098073077300116459663933417\ 09074215508167203792037528947957296499367888397566809717921845386136\ 08220463073440579715633392009116721870533288818204728176362374478242\ 32917343636959351793009729177101630336939905125240772737686357392901\ 87309169102932264340257180238019687934135207857060637604076556499096\ 69166612145873460874015730791318969910721458588792839475751185921082\ 27088675207772264583839070950087613125970954264853293846985391659801\ 46421779791084633185392345275866145541477710694504708512644595442819\ 26605576446515008579131972534466796176089259888635295552446913737023\ 72373973792188650544580426789841935632783062069781029872155030609100\ 88336782134474321401511436093812295439953265018326264560007087718465\ 15417083359208818549450469921496742645936510552339482187739960917741\ 05001862702935153260121385324487728483887040233271564074880512364277\ 41784935101757872149372315122170603871383533739814585725750902704528\ 16297686449053081472161166459562319188888480367137537298751474160866\ 33931113857600440616946282275293812540719014023546485553271151324631\ 45530221139803665087460279165765549198474078786863453006372968528533\ 77107934691412051470703705585279236566503413367359038054409290039575\ 44323950365756782343387078377628772654304098072120665427799636982965\ 94283158062025146454382585111497442999410351151956401721935573151574\ 66640793460713106144230948259468653998940151829800282051662595650109\ 26458881140407330484533096693220859420677052452889956343953549714741\ 53285612654287816536046604475052238204246524282330998606208311817624\ 22602350637857419484453320080288908318326102514958919312329396947219\ 03617009870568975803891272630047866262111387716382125658670330961055\ 01377310425436611366686498768146205326894585985294876035126932650192\ 62686685558488792669662612448580489640371893917575729916362163133346\ 58571921221317911883407999990185228839723864809385621379426089999749\ 30200135346070770958749386428707823350743846366373280924470422697259\ 84468182029311565769631937178765718292950797615515426392503732235016\ 26048696036914824131415481339368406155943836076137722050362678011269\ 12263069226931072510488001386112330761274803968326749760863677671283\ 53554986203061902003435862076619795036351741312344907623022042566883\ 30532893157447534526311735911978753498117423431466679069202368147296\ 53942186982784867346869898536285482656789921555820451401011458902113\ 28103867703186691432923098463021234311244267011070563838699328395898\ 08059074851787405132276148818351373677540004590835142240097606130969\ 96018709749195539525276237521010397860520350841897514595197171115084\ 59474592161383995793396110795207407527870234338293916194879522671913\ 24664727213072900817936743198479013139304455097094064059363259797100\ 44283530088901359845704659193611169629144343840564531750436096247128\ 45668617511167128365103182294051909869458742520677182833221578027019\ 75721791868510462519224468652368817370256419638098751141017674451958\ 00677076948677157942641444238636286247484741001574241988070995688084\ 99226896339030662049170831845531294309164817973428019012278106179077\ 60160291146250075324161310750347990366169763581622580067739062202863\ 87245718691910751487005657329923429295833509469096699989978253545520\ 02094932240669209226281681035474549760524202248204383277659072426651\ 34771777438034583510541026711113093936370621646238927864311796101415\ 55260278575436704754375188961477689771499618829822721524979517808070\ 53924347931755853243368454432448674131691395740974338297568522854707\ 83100485710827429010029364163153685658289229736026373741881738906268\ 50958450664533191433077334486146070072588921177688440222312420420693\ 04245217029820880464531430506041155615001891857865718490582132384221\ 88841937296601393036367173443539519596808434845895025189383369946950\ 65130187055793370397090895190160914570518474613150282157425943395808\ 77421355189326691794776368731765892870249904693677107543549581764577\ 47491135848347855503097904515749694463172389557359416074199951289672\ 33264310480710342772029497583930516893642203477703270216682482895987\ 85470613836296263673337072935668861838852861567781706162296726246776\ 67713948949838093517845333559744780188638346143277447755996790396601\ 33636828861825148693553288364736503750128957422444615013035408225010\ 53140186493008578432415692986076233556378747142041838176958156165192\ 76941598983442120255211228292658400683044912094241181733889557954059\ 31189973066032649389130693496821996749558592306810409699481501259237\ 10240668695800211855747127763307476672393628061888454866901994947378\ 69416681288446037572293652559698567483351109934036090134537097612385\ 32776120635633158305358817378390194678618221814141682487194079615181\ 07789730624124260189295593198661370373607130601245397021387031854733\ 08023776705454534185272495758638838194841549287089294891810325039724\ 54659300343359532525253435288894396937421806738232119051070250745298\ 45410253354338581856058401663508845834746475587711693892896893780694\ 43211074197710950476687514004396342689061072010487757575367211820611\ 31776035509033059262948074837718334519307730580782884828925828306218\ 44350881895027205388556583630152117398497844435529592184072746208766\ 47252042531099128776710626864424472939722983969545895616839850073662\ 19336763628129375071399492163203113907153402193885481962196552769034\ 68048064318267600792594315650121127970390315988859098087098083873657\ 93783719144229029782898410751286531843220351828553021762576291392771\ 04253211901895131437108521665107136793088049342129762392751466676190\ 49267336768087290988654807661178295764372563740398745715195906444626\ 25179184415158224200991966960152278944314335873325465671667136437003\ 78548521388766672490713120808947533066107704402281551584060876861352\ 92038634035519518336416728936841074244386261656409376208490707570159\ 84081452633371893267094887524241171491518228512079401171504326827232\ 33118000416788840620779506515709391478519377034056484926286653267033\ 18998060073082227090993677471301970263460638598467423028942736344266\ 89852932766074580280279633965745110140761345578646004578583684247584\ 85979192660262987500199245306625748501253169274214776231811225649478\ 38984062778634149674452495849310663479471339608560805219373922893493\ 31941276672972319837983452615228898928370110589709834346251978771907\ 69007688884489605617060868222622826551161233333156083394489633486371\ 38034593799998520223775153056905586010369813121951945750209181820298\ 92712707542206218908261388213337215886381861971182701753715681581818\ 14181201775848057755144117121149501376736158664243591365037316178717\ 52515256500080512338653839899156538042756824614909538488327071986009\ 39421066751699507125660934566593625253497006624365289071891672711715\ 74529909917898587615664550485826291655422735876203091656475842695002\ 42282453612174228153959843712021248261714509376842667447471282921147\ 05380145131369147798623057436132756831801054502030155217064600011724\ 88939854481313858754906916558878995373748148630738263683631022227324\ 33089768863940169040677548135142368204519146105338445173396970580510\ 55385566424750910124216236895618897626031605034209292382738283195039\ 07053161744506761003065819450519674553483961558052735198348816975012\ 95941644404889026853891585771156547554813008870894685677955554322949\ 99809744592218157243519218541165084927734909387182937636344717224008\ 95620889682946485943523161150287667793705639400004160212594593643198\ 70281738025720807055852376754955960777219554888680055850564427828484\ 52824242929517083999344296382357861144715785239843118035748799150158\ 10949279107450867382679123859950044509836906580028945402315489580859\ 05116625570847619049245652700016512210623402444677525394797888221408\ 95192806062051460819056290121423202615290694541078366527172928255935\ 50884036302460621111497033459107824237311195119212714225138807539039\ 39890321165160046061495685889697225127993201872453036107628578199223\ 27503788203617284512081665002107890015188132294904690183966698415168\ 10155570161229112986411398537718785533525981179056775526861428167612\ 62337048024061898572740747394461581897790877528135708642330218844893\ 98425561369069239561862624172044863162833495522700173572016923466974\ 59192443357234766606591518207860787354579094158624444282709979925747\ 91158100942865349467267270823300121219719741375170754870584561402114\ 64762207046266466464354906344598662051219241071234027120395737575325\ 41253226128327580578024693625670339069880974795869819634897587432826\ 55814281680496617370535471432477500671123829736909690514564330759678\ 45150508876732890288795700694923318555666633954879243400847926791966\ 34121277080561862518122997626901149312354202989693958152202240415527\ 69035433219295928988812143028875548107068089724724840532759012614774\ 19797503356143116964195557081715133120108046080977133056200341033546\ 52504753841507289325455233952811012563296361253931653869949189968598\ 92145952898425353606696821483794211233371684808159834029728733076562\ 17401169769143959683693963563412424277672316292904128167677439540681\ 70660170576406057138410181477723745660032789547729810065780773789510\ 20790461688762680285853284304714854429201659296653691807498376310523\ 16381549587713391061201460179960284046657501277552860805898792411257\ 19635031288399587632075371382111390355171324939338027186228329722289\ 35475307621098061298021449664331731969259969112107952469697052842682\ 61286443613477317389244720998798489061960204470115154454036520920142\ 30363692091066807868861728641382057729206964595983134818288688201666\ 02729720169868054478098688204073271605382447519030279555391862486017\ 91649295787710122193896581424916900472861488404792818439983750207120\ 82371003894973736481295064333044928011383280895809641273423533808450\ 43253608472761438025103580720910711436943200320300624299738671859926\ 65859644052473517434021137121627048978840206728464351268531543775407\ 48164621917058411414930402578497204820079140460161695476462002100952\ 58750107062589050788221334724820206831842786339928030481044585317676\ 95831904049445233607241208615862088281594343719999792308596793182043\ 30797337866292191581612009806962422010844316886913761461650305204497\ 23229567161419912292797816512104499961826509514652225113127909209180\ 35850689937427490672055340828540491493974223427069231066440748166861\ 45429053467650200836401771016454328036671170054857879190386339929819\ 69840907705483800876760593439348555362276557986574306384186133172499\ 09729427816426599603775673716473954961050448937277632158727002680259\ 46658131698624150328723065254155868338470906976234199973245630123302\ 88316785525374692450435472995657609993887186082207386807807992417183\ 40948733723590532938225949949199735727932397944414003176882203124357\ 81191827138136312148340974672621457253690531417471193758898469925290\ 61560784772636671942207804094755007275839037677927594136645567088347\ 88987237388880761741490738629335673513352390548275153133783900584497\ 53611718803456626206801762675360875692804175416606953389534759445694\ 01593818096227034704138145668100136896839942815327754751065428409539\ 81781718667519320000528486413882334313037513014151209751716209624644\ 42027193368343069078019681858557124586555869702210205351135130412601\ 64334889200132494020722243188672222953934794928174124211727985509828\ 22686326680860803490781770155674669425432660749231942448856109845942\ 91019579854758036247190882559312001571987900323215881618522037689306\ 09405698169712619757906179504539838473881511786389342607087222334490\ 50299509719277430868797123579142756197895516668151872859802212157129\ 13172685126095133559899562655861301905520883818783550452666717928744\ 39328647604799043528552154470597194158292055482193889571303259058130 Can anyone beat that? -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-22 05:54 -0700 |
| Message-ID | <87068c1f-02b1-4830-b51b-37da554d83dd@googlegroups.com> |
| In reply to | #60722 |
On Wednesday, April 22, 2015 at 11:37:46 AM UTC+1, Richard Heathfield wrote: > On 22/04/15 10:50, Ben Bacarisse wrote: > > What is the largest number that the C language *guarantees* can be > represented *exactly* across *all* ISO standards, in a hosted environment? > > You may use any normal (integer) number base, but hacks are out. By > "hacks", I mean named constants (like "Graham's Number"), operators > (e.g. "^=integer power: 9^9^9^9^9^9..."), and so on. It's a C puzzle, > not a word puzzle. > If you've got N binary bits, and you need to be able to represent all the numbers int he range 0 - biggest possible, then you can't do any better than using base 2, and each bit as a symbol. You can then communicate with humans by converting to and from hex. If you only want big numbers, you can say that some of the leading bits are assumed to be set. But you only save one bit if you restrict yourself to the top half of the range. It's my question about the probability density function in disguise. There's no way of making the numbers you represent more dense as you approach infinity. You can try a fractal approach, which will give you what looks like a random number, and you can then make it arbitrarily large. But you've got to devise a new algorithm if given a different number to represent.
[toc] | [prev] | [next] | [standalone]
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Date | 2015-04-22 15:31 +0200 |
| Message-ID | <mh87op$44s$1@dont-email.me> |
| In reply to | #60722 |
On 22/04/15 12:37, Richard Heathfield wrote:
> On 22/04/15 10:50, Ben Bacarisse wrote:
>> David Brown <david.brown@hesbynett.no> writes:
>> <snip>
>>> I've always had a soft-spot for Graham's number, which I think qualifies
>>> as "seriously large". Not only can you not "represent it using logs",
>>> but it needs several layers of new notation in order to find a way to
>>> describe it.
>>>
>>> It is the best proven upper bound for the answer to a difficult
>>> combinatorics problem. But the great thing is that the actual answer to
>>> the problem is likely to be 6!
>>
>> It's always risky using ! for emphasis when talking about
>> combinatorics!! So, just be clear, you mean 6, of course, not 720.
>
> Thank you! I thought he meant 720!!!
>
>> But
>> the lower bound has been improved of late. I think it's 13 now but it's
>> still a shockingly wide range.
>
> A question with a slightly narrower range:
>
> What is the largest number that the C language *guarantees* can be
> represented *exactly* across *all* ISO standards, in a hosted environment?
>
> You may use any normal (integer) number base, but hacks are out. By
> "hacks", I mean named constants (like "Graham's Number"), operators
> (e.g. "^=integer power: 9^9^9^9^9^9..."), and so on. It's a C puzzle,
> not a word puzzle.
>
> I'll try to set a decent bar, and then let's see if it can be improved.
>
> 2.2.4.1 of C89 will appear somewhere in C90 with different numbering,
> and guarantees us an object of 32767 bytes. We are also guaranteed 127
> identifiers with block scope declared in one block. So we can use one of
> those to count the "string", so we don't need a null terminator.
>
> 2.2.1 of the same standard gives us a guarantee that we have at least 91
> different symbols we can use, so we'll work in base 91. So the highest
> number we can represent is 32767 digits of maximum value (90), giving us
> an integer equal to 91^32767 - 1, which in base ten is the following
> 64192-digit number:
I make that 100 symbols (C11 draft N1570, 5.2.1, as that's what I have
on-hand) - I think you forgot the space and control characters in the
"basic execution character set". But there could be differences between
the standards.
C11 also ups the limits to 65535 bytes in an object (for hosted
environments).
That brings us to 99...999 (with 131070 nines).
However, I don't see why we can't just have our 65535 bytes (C bytes,
not necessarily octets) as unsigned chars. That gives us 256 ^ 65535 -
1 as the maximum value, with 157824 digits (1014207253....8383538175).
But that's a rather boring problem, if we only represent numbers
directly like that. Lets allow our 65KB "object" to include C source
code as well (relying only on features of ISO C, of course). Perhaps we
should say that it must be only C source code. The problem now is not
to find the biggest number that can be represented (since it's easy to
spit out ridiculously large numbers of digits), but to find the smallest
number that /cannot/ be represented.
To get started, we should have a limit rather smaller than 65KB. With a
limit of 46 characters, I think 10 is the limit:
#include <stdio.h>
int main(void){puts("9");}
Obviously that can be extended with a 10^n - 1 being representable using
45+n characters. But when do we beat that?
>
<snip>
>
> Can anyone beat that?
>
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.mclean5@btinternet.com> |
|---|---|
| Date | 2015-04-22 06:48 -0700 |
| Message-ID | <7f5eb0d4-28e5-40cd-9d03-d7be1da09a72@googlegroups.com> |
| In reply to | #60731 |
On Wednesday, April 22, 2015 at 2:31:11 PM UTC+1, David Brown wrote:
> On 22/04/15 12:37, Richard Heathfield wrote:
>
> #include <stdio.h>
> int main(void){puts("9");}
>
> Obviously that can be extended with a 10^n - 1 being representable using
> 45+n characters. But when do we beat that?
>
> > Can anyone beat that?
>
We can allow the user to pass us a number, then pass it out.
I'm not sure if that counts as "representing the number in the program".
#include <stdio.h>
#include <ctype.h>
int main(int argc, char **argv)
{
if(argc > 1)
{
do
if(isdigit(argv[1][0]))
putchar(argv[1][0]);
while(argv[1]++[0]);
}
}
[toc] | [prev] | [next] | [standalone]
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Date | 2015-04-22 16:29 +0200 |
| Message-ID | <mh8b7c$hq1$1@dont-email.me> |
| In reply to | #60733 |
On 22/04/15 15:48, Malcolm McLean wrote:
> On Wednesday, April 22, 2015 at 2:31:11 PM UTC+1, David Brown wrote:
>> On 22/04/15 12:37, Richard Heathfield wrote:
>>
>> #include <stdio.h>
>> int main(void){puts("9");}
>>
>> Obviously that can be extended with a 10^n - 1 being representable using
>> 45+n characters. But when do we beat that?
>>
>>> Can anyone beat that?
>>
> We can allow the user to pass us a number, then pass it out.
> I'm not sure if that counts as "representing the number in the program".
I would say that is definitely not valid - the program does not
represent any number.
>
> #include <stdio.h>
> #include <ctype.h>
>
> int main(int argc, char **argv)
> {
> if(argc > 1)
> {
> do
> if(isdigit(argv[1][0]))
> putchar(argv[1][0]);
> while(argv[1]++[0]);
> }
> }
>
>
[toc] | [prev] | [next] | [standalone]
Page 11 of 15 — ← Prev page 1 … 9 10 [11] 12 13 … 15 Next page →
Back to top | Article view | comp.lang.c
csiph-web