00:06:15 -!- Wallacoloo has quit (Ping timeout: 272 seconds). 00:22:41 -!- boily has joined. 00:28:09 `wisdom 00:28:10 mathematimu/A mathematimu is a quantum of mathematics. If you observe it, its codepoint can change. 00:28:25 `culprits wisdom/mathematimu 00:28:26 boily 00:28:36 boily: Good evening. 00:30:09 huh? I wrote mathematimu??? 00:30:18 bonshachafoir. 00:30:33 `` hg log --removed wisdom/mathematimu 00:30:34 changeset: 4619:8de6e5355a40 \ user: HackBot \ date: Mon Apr 28 21:52:11 2014 +0000 \ summary: ` echo \'A mathematimu is a quantum of mathematics. If you observe it, its codepoint can change.\' >wisdom/mathematimu 00:30:38 netcraft confirms it 00:31:10 oh well. if it is so, it is so. 00:32:44 `wisdom 00:32:45 accounting/ = 0 00:33:06 `wisdom 00:33:07 brainf**k/There is no such thing as brainf**k. You may be thinking of brainfuck. 00:33:15 `wisdom 00:33:16 who/Who cares about ancient cases anyway? 00:33:22 `wisdom 00:33:23 braid theory/Braid theory is the extremely twisted theory of braids. 00:34:05 `? AmigaMML 00:34:05 Only fools such as zzo38 and so on try to use AmigaMML on a PC. Real Men try to use AmigaMML on a Amiga computer. \ https://devlabs.linuxassist.net/projects/amigamml/wiki/Frequently_and_unfrequently_asked_questions 00:34:17 `wisdom 00:34:18 indexed monad/Indexed monads are just monads on an indexed category. \ Indexed monads are just categories enriched over the monoidal category of endofunctors. 00:34:19 Let's see what wisdom the neural nets have for us today. 00:36:42 * tswett samples the net and searches it for wise things. 00:37:40 `` cat emoticons/gaaan 00:37:43 ｶﾞ~(ﾟﾛﾟ;)~ﾝ 00:37:50 ... 00:37:52 ...??? 00:38:19 `wisdom 00:38:20 nortti/nortti boy. very nortti boy. 00:38:23 `wisdom 00:38:24 pietbot/Pietbot is the only thing that can defeat fungot. 00:38:27 `wisdom 00:38:27 This looks pretty wise: 00:38:28 ngevd/ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also tswett‼ 00:38:29 19:10:42: And it on such quite with some remember piece as which has mUring 00:38:45 Have we ever had a person called Dulnes? 00:38:53 `wisdom 00:38:54 mdude/MDude is just a dude, with an M's courage. 00:39:05 Holy cow, Dulnes shows up twice in near succession. They must be a real person. 00:39:22 tswellott. they are a real person. 00:39:32 Yeah, I looked it up. Dulnes is definitely real. 00:41:09 -!- GeekDude has joined. 00:41:24 yeah. Dulnes was on when I first joined 00:41:28 `? thwackamacallit 00:41:29 A thwackamacallit is like a whatchamacallit, but more painful. See mapole. 00:42:37 07:44:06: instead if implementation: with an adures to do in the laptopie sense Are what I can't change if you make it nice 00:42:38 Very wise. 00:42:56 `wisdom 00:42:57 ursala/~&al?\~&ar ~&aa^&~&afahPRPfafatPJPRY+ ~&farlthlriNCSPDPDrlCS2DlrTS2J,^|J/~& ~&rt!=+ ^= ~&s+ ~&H(-+.|=&lrr;,|=&lrl;,|=≪+-, ~&rgg&& ~&irtPFXlrjrXPS; ~&lrK2tkZ2g&& ~&llrSL2rDrlPrrPljXSPTSL)+-, 00:43:05 `culprits wisdom/ursala 00:43:07 oerjan elliott oerjan olsner 00:43:09 `wisdom 00:43:09 funciton/A funciton is the number of burgers to eat when I get one. 00:43:15 `wisdom 00:43:16 mapole/A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. 00:45:09 ♪ BONG ♪ new version! 00:47:07 `wisdom 00:47:07 comedogenic/comedogenic is something that causes comedy when applied to the skin, e.g. an accelerated cream pie in parabolic motion. 00:47:17 `wisdom 00:47:18 diet/People go on diets to loose weight instead of gaining. It gives them a consistant diet. 00:47:32 `culrpits wisdom/diet 00:47:32 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culrpits: not found 00:47:39 `culprits wisdom/diet # scow 00:47:40 No output. 00:47:41 Oops. 00:47:45 `culprits wisdom/comedogenic 00:47:46 oerjan elliott Bike FreeFull boily 00:47:47 Drat and double drat. 00:48:05 gosh darn it to fungot, eh? 00:48:05 boily: well i didnt cum on calamari's face facts, and realise that you're going to insist scheme doesn't have the compiled/ interpreted split personality issues like gambit, bigloo significantly, and has an execution cutoff to halt after a specific number of moves 00:48:14 fungot: EW! 00:48:14 boily: you work with syntax in plt's module system that sort of system. 00:48:27 am i missing a pun? 00:48:31 fungot: no I don't, you depraved pervert! 00:48:31 boily: i didn't know that works in wine, right? :) 00:48:36 -!- oerjan has joined. 00:48:48 shachaf: fungot has sexual activities with tentacled sea creatures. 00:48:48 boily: there's also infinite " other instructions". the weird thing is they use the same identifier in patterns ( which is horrible. you need to 00:48:49 oerjan: any reason not to s/oo/o/? 00:48:55 hellørjan! 00:49:14 wat 00:49:25 ankor? 00:49:37 *+g 00:51:55 shachaf: well for one thing there are no oos around hth 00:52:12 `? diet 00:52:13 People go on diets to loose weight instead of gaining. It gives them a consistant diet. 00:52:25 i guess i am 00:52:28 consistant 00:52:31 what's all this 00:52:37 `culprits wisdom/diet 00:52:38 oerjan elliott oerjan FireFly 00:53:16 I think I need to figure out if I can make weechat not highlight me when there's formatting characters in the nick 00:53:40 Also I can't remember editing that, huh 00:54:37 `` hg log --removed wisdom/diet | grep summary | tail -n1 00:54:40 summary: learn diets People go on diets to loose weight instead of gaining. It gives them a consistant diet. 00:54:48 shachaf: i am pretty sure FireFly is the one to ask hth 00:55:00 oerjan: you touched it last hth 00:55:17 I have a feeling the misspellings reference something in the channel at the point of creation 00:55:26 `wisdom 00:55:26 shachaf: only trivially http://codu.org/projects/hackbot/fshg/index.cgi/log/03ab4bf21ad7/wisdom/diet 00:55:27 cyberdrone/cyberdrone is a drone flying in cyberspace. 00:55:33 CHI 0-0 TBL 1P over 00:55:37 FireFly: me too 00:55:38 but it should probably be removed; it seems silly 00:55:40 `wisdom 00:55:41 burlesque/Burlesque is only the sexiest language on Earth. (See: http://mroman.ch/burlesque) 00:55:54 FireFly: can't have silly things in wisdom/ 00:55:56 `wisdom 00:55:57 fomething/fomething denotes the obsolescence of clinical insanity. 00:56:06 `wisdom 00:56:07 category/Categories are just a special case of bicategories. 00:56:34 http://codu.org/logs/log/_esoteric/2014-02-19#231954metasepia 00:56:37 hth 00:56:54 I feel less bad now 00:58:20 `quote 1 00:58:24 1) EgoBot just opened a chat session with me to say "bork bork bork" 00:58:44 `wisdom 1 00:58:45 lifthrasiir/lifthrasiir is shunned by the rest of his country for being no good at League of Legends. 00:59:00 `wisdom 2 00:59:01 lorem ipsum/Business Internet the it China Product Product NATO 00:59:07 `wisdom 3 00:59:08 .doorstop/You do not have the clearance necessary to view this entry. 00:59:09 `wisdom 4 00:59:10 kallisti/kallisti is a former prophet swearing off his pastry deity. 00:59:15 `wisdom 5 00:59:15 botlop/botlops are the core of botsentiences. Sapience is scheduled for the next release. 00:59:31 `wisdom takes a parameter? 00:59:40 @quote Jafet unsafeCoerce 00:59:40 Jafet says: unsafeCoerce takes any argument. AND IT WINS THAT ARGUMENT. 01:00:44 but at what PRICE Jafet 01:00:52 -!- Phantom_Hoover has joined. 01:01:59 `? unsafeCoerce 01:01:59 unsafeCoerce? ¯\(°_o)/¯ 01:02:22 is unsafeCoerce basically a pointer cast? it sounds like it could be one? 01:02:34 oren, more or less I think 01:02:44 Phellontom_Hoover. helloren. FireFelloy. Tanelle. 01:02:45 There are some weirdities with the garbage collector though 01:03:10 :t unsafeCoerce 01:03:11 Not in scope: ‘unsafeCoerce’ 01:03:16 oops 01:03:18 oren: it's an evil Haskell function. it does evil things to types. 01:03:30 :t Unsafe.Coerce.unsafeCoerce 01:03:31 a -> b 01:03:35 `wisdom 01:03:36 esoteric/This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. 01:03:57 `wisdom 01:03:58 lens/A lens is just a store comonad coalgebra. 01:04:05 `wisdom 01:04:06 whom/See: who 01:04:21 Now I know 01:04:34 `wisdom 01:04:35 freefull/FreeFull is either full of freedom or free of fulldom, we are not sure. 01:04:39 `wisdom 01:04:40 doodad/Doodads are just duoids in the category of endofunctors. 01:04:59 `wisdom 01:05:00 `?/`? ¯\(°_o)/¯ 01:05:18 `wisdom 01:05:19 kill/ 01:05:21 fowl: I didn't porthello you. fellowl. 01:05:27 `wisdom 01:05:28 category-helpdesk/category-helpdesk is a helpdesk with identity and composition. This channel isn't it. 01:05:46 `culprits wisdom/category-helpdesk 01:05:47 oerjan elliott Bike FreeFull boily 01:06:09 boily: wat 01:06:16 `wisdom 01:06:17 til/TIL that TIL means Today I Learned 01:06:28 `` ls wisdom/*ello* 01:06:29 wisdom/cello \ wisdom/hello 01:06:36 `? hello 01:06:37 hello hello hello, what's all this then? 01:06:40 oerjan: Is that what TIL means in Norwegian? twh 01:06:43 Wait 01:06:45 hmm... what was it again? 01:06:45 `wisdom 01:06:46 finnish/Finnish suomalaiset ei Perkeleistä on hakkapeliittaan. Ei saa peittää. Parasta ennen! 01:06:47 Why didn't that message highlight me 01:06:51 `? cello 01:06:52 The high level stucture of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/. 01:06:54 It had my nick in it 01:07:04 fowl: it's a hello portmanteau. a porthello, if you wish. 01:07:14 Is hackego doing something funky like inserting ^O in the middle of the nicks? 01:07:33 `? boily 01:07:34 boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. 01:07:38 `unidecode FreeFull 01:07:39 [U+0020 SPACE] [U+0046 LATIN CAPITAL LETTER F] [U+0072 LATIN SMALL LETTER R] [U+0065 LATIN SMALL LETTER E] [U+0065 LATIN SMALL LETTER E] [U+0046 LATIN CAPITAL LETTER F] [U+0075 LATIN SMALL LETTER U] [U+006C LATIN SMALL LETTER L] [U+006C LATIN SMALL LETTER L] 01:08:00 It does not seem like it 01:08:01 This is odd 01:08:20 Taneb: Your message did highlight me 01:08:35 `culprits wisdom/category-helpdesk 01:08:36 oerjan elliott Bike FreeFull boily 01:08:37 shachaf: no:til = en:to, hth 01:08:39 And that doesn't 01:08:42 But the danger was past -- they had landed at last, / With their boxes, portmanteaus, and bags: / Yet at first sight the crew / Were not pleased with the view, / Which consisted to chasms and crags. 01:09:16 oerjan: except when it's en:for? 01:09:18 `wisdom 01:09:20 misspellings of croissant/misspellings of crosant? ¯\(°_o)/¯ 01:09:27 FreeFull: I'm being pinged. 01:09:30 or en:of 01:09:32 boily: Weird 01:09:35 en:of is en:of 01:09:38 And sorry about pinging you 01:09:43 `culprits wisdom/Taneb 01:09:45 No output. 01:09:46 (also, being crawled upon by an adventurous ant. it tickles. go away, ant.) 01:09:50 `culprits wisdom/taneb 01:09:51 Taneb oerjan oerjan elliott shachaf boily oerjan ais523 ais523 shachaf elliott FreeFull shachaf shachaf oerjan oerjan FreeFull oerjan FreeFull Taneb shachaf shachaf nitia 01:10:01 Eventually I want to make a bot called "autochat" which predicts what people would say and talks on their behalf. 01:10:02 That starts pinging me then gives up 01:10:02 What is pl:powyłamywane? 01:10:08 I think it is messing with my client 01:10:17 * boily mapoles shachaf for the vile pun 01:11:00 FreeFull: according to Google, it's en:powyłamywane. 01:11:55 boily: Google clearly doesn't know its stuff 01:12:21 shachaf: i'm not sure exactly when it would be en:for 01:12:40 shachaf: oh hm mail perhaps 01:12:45 -!- trout has quit (Ping timeout: 272 seconds). 01:13:09 http://blogs.transparent.com/norwegian/the-norwegian-word-til/ 01:14:28 til? today I learned? 01:14:39 til til is til. 01:15:45 `wisdom 01:15:46 ssstosis/ssstosis is a disease causing false identities 01:15:46 `? til 01:15:47 TIL that TIL means Today I Learned 01:15:55 `wisdom 01:15:56 hipchat/hipchat is a chat where you can communicate solely by using meme-emoticons but shouldn't. 01:15:57 `wisdom 01:15:58 color/Color is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulh 01:16:02 `wisdom 01:16:03 hand/A hand in the bush is better than a stoned bird. 01:16:05 `? till 01:16:05 till? ¯\(°_o)/¯ 01:16:24 `ls wisdom 01:16:24 As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead. 01:16:34 Ah, good point 01:16:38 I'll be so great. It'll act just like fungot, responding exactly when its nick is mentioned, but it'll have a "personality" setting you can use to make it imitate any person. 01:16:38 tswett: it makes sense 01:17:15 Dammit HackEgo, I'm doing it in private now 01:17:20 Why are you giving the same message 01:17:27 You wouldn't be restricted to people who have actually ever spoken. You could set the personality to "boiljan" and it would figure out how a person would speak if they had that nick. 01:17:53 `wisdom 01:17:54 c#/C Pound is Java's good twin. 01:17:55 ^^ 01:18:04 tswett: great idea! :D 01:18:44 while set to boiljan, it should speak in Norwécois hth 01:18:50 shachaf: i disagree with the "Erik skal ikke spise dessert til jul." example, i'd interpret that as en:for, almost the opposite meaning. 01:19:11 `? hockey 01:19:11 hockey? ¯\(°_o)/¯ 01:19:25 oerjan: christmas isn't in july hth 01:20:36 Why are you giving the same message <-- i predicted this problem when they changed it hth 01:20:41 If you set the personality to HackEgo, it'll almost certainly say the sort of things HackEgo says. 01:20:47 `` le/rn hockey/Hockey is a winter sport played from october to june. 01:20:49 oerjan: i'm sure yu'l agree that that that's nonsense 01:20:50 Learned «hockey» 01:20:55 `` url wisdom # try this 01:20:57 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom 01:21:09 * oerjan swats shachaf -----### 01:21:13 FreeFull: ^ 01:21:40 FreeFull: or use the wisdom.pdf in topic 01:21:57 `wisdom 01:21:58 ☃/☃ brrr... 01:22:11 `culprits wisdom/☃ 01:22:12 oerjan elliott Bike FreeFull ais523 ais523 elliott FreeFull FireFly 01:22:17 wow 01:22:21 long history for a short entry 01:22:34 `? perl 01:22:35 Perl is the Perfect Emacs Rewriting Language 01:22:42 `? python 01:22:43 python? ¯\(°_o)/¯ 01:23:04 shachaf: no:jul is cognate to en:yule hth 01:23:06 `? ruby 01:23:07 ruby? ¯\(°_o)/¯ 01:23:43 oh, it was just people being annoying with revert wars 01:23:51 oerjan: i figured that out hth 01:23:59 I don't remember creating that entry either 01:24:08 `` hg log --removed wisdom/☃ | grep summary | tail -n+9 01:24:10 summary: learn \xe2\x98\x83 brrr... 01:24:18 FireFly: sounds like you meant to use le/rn anyway 01:24:32 I don't think it was around then 01:24:47 Sounds like you meant to create it and then use it. 01:25:12 `translate en no july 01:25:12 This google api no longer exists. 01:25:18 `` for f in wisdom/*; do culprits "$f" | grep -q ireFl && echo "$f"; done 01:25:21 oerjan: Yeah, the unicode junk breaks it anyway in the terminal 01:25:36 No? hm 01:25:43 `` le/rn ruby/Ruby is a programming language from Japan, that Eventually decided to support non-ascii characters. 01:25:44 patience, young firefly 01:25:47 Oh wait 01:25:58 How to make MIME-heading-parsing in a C code? 01:25:59 Someone symlink'd Taneb to /dev/urandom again, didn't they? 01:26:05 No. 01:26:08 oh wait, but that shouldn't matter 01:26:21 I'm only looking at the history anyway 01:26:27 wisdom/☃ 01:26:28 Learned «ruby» 01:26:53 oh, it was just people being annoying with revert wars <-- i think maybe the old version of `culprits worked better for ignoring those? 01:27:12 `` cat bin/culprits 01:27:12 hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs 01:27:16 oerjan: It showed you half. 01:27:23 zzo38: use strchr to separate the parts, then use stncmp to figure out the mime 01:28:05 FireFly: Taneb is unsymlinkable hth 01:28:18 tdmh 01:28:19 -!- Wallacoloo has joined. 01:28:37 Wallachelloo! 01:29:17 oren: why are you using le/rn when learn would work just fine :( 01:29:45 oerjan: because le/rn always works 01:30:06 Howdy doody, boily dudey? 01:30:11 `? reflection 01:30:12 cat.reflection. 01:30:17 Still works. 01:30:31 Hmmm. 01:30:43 `run cat wisdom/reflectio{n,n,n} 01:30:43 cat.wisdom/reflection.wisdom/reflection.wisdom/reflection.cat.wisdom/reflection.wisdom/reflection.wisdom/reflection.cat.wisdom/reflection.wisdom/reflection.wisdom/reflection. 01:30:51 Yup. 01:31:08 shachaf: only until someone forgets the s stripping twnh 01:31:22 Wallacoloo: you're getting the hang of it :D 01:31:39 hahaha 01:31:39 i suppose technically it still works then 01:32:10 Wallacoloo: please note that there are some grammatical exceptions. please use the vocative case when helloing Taneb hth 01:33:23 CHI 0 - 0 TBL 1P 10:10 01:33:49 boily: vocative case? in what language? 01:34:17 oerjan: Tanelle. somewhat inspired by Latin, IIRC. 01:34:25 oren: TBL? 01:34:40 Tampa Bay Lightning 01:34:56 So "vocative" essentially just means "no verbs", right? I'm not too knowledgeable of linguistics 01:35:03 boily: aha 01:35:09 vocative means "calling" 01:35:46 'Clemens Grumionem vocat' -> "clemens calls grumio" 01:36:26 -- to the extent that I remember high school Latin class 01:36:46 Ô Canada ← our most famous vocative. 01:37:02 also, go Maple Leafs! 01:38:38 So vocative is a special declension of the noun used when calling someone 01:39:03 -!- variable has joined. 01:39:44 oren: neither Clemens nor Grumionem is vocative in that sentence, anyway 01:40:04 -!- GeekDude has quit (Ping timeout: 256 seconds). 01:40:06 right 01:40:21 also, iirc neither of those nouns has a difference if they were 01:43:12 A good example of a noun in vocative is Brutus in 'et tu, Brute?' 01:44:15 yeah 01:45:22 CHI 1 - 0 TBL !!! 02:00:19 2P over 02:05:19 -!- boily has quit (Quit: HOMOTOPIC CHICKEN). 02:06:38 -!- Wallacoloo has quit (Ping timeout: 276 seconds). 02:08:47 I thought we were going with one space? <-- i thought the format rules only applied to quotes 02:12:46 -!- oren has changed nick to oren\n. 02:16:19 oerjan: I was talking about the wisdom rules. 02:16:43 wisdom rules! 02:17:18 `? wise 02:17:19 Uninstalling software installed by the Wise Installation Wizard is unwise. \ It's neither clockwise nor counterclockwise nor otherwise. 02:17:36 * oerjan swats int-e -----### 02:18:03 the installer is called unwise.exe, by the way 02:18:12 what's the easiest way of joining lines in a file? 02:18:23 s/\n//? 02:18:34 oren\n: no, doesn't work 02:19:06 you _can_ do it with sed, but it's too damn awkward to remember 02:19:07 tr -d '\n' 02:19:09 probably. 02:19:18 lifthrasiir: it needs to work in place 02:19:42 `` for f in $(cat wisdom/wise); do echo -n "$f "; done | sed 's/ $//' # hth 02:19:42 Uninstalling software installed by the Wise Installation Wizard is unwise. It's neither clockwise nor counterclockwise nor otherwise. 02:19:44 tr -d '\n' < file | sponge file? 02:20:03 shachaf: not in place hth 02:20:11 `which sponge 02:20:12 No output. 02:20:18 moreutils for the win. 02:20:40 I usually just write my own utils when i need something 02:20:49 oerjan: what's a delicious norwegian food i could attempt to cook 02:21:08 howver, this policy often causes me to wirte many similar prgrams 02:21:27 shachaf: we're not big on veggie food 02:21:36 do you eat fish 02:21:39 no 02:22:15 milk? 02:22:32 yes 02:22:55 `wisdom 02:22:56 bonvenon/Bonvenon al la internacia centro por la desegno kaj ellaso de esoteraj programlingvoj! Por pli da informado, vizitu la Viki-on: http://esolangs.org/wiki/Main_Page. (Por la alia speco de esotero, iru al #esoteric sur irc.dal.net.) 02:23:16 esperanto 02:23:27 ok then try rice porridge with sugar, cinnamon and butter 02:23:30 er, is it? 02:23:36 that's norwegian? 02:23:40 Looks like Esperanto. 02:24:16 hmm. the aj - oj adjective agreement would appear to imply it. 02:24:28 not sure what esperanto food is hth 02:24:38 but do any of the other esperantoids have it? 02:25:02 shachaf: also save some to make rice cream for next day's dessert. 02:25:34 oerjan: i'm afraid i won't be eating dessert til july 02:26:16 darn. 02:26:40 shachaf: just wait 2 weeks, then. 02:27:22 christmas in july 02:27:56 shachaf: oh even more traditional is sour cream porridge. (same condiments.) 02:28:12 @google sour cream porridge 02:28:13 https://www.sofn.com/norwegian_culture/featured_recipes/rommegrot/ 02:28:19 confirmed 02:28:53 it's a bit of an acquired taste though. well for me anyway. 02:29:06 I have sour cream, flour, salt, and cinnamon, but no milk. 02:29:55 oh and i recall as a child eating butter porridge (smørgrøt) 02:30:13 but it's hard to do any of them without milk. 02:30:34 @google butter porridge norwegian 02:30:35 http://en.wikipedia.org/wiki/R%C3%B8mmegr%C3%B8t 02:30:42 foiled again 02:30:42 sour cream waffles is also traditional. 02:31:09 i think it's basically sour cream porridge with butter instead? not sure though. 02:31:12 fungot: remind me how coherent you sound? 02:31:12 tswett: i'm trying to use yacc for simpler jobs." 02:31:31