2012-07-23T00:02:00  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Quit: Konversation terminated!)
2012-07-23T00:35:30  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-23T01:15:23  *** mceier <mceier!~mceier@89-77-239-61.dynamic.chello.pl> has quit IRC (Quit: leaving)
2012-07-23T01:22:08  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has quit IRC (Ping timeout: 260 seconds)
2012-07-23T01:24:23  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-23T01:24:35  *** Chris_0076 <Chris_0076!~Chris_007@adsl-98-66-254-63.asm.bellsouth.net> has quit IRC (Read error: Connection reset by peer)
2012-07-23T01:25:08  *** Chris_0076 <Chris_0076!~Chris_007@adsl-98-66-254-63.asm.bellsouth.net> has joined #aichallenge
2012-07-23T02:30:22  *** mceier <mceier!~mceier@62.61.58.19> has joined #aichallenge
2012-07-23T02:51:18  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.211> has joined #aichallenge
2012-07-23T03:27:33  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.211> has quit IRC (Ping timeout: 260 seconds)
2012-07-23T04:14:47  *** Surya <Surya!53caa7bc@gateway/web/freenode/ip.83.202.167.188> has joined #aichallenge
2012-07-23T04:15:11  *** Surya is now known as Guest96220
2012-07-23T04:15:25  *** mviel <mviel!~mviel@90.42.71.86.rev.sfr.net> has joined #aichallenge
2012-07-23T04:31:56  *** epicmonkey <epicmonkey!~epicmonke@host-224-60.dataart.net> has joined #aichallenge
2012-07-23T04:56:25  *** kilae <kilae!~chatzilla@catv-161-018.tbwil.ch> has joined #aichallenge
2012-07-23T05:06:33  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has joined #aichallenge
2012-07-23T05:14:54  *** mceier <mceier!~mceier@62.61.58.19> has quit IRC (Ping timeout: 260 seconds)
2012-07-23T05:29:29  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2012-07-23T06:04:36  *** mceier <mceier!~mceier@62.61.58.19> has joined #aichallenge
2012-07-23T06:08:27  *** smj <smj!~janne@dsl-roibrasgw1-fe88fb00-179.dhcp.inet.fi> has joined #aichallenge
2012-07-23T06:08:28  *** smj <smj!~janne@pdpc/supporter/student/kosiini> has joined #aichallenge
2012-07-23T06:21:58  *** NoxiaZ^ <NoxiaZ^!~noxi@87-104-29-39-dynamic-customer.profibernet.dk> has joined #aichallenge
2012-07-23T06:23:32  *** pairofdice <pairofdice!~pod@dsl-hkibrasgw2-fed3df00-232.dhcp.inet.fi> has joined #aichallenge
2012-07-23T06:31:22  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has quit IRC (Quit: Leaving.)
2012-07-23T06:31:30  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-23T06:40:01  *** antimatroid <antimatroid!~nick@107.105.dsl.mel.iprimus.net.au> has quit IRC (Ping timeout: 245 seconds)
2012-07-23T07:02:54  *** antimatroid <antimatroid!~nick@68.316.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-23T07:37:29  *** HaraKiri <HaraKiri!~hara@g224181050.adsl.alicedsl.de> has joined #aichallenge
2012-07-23T07:39:52  *** elfangor <elfangor!~capitalda@mtl93-15-83-157-72-100.fbx.proxad.net> has joined #aichallenge
2012-07-23T08:08:48  *** Scooper <Scooper!~Scooper@213.157.251.212.customer.cdi.no> has joined #aichallenge
2012-07-23T08:10:02  *** elfangor <elfangor!~capitalda@mtl93-15-83-157-72-100.fbx.proxad.net> has quit IRC (*.net *.split)
2012-07-23T08:10:03  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC (*.net *.split)
2012-07-23T08:10:03  *** Apophis_ <Apophis_!~apophis@80-218-68-103.dclient.hispeed.ch> has quit IRC (*.net *.split)
2012-07-23T08:10:29  *** mcstar <mcstar!~mcstar@adsl-89-135-200-18.monradsl.monornet.hu> has joined #aichallenge
2012-07-23T08:10:34  *** elfangor <elfangor!~capitalda@mtl93-15-83-157-72-100.fbx.proxad.net> has joined #aichallenge
2012-07-23T08:10:34  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-23T08:10:34  *** Apophis_ <Apophis_!~apophis@80-218-68-103.dclient.hispeed.ch> has joined #aichallenge
2012-07-23T08:12:36  <mcstar> antimatroid: did you see what i wrote after you went to bed?
2012-07-23T08:13:24  <antimatroid> yeah but i haven't played with it again yet sorry
2012-07-23T08:14:32  <mcstar> ok, np
2012-07-23T08:14:49  <mcstar> its just that it looked much simpler than the union of 3 sets
2012-07-23T08:15:17  <mcstar> part of it is easy to prove from integer partitions
2012-07-23T08:16:06  <mcstar> why you need to add (2n)%3 to the previous set, is a bit trickier
2012-07-23T08:16:28  <mcstar> im busy too, so didnt give it much thought
2012-07-23T08:22:00  *** elfangor <elfangor!~capitalda@mtl93-15-83-157-72-100.fbx.proxad.net> has quit IRC (*.net *.split)
2012-07-23T08:22:00  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC (*.net *.split)
2012-07-23T08:22:00  *** Apophis_ <Apophis_!~apophis@80-218-68-103.dclient.hispeed.ch> has quit IRC (*.net *.split)
2012-07-23T08:22:51  *** elfangor <elfangor!~capitalda@mtl93-15-83-157-72-100.fbx.proxad.net> has joined #aichallenge
2012-07-23T08:22:51  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-23T08:22:51  *** Apophis_ <Apophis_!~apophis@80-218-68-103.dclient.hispeed.ch> has joined #aichallenge
2012-07-23T09:07:52  *** amstan__ <amstan__!~alex@aichallenge/admin/amstan> has joined #aichallenge
2012-07-23T09:07:53  *** ChanServ sets mode: +o amstan__
2012-07-23T09:11:56  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has quit IRC (Ping timeout: 252 seconds)
2012-07-23T09:29:02  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC (Ping timeout: 240 seconds)
2012-07-23T09:29:06  *** HaraKiri <HaraKiri!~hara@g224181050.adsl.alicedsl.de> has quit IRC ()
2012-07-23T09:31:39  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has joined #aichallenge
2012-07-23T09:33:18  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-23T10:12:59  *** loglog <loglog!~loglog@ec2-23-22-19-79.compute-1.amazonaws.com> has quit IRC (Ping timeout: 260 seconds)
2012-07-23T10:19:22  *** loglog <loglog!~loglog@ec2-23-22-19-79.compute-1.amazonaws.com> has joined #aichallenge
2012-07-23T10:27:42  *** mceier <mceier!~mceier@62.61.58.19> has quit IRC (Quit: leaving)
2012-07-23T11:39:40  *** choas <choas!~lars@pD9FCD7DB.dip.t-dialin.net> has joined #aichallenge
2012-07-23T11:55:45  *** mceier <mceier!~mceier@89-77-239-61.dynamic.chello.pl> has joined #aichallenge
2012-07-23T11:57:12  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2012-07-23T12:03:52  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2012-07-23T12:03:52  *** ChanServ sets mode: +o amstan
2012-07-23T12:06:28  *** amstan__ <amstan__!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 252 seconds)
2012-07-23T12:09:04  *** epicmonkey <epicmonkey!~epicmonke@host-224-60.dataart.net> has quit IRC (Ping timeout: 260 seconds)
2012-07-23T12:26:52  *** janzert <janzert!~janzert@97-83-125-49.dhcp.trcy.mi.charter.com> has quit IRC (Read error: Connection reset by peer)
2012-07-23T12:28:25  *** janzert <janzert!~janzert@97-83-125-49.dhcp.trcy.mi.charter.com> has joined #aichallenge
2012-07-23T12:30:11  *** cyphase <cyphase!~cyphase@unaffiliated/cyphase> has quit IRC (Ping timeout: 246 seconds)
2012-07-23T12:30:11  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@adsl-68-88-235-168.dsl.hstntx.swbell.net> has quit IRC (Ping timeout: 246 seconds)
2012-07-23T12:30:32  *** jmcarthur <jmcarthur!~jake@pool-108-46-79-47.nycmny.fios.verizon.net> has quit IRC (Ping timeout: 246 seconds)
2012-07-23T12:43:27  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@adsl-68-88-235-168.dsl.hstntx.swbell.net> has joined #aichallenge
2012-07-23T12:44:21  *** jmcarthur <jmcarthur!~jake@pool-108-46-79-47.nycmny.fios.verizon.net> has joined #aichallenge
2012-07-23T12:46:18  *** cyphase <cyphase!~cyphase@unaffiliated/cyphase> has joined #aichallenge
2012-07-23T13:05:08  *** X-Scale <X-Scale!name@2001:470:1f14:135b::2> has joined #aichallenge
2012-07-23T13:27:14  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has joined #aichallenge
2012-07-23T14:28:37  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has quit IRC (Ping timeout: 240 seconds)
2012-07-23T14:44:06  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Quit: Konversation terminated!)
2012-07-23T15:29:23  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has joined #aichallenge
2012-07-23T15:57:14  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has quit IRC ()
2012-07-23T16:23:02  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.211> has joined #aichallenge
2012-07-23T16:38:27  *** HaraKiri <HaraKiri!~hara@d119008.adsl.hansenet.de> has joined #aichallenge
2012-07-23T16:44:34  *** Accoun <Accoun!~1@static-213-88-39-97.chebnet.ru> has joined #aichallenge
2012-07-23T16:50:34  *** KP13 <KP13!~Kingpin13@Wikipedia/Kingpin13> has joined #aichallenge
2012-07-23T16:51:16  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has quit IRC (Disconnected by services)
2012-07-23T16:51:22  *** KP13 is now known as Kingpin13
2012-07-23T17:06:48  *** pairofdice <pairofdice!~pod@dsl-hkibrasgw2-fed3df00-232.dhcp.inet.fi> has quit IRC (Quit: In girum imus nocte et consumimur igni.)
2012-07-23T17:14:52  *** KP13 <KP13!~Kingpin13@Wikipedia/Kingpin13> has joined #aichallenge
2012-07-23T17:15:05  *** kilae <kilae!~chatzilla@catv-161-018.tbwil.ch> has quit IRC (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347])
2012-07-23T17:15:31  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has quit IRC (Disconnected by services)
2012-07-23T17:15:38  *** KP13 is now known as Kingpin13
2012-07-23T17:49:19  *** mcstar <mcstar!~mcstar@adsl-89-135-200-18.monradsl.monornet.hu> has quit IRC (Quit: mcstar)
2012-07-23T17:50:52  *** choas <choas!~lars@pD9FCD7DB.dip.t-dialin.net> has quit IRC (Ping timeout: 245 seconds)
2012-07-23T18:20:11  *** antimatroid <antimatroid!~nick@68.316.dsl.mel.iprimus.net.au> has quit IRC (Quit: Leaving.)
2012-07-23T18:20:20  *** antimatroid <antimatroid!~nick@68.316.dsl.mel.iprimus.net.au> has joined #aichallenge
2012-07-23T18:22:03  *** X-Scale <X-Scale!name@2001:470:1f14:135b::2> has quit IRC (Ping timeout: 272 seconds)
2012-07-23T18:26:31  *** X-Scale <X-Scale!name@2001:470:1f14:135b::2> has joined #aichallenge
2012-07-23T18:26:55  *** X-Scale is now known as Guest88930
2012-07-23T18:28:48  *** Guest88930 is now known as X-Scale
2012-07-23T18:33:12  *** Kingpin13 <Kingpin13!~Kingpin13@Wikipedia/Kingpin13> has quit IRC (Quit: quit)
2012-07-23T18:40:53  *** epicmonkey <epicmonkey!~epicmonke@188.134.41.211> has quit IRC (Ping timeout: 248 seconds)
2012-07-23T18:53:53  *** HaraKiri <HaraKiri!~hara@d119008.adsl.hansenet.de> has quit IRC ()
2012-07-23T19:24:27  *** Scooper <Scooper!~Scooper@213.157.251.212.customer.cdi.no> has quit IRC (Quit: Leaving)
2012-07-23T19:24:57  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2012-07-23T19:24:58  *** ChanServ sets mode: +o amstan
2012-07-23T19:35:14  *** smj <smj!~janne@pdpc/supporter/student/kosiini> has quit IRC (Ping timeout: 252 seconds)
2012-07-23T21:30:06  *** Cyndre_ <Cyndre_!~Cyndre@DOCSIS-182-133.cable-lynx.net> has quit IRC (Quit: Leaving)
2012-07-23T21:34:54  *** ZanniqlcKzxkq <ZanniqlcKzxkq!~mick@aichallenge/admin/zannick> has joined #aichallenge
2012-07-23T21:35:31  *** Zannick <Zannick!~mick@aichallenge/admin/zannick> has quit IRC (Disconnected by services)
2012-07-23T21:35:35  *** ZanniqlcKzxkq is now known as Zannick
2012-07-23T21:43:17  *** NoxiaZ^ <NoxiaZ^!~noxi@87-104-29-39-dynamic-customer.profibernet.dk> has quit IRC (Ping timeout: 248 seconds)
2012-07-23T22:06:41  *** janzert1 <janzert1!~janzert@97-83-125-49.dhcp.trcy.mi.charter.com> has joined #aichallenge
2012-07-23T22:06:56  *** janzert <janzert!~janzert@97-83-125-49.dhcp.trcy.mi.charter.com> has quit IRC (Read error: Connection reset by peer)
2012-07-23T22:07:02  *** AlbireoX <AlbireoX!~simplyian@99-136-83-34.lightspeed.rcsntx.sbcglobal.net> has quit IRC (Read error: Connection reset by peer)
2012-07-23T22:07:07  *** AlbireoX__ <AlbireoX__!~simplyian@99-136-83-34.lightspeed.rcsntx.sbcglobal.net> has joined #aichallenge
2012-07-23T22:07:19  *** jmcarthur <jmcarthur!~jake@pool-108-46-79-47.nycmny.fios.verizon.net> has quit IRC (Ping timeout: 264 seconds)
2012-07-23T22:08:16  *** jmcarthur <jmcarthur!~jake@pool-108-46-79-47.nycmny.fios.verizon.net> has joined #aichallenge
2012-07-23T22:08:44  *** MuTaLiSk <MuTaLiSk!~ViT@0x4dd7b24d.adsl.cybercity.dk> has joined #aichallenge
2012-07-23T22:09:16  *** foRei <foRei!~ViT@0x4dd7b24d.adsl.cybercity.dk> has quit IRC (Read error: Operation timed out)
2012-07-23T22:27:30  *** AlbireoX__ is now known as AlbireoX
2012-07-23T23:40:07  *** MuTaLiSk <MuTaLiSk!~ViT@0x4dd7b24d.adsl.cybercity.dk> has quit IRC (Quit: Bye)