< 1060823758 0 :lament!unknown@unknown.invalid QUIT :"leaving" < 1060837616 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060837628 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060845735 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060845741 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060847024 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060847048 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060847999 0 :clog!unknown@unknown.invalid QUIT :ended < 1060848000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1060848252 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060848277 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060861000 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060861006 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060863560 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060863584 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060867927 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060867939 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060874944 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1060874948 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1060883705 0 :lament!~lament@h24-87-69-52.vc.shawcable.net JOIN :#esoteric < 1060896205 0 :lament!unknown@unknown.invalid QUIT :"Lost terminal" < 1060896327 0 :lament!~lament@h24-87-69-52.vc.shawcable.net JOIN :#esoteric < 1060900082 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :woohoo < 1060900094 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :Whaahaat? < 1060900097 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i proved the [l.count(x) == l[x] for x in range(len(l))] thing < 1060900118 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately this channel is too small for me to write it down. < 1060900138 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :Riight. < 1060900461 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :I proved that there's only one solution for len(l) > 7 < 1060900475 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :(for every len) < 1060900494 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :For every function? < 1060900508 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :um. < 1060900519 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no! < 1060900520 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :That's wild, man.. I'd expect it to be for every len(l). < 1060900527 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ha. < 1060900534 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1060900551 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :for every N. < 1060900577 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :for every N there's only one l such as that len(l) == N and [l.count(x) == l[x] for x in range(N)] < 1060900583 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Where N > 6. < 1060900719 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :(THIS is why i haven't written down the proof) < 1060900750 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :Because you find it difficult to express yourself in precise terms? :P < 1060900760 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1060900778 0 :Taaus!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1060900781 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Math just isn't woozy enough. < 1060901001 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Nor fuzzy! < 1060901010 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Mathematicians can only think inside the box!