2013-04-24T00:12:40  *** floWenoL <floWenoL!~FlowEnol@bl9-157-60.dsl.telepac.pt> has joined #aichallenge
2013-04-24T00:13:26  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has quit IRC (Quit: WeeChat 0.4.0)
2013-04-24T00:59:10  *** UncleVasya <UncleVasya!~Miranda@178-133-224-4.dialup.umc.net.ua> has joined #aichallenge
2013-04-24T01:09:30  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has quit IRC (Quit: leaving)
2013-04-24T02:21:42  *** ramn[bip-tp] is now known as ramn[bip-afk]
2013-04-24T02:27:31  *** smiley1983 <smiley1983!~smiley@115-64-6-216.static.tpgi.com.au> has quit IRC (Ping timeout: 245 seconds)
2013-04-24T02:31:15  *** mceier <mceier!~mceier@62.61.58.19> has joined #aichallenge
2013-04-24T03:20:26  *** ramn[bip-afk] is now known as ramn[bip-tp]
2013-04-24T03:33:42  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has joined #aichallenge
2013-04-24T03:38:36  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has left #aichallenge
2013-04-24T03:51:00  *** coeus <coeus!~coeus@dslb-084-061-019-090.pools.arcor-ip.net> has joined #aichallenge
2013-04-24T03:57:32  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has joined #aichallenge
2013-04-24T03:59:15  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has quit IRC (Remote host closed the connection)
2013-04-24T03:59:31  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has joined #aichallenge
2013-04-24T04:07:34  *** UncleVasya <UncleVasya!~Miranda@178-133-224-4.dialup.umc.net.ua> has quit IRC (Ping timeout: 252 seconds)
2013-04-24T04:15:04  *** RagingDave <RagingDave!~RagingDav@dslb-188-097-072-147.pools.arcor-ip.net> has joined #aichallenge
2013-04-24T04:15:37  *** Quix0te <Quix0te!~Quix0te@unaffiliated/quix0te> has quit IRC ()
2013-04-24T05:16:04  *** Cyndre <Cyndre!~Cyndre@DOCSIS-189-107.lynxnet.ca> has quit IRC (Quit: Leaving)
2013-04-24T05:58:42  *** UncleVasya <UncleVasya!~Miranda@31.144.184.203> has joined #aichallenge
2013-04-24T06:00:43  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@adsl-66-141-23-216.dsl.hstntx.swbell.net> has quit IRC (Remote host closed the connection)
2013-04-24T06:01:30  *** epicmonkey <epicmonkey!~epicmonke@89.22.50.60> has joined #aichallenge
2013-04-24T06:07:37  *** coeus <coeus!~coeus@dslb-084-061-019-090.pools.arcor-ip.net> has quit IRC (Ping timeout: 268 seconds)
2013-04-24T06:39:19  *** AlliedEnvy <AlliedEnvy!~AlliedEnv@adsl-66-141-23-216.dsl.hstntx.swbell.net> has joined #aichallenge
2013-04-24T07:55:12  *** ramn[bip-tp] is now known as ramn[bip-afk]
2013-04-24T07:59:57  *** ramn[bip-afk] is now known as ramn[bip-tp]
2013-04-24T09:57:53  *** thestinger <thestinger!~strcat@archlinux/trusteduser/thestinger> has joined #aichallenge
2013-04-24T10:13:47  <antimatroid1> Let H be a subgroup. Is the set of left cosets equal to the set of right cosets for some subgroup, or do we merely have that each left coset is a right coset for some subgroup?
2013-04-24T10:14:34  <antimatroid1> woops wrong channel
2013-04-24T10:44:54  *** HornyReaper <HornyReaper!~patrick@mar92-19-78-248-89-109.fbx.proxad.net> has joined #aichallenge
2013-04-24T10:54:00  *** mceier <mceier!~mceier@62.61.58.19> has quit IRC (Quit: leaving)
2013-04-24T11:25:10  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-04-24T11:25:59  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-04-24T11:27:41  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-04-24T11:27:47  *** HornyReaper <HornyReaper!~patrick@mar92-19-78-248-89-109.fbx.proxad.net> has quit IRC (Ping timeout: 252 seconds)
2013-04-24T12:00:23  *** Wren80[work]_ <Wren80[work]_!~kristoffe@213.132.112.86> has joined #aichallenge
2013-04-24T12:03:48  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has quit IRC (Ping timeout: 264 seconds)
2013-04-24T12:03:49  *** Wren80[work]_ is now known as Wren80[work]
2013-04-24T12:07:38  *** epicmonkey <epicmonkey!~epicmonke@89.22.50.60> has quit IRC (Ping timeout: 245 seconds)
2013-04-24T12:14:39  *** Quix0te <Quix0te!~Quix0te@unaffiliated/quix0te> has joined #aichallenge
2013-04-24T12:15:46  *** ramn[bip-tp] is now known as ramn[bip-afk]
2013-04-24T12:24:54  *** mceier <mceier!~mceier@89-69-201-93.dynamic.chello.pl> has joined #aichallenge
2013-04-24T12:27:55  *** Wren80[work] <Wren80[work]!~kristoffe@213.132.112.86> has quit IRC (Quit: Wren80[work])
2013-04-24T13:27:47  *** UncleVasya <UncleVasya!~Miranda@31.144.184.203> has quit IRC (Read error: Connection reset by peer)
2013-04-24T13:31:38  *** UncleVasya <UncleVasya!~Miranda@31-12-189-124.dialup.umc.net.ua> has joined #aichallenge
2013-04-24T14:37:33  *** Wren80[work] <Wren80[work]!~kristoffe@h-139-7.a176.priv.bahnhof.se> has joined #aichallenge
2013-04-24T14:54:54  *** Wren80[work] <Wren80[work]!~kristoffe@h-139-7.a176.priv.bahnhof.se> has quit IRC (Quit: Wren80[work])
2013-04-24T15:30:20  *** UncleVasya <UncleVasya!~Miranda@31-12-189-124.dialup.umc.net.ua> has quit IRC (Ping timeout: 252 seconds)
2013-04-24T15:41:56  *** HornyReaper <HornyReaper!~patrick@mar92-19-78-248-89-109.fbx.proxad.net> has joined #aichallenge
2013-04-24T16:09:18  *** HornyReaper <HornyReaper!~patrick@mar92-19-78-248-89-109.fbx.proxad.net> has quit IRC (Quit: Ex-Chat)
2013-04-24T16:35:27  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has joined #aichallenge
2013-04-24T17:10:35  *** coeus <coeus!~coeus@dslb-084-061-019-090.pools.arcor-ip.net> has joined #aichallenge
2013-04-24T17:45:04  *** RagingDave <RagingDave!~RagingDav@dslb-188-097-072-147.pools.arcor-ip.net> has quit IRC (Quit: Ex-Chat)
2013-04-24T19:20:30  *** Scooper <Scooper!~Scooper@cm-84.208.69.8.getinternet.no> has quit IRC (Quit: Leaving)
2013-04-24T19:35:56  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-04-24T19:35:56  *** ChanServ sets mode: +o amstan
2013-04-24T19:46:14  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-04-24T20:20:03  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 276 seconds)
2013-04-24T21:30:41  *** amstan <amstan!~alex@aichallenge/admin/amstan> has joined #aichallenge
2013-04-24T21:30:41  *** ChanServ sets mode: +o amstan
2013-04-24T22:02:16  *** amstan <amstan!~alex@aichallenge/admin/amstan> has quit IRC (Ping timeout: 258 seconds)
2013-04-24T22:29:00  *** antimatroidl <antimatroidl!~Adium@153.115-27-211.dynamic.dsl.mel.iprimus.net.au> has joined #aichallenge
2013-04-24T23:05:06  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)
2013-04-24T23:08:23  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has joined #aichallenge
2013-04-24T23:09:23  *** sigh <sigh!~sigh@ppp114-153.static.internode.on.net> has quit IRC (Remote host closed the connection)