00:00:05 kmc: whaaaaat. 00:00:50 Fun fact: I believe I found a cure for this disease. But I haven't tried it yet. 00:01:39 -!- GOMADWarrior has quit (Ping timeout: 252 seconds). 00:02:58 -!- Jafet has quit (Quit: Leaving.). 00:07:34 The Obama administration announced in 2011 that it had determined that section 3 was unconstitutional and, though it would continue to enforce the law, it would no longer defend it in court. 00:07:39 us legal system is weird 00:08:24 Sgeo, i think there's a great tragedy in the making here 00:08:34 hm, does ((a(b{cd}{e}f)%Ng)%M make sense 00:08:52 Phantom_Hoover, ? 00:09:13 you're creating genetic disorders so you can cure them 00:09:38 hey i saw that movie once 00:09:44 we _did_ discuss that way back, iirc that could be given meaning but it wouldn't be constant space to implement 00:10:13 elliott: the next sentence says the republicans are going to defend it anyway, very nice 00:10:30 Phantom_Hoover, I didn't even realize it was curable until a few days ago 00:10:52 Had to kill a bunch of norns to work out the exact CAOS involved 00:11:13 (The documentation for brn: sett isn't very clear imo) 00:12:22 even i think this is horrifying, and i've watched children born in a prison get shot to death by my marksdwarves in df 00:12:26 elliott: yeah I can't remember what "enforce but not defend" actually means 00:12:38 should i play df 00:12:44 yes 00:12:55 The sacrifice norns all died painlessly. Probably. 00:12:57 play a df succession fort with us 00:12:59 somebody told me that all programmer should play DF at some point 00:13:06 i was really stoned at the time so it sounded like a profound idea 00:13:09 (I can't say for certain because I was randomly poking around in their brains) 00:13:09 sgeo slowly becomes the most adorable Mengele since the anime 00:13:21 was there an anime 00:13:43 Somebody told me that I should under no circumstances play DF. 00:14:18 kmc: IMO DF is one of the very best-designed games ever, but it also has a really awful interface, so it depends on your tolerance for that 00:14:23 dwarf therapist eases that pain a little bit though 00:14:36 elliott: http://24.media.tumblr.com/tumblr_lntskdZrNh1qjgqsko1_500.jpg 00:14:39 i think DF transcends game design 00:14:52 Basically, the commands involved let you adjust any floating-point value in the brain 00:15:02 But the docs weren't totally clear on how to specify which value 00:15:05 actually applying any sane principle of design to it would probably ruin it 00:15:07 Qualify that with "given a known hill" <-- okay, although i believe my construction needs only a bounded number of programs to have at least one of them beat anything you put against them on a given tape/polarity. not as few as 50, but maybe no more than a few hundreds. 00:15:31 So I made a brain that would do something very specific and obvious when a specific value was altered from 1 to 0 (or was it 0 to 1?) 00:15:32 Phantom_Hoover: well the point is it's not so much designed as is 00:15:52 So I could try guessing ideas on what exactly was meant, until I found the right spot) 00:16:04 Bike: oh boy 00:16:16 you're welcome 00:16:51 Fun fact: The specific and obvious thing was slapping the hand (which represents the player) non-stop vs. not slapping the hand non-stop 00:17:18 fun fact 0 = 1 00:19:13 instance Fun Fact 00:19:48 | fact n = n * fact (n - 1) 00:22:03 -!- Jafet has joined. 00:23:10 Bloody hell I'm now not sure if Spring even makes sense 00:23:18 Does it just make the classes it manages singletons? 00:23:31 As in, great, now you get one instance of the bean that's described/ 00:23:34 shachaf: do you wait for someone else to talk before finishing it 00:23:41 elliott: yes 00:23:49 that way it gets messed up 00:24:32 beans beans the musical fruit 00:25:05 Spring beans != Java beans 00:25:23 I think I owned JavaBeans for Dummies once 00:25:32 String beans == Green beans 00:25:34 hth 00:26:15 (in fact Bike should have already read that chapter before asking about forever) <-- technically forever could be just Applicative too 00:26:22 kmc: If Cale gave (.) its Prelude type would you rejoin #haskell? 00:26:33 We need, like, leverage and stuff, man. 00:26:45 :t (.) 00:26:46 Functor f => (a -> b) -> f a -> f b 00:27:12 oerjan: in fact I say that a few lines later!! 00:27:20 elliott: yay! 00:27:51 IDE/Theory: elliott is just an extensing time-ghost of oerjan during logreading 00:28:52 heh 00:30:50 what was that story where the person with the time machine was copying stories from a science fiction author in the future as the author was writing them 00:31:45 oerjan, I'll worry about that when those are actually hill competitive :p 00:32:15 > (1+) . [4,5] 00:32:15 I'm reasonably certain that 512 is enough-- esp if they have no loop/flow control to abuse 00:32:17 [5,6] 00:33:30 for n in [0, 255], (>)*9(.)*n(-.)*-1 and (>)*9(.)*n(+.)*-1 00:33:31 -!- heroux has quit (Ping timeout: 264 seconds). 00:34:05 enough++ 00:34:36 * Lymia kicks shachaf in the shin 00:34:50 shachaf-- 00:35:11 -!- heroux has joined. 00:35:25 :-( 00:35:46 Cale on lambdabot: 00:35:47 17:35 Shin-LaC: Really, it doesn't work differently. There are just some local bindings in scope and some Prelude definitions are hidden. 00:36:15 > (1+) Prelude.. [4,5] 00:36:16 Not in scope: `Prelude..' 00:36:17 Perhaps you meant one of these: 00:36:17 `Prelude.-' (... 00:36:24 okay cool 00:36:48 > (1+) P.. [4,5] 00:36:48 > (.) a b c = a (b c) 00:36:48 > (Prelude..) (1+) [4,5] 00:36:49 Couldn't match expected type `a0 -> c0' with actual type `[t0]' 00:36:50 :1:11: parse error on input `=' 00:36:50 can't find file: L.hs 00:36:53 Lymia: you need versions starting with + or - to beat maximally fast rushes 00:36:55 oh it's P. sensible 00:37:07 imo it's not v. sensible 00:37:17 > (1+) v.. [4,5] 00:37:19 :1:7: parse error on input `..' 00:37:27 oh right module names have to be capitalized 00:37:29 sorry shachaf :( 00:38:30 Lymia: also no waiting sheesh, then you might lose against slower rushes 00:38:56 That's just an outline of the idea. :p 00:39:02 Something like that might stop the system I'm thinking of 00:39:17 IDE/Theory: elliott is just an extensing time-ghost of oerjan during logreading <-- plausible 00:39:48 -!- heroux has quit (Ping timeout: 264 seconds). 00:41:22 -!- heroux has joined. 00:42:14 Hey, this person at the aæeroport is reading _Breakfast of Champions_. 00:42:20 Lymia: it would be _so_ easy to write this if bfjoust syntax weren't ridiculously overlapping with regex syntax. 00:42:22 Remember when I was reading that book? Good times. 00:42:31 I guess I "started a movement" "oops" 00:42:34 s/I/i/g 00:44:13 oerjan should oppose (.)-as-fmap. 00:44:16 he helped write the haskell 98 report. 00:44:29 He did? 00:44:35 Cale hates Haskell 98 so it won't help. 00:44:51 oerjan, :p 00:45:17 The goal is to target actual hills, not theoretical "all hills" 00:45:22 strict typing is overrated though 00:45:27 Lymia: optional +, (>)*9, (+)*n or (-)*n (n between 0 and 128), and either . + or - at the end in case the opponent defends. 2*129*3 options. 00:45:31 shachaf: his name is in the report's acknowledgements 00:45:31 lazy typing ftw 00:45:48 Lymia: oh i was writing up my construction 00:45:56 I suspect that's not entirely enough. 00:45:56 > 6*129 00:45:58 774 00:46:22 Let me think 00:46:24 elliott: I see an Orjan Johansen. 00:46:30 No idea who that is. 00:46:34 Ø 00:46:53 "øøps" 00:47:04 oerjan, 00:47:05 What about 00:47:09 (+)*5(>)*9(+.)*127+ 00:47:22 Oh, I see. 00:47:30 Both Haskell 98 Reports were revised in August 2001, to incorporate dozens of typographical errors and presentational improvements. A complete list of all changes can be found at http://haskell.org. 00:49:34 haskell 98 report "more like haskell revised in 2001 report" 00:49:40 "and the changes lost" 00:50:02 oerjan, I'm pretty sure that 00:50:17 A similar argument can be made that a program can be made to lose no more than half the rounds. 00:50:35 Or possibly one third. 00:50:57 Lymia: i don't know about that. but you go ahead. 00:51:37 once you don't know the tape length, the opponent's strategy becomes much more complicated to handle. 00:51:54 shachaf: 'technical corrigendum' 00:52:08 The idea for targeting actual hills is a greedy search algorithm, effectively. 00:53:05 Instead of treating all strategies separately, work on a sort of "multi-state joust", where you have a long list representing all possible polarities and tape lengths. 00:54:32 Lymia: oh hm my . + - at the end might need a . in front in some cases. 00:54:39 so maybe another doubling. 00:55:23 I think there's a maximum bound of 3^128, at least. 00:55:35 (i.e. every possible string of actions on the flag) 00:57:13 for your construction or mine? 00:57:23 Yours 00:57:34 Or, well, any (>)*9suffix 00:57:39 oerjan, well, wait. 00:57:55 it's not necessary with that many. 00:58:10 Let me think for a moment 00:58:27 you just need to ensure that you hit 0 _sometime_, and counteract any action the opponent does in the next step. 00:58:32 where is zzo? 00:58:45 oerjan, well. 00:58:48 There's something notable here. 00:58:58 +(>)*9(+)*1any suffix 00:59:04 That will win against no possible program 00:59:28 In fact, that applies up to 64 00:59:39 what? 00:59:55 I think n only needs to be between 64 and 128 01:00:01 Or, at least, something higher than 0 01:00:15 Since, there's nothing both programs combined can do to bring down the flag to 0 in the shorter values of n 01:00:15 remember that the opponent might do something drastic to their own flag 01:00:28 oh right. 01:00:44 didn't i just think about that too a while ago. 01:00:46 anyone know of an existing discordian calendar module for Haskell? 01:01:38 > (128-10) `div` 2 01:01:40 59 01:02:10 Lymia: that's about the limit. it's lower than 64 because the opponent might be changing the flag while i move. 01:03:35 Actually 01:03:36 Since it's 01:03:47 "At least one tape length and at least one polarity" 01:03:49 -!- Jafet1 has joined. 01:04:02 You can cut it in half again, by getting rid of polarity inverses-- the hill will have to do that already 01:04:32 -!- TeruFSX has joined. 01:05:02 Hmm... 01:05:03 Additionally 01:05:04 well by my construction _i_ get to choose which length and polarity i win on. in spirit. 01:05:33 (>)*9(+)*n+ == (>)*9(+)*(n+1) 01:05:43 that is true 01:05:56 (>)*9(+)*n. == (>)*9(+)*(n-1)+ 01:06:41 -!- Jafet has quit (Ping timeout: 245 seconds). 01:06:45 -!- Jafet1 has changed nick to Jafet. 01:07:35 ok so no suffix, -, .+, or .- 01:08:23 removing initial + and final . 01:09:53 Initial + might be required, I think. 01:09:55 erm 01:10:01 oerjan, well... 01:10:07 There's a more elegant way to do it, I think 01:10:12 this is for the (+)*n case. switch + and - for the (-)*n case. 01:10:13 (>)*[9,10] 01:10:37 wat 01:10:41 But that doesn't choose a tape length :p 01:11:21 if you want to run of the tap < will do just fine hth 01:11:27 *off the tape 01:11:36 what happened to my keyboard there 01:11:40 Well. 01:11:49 If you allow for multiple tape lengths. 01:13:41 why is mezzacotta down 01:32:44 !bfjoust +>+++[]<(+)*-1 01:32:44 Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 01:33:08 !bfjoust trip_draw +>+++[]<(+)*-1 01:33:12 Score for Arc_Koen_trip_draw: 8.7 01:35:30 erf 01:35:48 !bfjoust trip_draw +>+++[]<(.+)*-1 01:35:53 Score for Arc_Koen_trip_draw: 10.4 01:42:14 hmm are you telling me that Fiora's time-stopping-mahou-shojo, which got 33, is actually an empty program? 01:49:47 no. 01:50:28 oerjan: well that's what http://codu.org/eso/bfjoust/egojsout/index.php tells me 01:52:01 How do people stand having full-time jobs? 01:52:06 Fiora wrote something that got 33 that fast, huh 01:53:41 Sgeo: they don't. they have their souls replaced with rutabagas after a couple months. 01:53:51 *+of 01:55:49 ok good night 01:55:58 -!- Arc_Koen has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 01:56:15 Sgeo: first day didn't go well? 01:56:41 It's going ... adequately 01:56:45 And this was my second day 01:57:00 I just... don't entirely look forward to having no energy outside of work during the work week 01:57:28 why no energy? 01:57:46 because he lives on pasta and pop-tarts, presumably 01:57:49 ^ 01:57:52 thermodynamics is a bitch 01:58:03 gotta get your 100 W 01:58:27 Because my sleep cycle is a bit off 01:58:41 won't it get less off as you get into the rhythm 01:58:43 Maybe when that adjusts, I will actually find time for sanity 01:58:49 Sgeo: maybe you are having jet lag due to the change in sleeping cycle? that _should_ fix itself, one hopes. (present company notwithstanding.) 02:05:58 * oerjan knows that's not technically jet lag btw 02:06:24 sleep lag 02:07:16 "The condition of jet lag may last several days until one is fully adjusted to the new time zone, and a recovery rate of one day per time zone crossed is a suggested guideline." 02:07:21 so one day per hour 02:07:28 -!- azaq23 has joined. 02:07:29 or... 24 02:07:38 thank you, Phantom_Hoover 02:08:05 i understand phantoms are very good at recognizing dimensionless quantities 02:08:05 36 in america 02:08:18 30 in euros 02:09:05 how much in đồngs? 02:09:27 8 02:09:43 curious 02:09:58 it appears to be more in larger units 02:10:18 do you have a degree in unitology oerjan 02:11:02 "Since 2003, Vietnam has replaced its cotton banknotes with plastic polymer banknotes, which it claims will reduce costs.[10] Many newspapers in the country criticized these changes, citing mistakes in printing and alleging that the son of the governor of the State Bank of Vietnam benefited from printing contracts.[10] The government clamped down on these criticisms by banning two newspapers from publishing for a month and considering other sanctions 02:11:36 Phantom_Hoover: yes i graduated from UNIT 02:11:38 other sanctions... 02:12:05 * Phantom_Hoover decides to stop trying to work out how much a ningi is worth 02:14:38 "In present-day Vietnam, because the value of the currency is so small, one đồng could also be understood as one thousand đồng." 02:15:42 * Sgeo sees something like that in some online games 02:16:00 EVE Online people use a million ISK as the basis for talking about currency, I think 02:16:09 inflation, man 02:16:25 i wonder if you can actually spend individual eve moneys 02:16:35 huh the iranian currency unit is now the least valued on http://en.wikipedia.org/wiki/Least_valued_currency_unit 02:16:40 on, like, a space croissant or something 02:16:46 the sanctions really hurt 02:16:50 now i want a space croissant 02:17:49 `? misspellings of space croissant 02:17:51 misspellings of space croissant? ¯\(°_o)/¯ 02:17:53 me too 02:17:57 Phantom_Hoover, in the backstory, even 1 ISK makes you incredibly rich compared to the people who live on planets 02:18:13 in space, croissants cannot be misspelled 02:18:18 otoh i can't imagine space croissants are cheap 02:18:23 that seems unlikely, economically speaking 02:18:32 like that's a ridiculous wealth disparit 02:19:11 elliott, what was that thing you said about EVE's choice of factions when you played the demo? 02:22:55 i forgot 02:23:10 iirc they were all terrible and i picked the anarchocapitalists (i forget why) 02:27:49 This one quest gives you a quest item called "A Lot of Money" 02:28:16 have you ever played eve 02:28:27 No 02:28:43 But I've read about it 02:32:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:32:15 one thousand dong 02:34:17 http://danbooru.donmai.us/posts/1083748?tags=failure 02:36:18 Reversi? 02:36:26 Can't be Go 02:37:00 Wait, it's not Go? 02:37:13 wait duh the black piece is already captured 02:38:22 It's tagged reversi o.O 02:38:51 yeah they're reversi pieces and the position is illegal in go (also who plays go on 8x8) 02:39:13 Also go is on the lines. I hate how I only just noticed that 02:39:32 tagged reversi? 02:39:34 I noticed the black piece with no liberties first 02:39:40 the image is tagged "reversi". 02:39:40 coppro, look at the list of tags 02:40:00 tagged reversi does sound like an awesome game 02:40:03 Danbooru is basically the most successful Semantic Web thing ever 02:40:27 Sgeo: ah 02:40:35 I thought you meant the game was called Tagged Reversi 02:43:31 spineless tagless reversi 02:46:09 what kind of reversi do you usually play, dude 02:55:15 the reverse of this, obviously 03:06:23 -!- oerjan has quit (Quit: Gnite). 03:08:28 `slist 03:08:30 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 03:08:33 Veracity of slist not confirmed 03:08:41 Veracity of slist confirmed 03:09:23 you should switch to a graded system, to account for veracity confirmation difficulties 03:19:16 -!- carado has quit (Ping timeout: 246 seconds). 03:35:29 hi 03:35:57 what 03:36:22 im back 03:36:35 `welcome back 03:36:37 back: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 03:37:13 thank's 03:59:45 -!- Jafet has quit (Quit: Leaving.). 04:05:20 My day is literally impossible. Wake up at 5am, get home at 7pm, 3 hours dinner, 8 hours sleep. There is not enough time for that, it's impossible. 04:06:42 -!- kallisti has quit (Ping timeout: 264 seconds). 04:06:52 -!- augur has joined. 04:07:31 -!- augur has quit (Remote host closed the connection). 04:07:38 -!- augur has joined. 04:11:34 3 hours dinner? 04:11:42 also why do you have to get up at 5am 04:12:49 It took me ~2 hours to eat dinner tonight, and I ended up not eating much of it 04:13:06 And I need to force myself to mentally wake up, and get ready 04:13:21 Good night 04:13:24 good night 04:13:25 don't die Sgeo 04:13:29 goodnights 04:13:33 if it takes you 2 hours to eat and you can barely eat then something is wrong 04:13:51 lack of energy might have something to do with not eating 04:13:52 I don't remember it not taking that long 04:13:59 why does it take so long? 04:14:02 you're blowing my mind here kmc 04:14:13 Not especially interested in food, I guess. 04:14:25 Although maybe 1 box of pasta is a bit large of a portion? 04:16:18 ~800 calories iirc 04:21:24 -!- augur has quit (Read error: Connection reset by peer). 04:21:40 -!- augur has joined. 04:29:21 800 calories is a pretty standard meal for a lot of people 04:29:27 i mean you need like 2000 a day 04:32:14 800 calories is kind of a big meal 04:39:14 i only eat two meals a day 04:40:40 me too 04:40:52 I usually eat a lunchish thing before work and dinner when I get home 04:41:01 I want to see a doctor over the weekend 04:41:11 Have had a weird cough this week and face keeps going red 04:41:31 "also my diet is used as a torture mechanism in some countries" 04:42:35 a Chipotle opened one block from where I work, which resulted in a lot of 1600 calorie meals for a while 04:42:42 but to prevent astonishing fatness, I am cutting back 04:42:45 1600? O_O aren't the burritos like ~800ish at max? 04:42:50 or is that with like chips and a drink 04:42:56 burrito + chips and guac 04:43:06 + a drink but it's diet 04:43:07 Maybe I should try Chipotle 04:43:16 is that a real abbreviation? "guac", do people talk about "guac" 04:43:32 chipotle is really really good 04:43:38 I can't usually eat a whole burrito though, I prefer the salads 04:43:43 it's like the burrito without all the unhealthy parts 04:44:02 Bike: that's how I order it 04:44:13 Sgeo: you're in New York? 04:44:22 Yes 04:44:37 yeah it's hard to get good mexican food in many parts of NY, you might as well eat Chipotle or Qdoba 04:44:46 "Haskell provides indexable arrays, which may be thought of as functions whose domains are isomorphic to contiguous subsets of the integers." exactly what an array is. 04:44:47 eating Chipotle in San Francisco would be some kind of crime or weird statement 04:44:59 Bike: mathematicians *eye roll* 04:45:06 Sgeo: where abouts are you living? 04:45:09 basically. 04:45:12 Long Island 04:45:25 "Functions restricted in this way can be implemented efficiently" 04:45:57 Fiora: yeah, I've been eating the burrito bowl recently, that's like 600 cal as configured, and pretty high protein 04:46:11 chips and guac alone is more food than that o_O 04:46:11 I like the salad with guacamole as the dressing basically (plus salsa) 04:46:34 I think it's like ~500-600 calories, not much carbs-wise, and really tasty and filling 04:46:50 but it's a bit of a trek to get to the chipotle here so I usually get panera if I go out 04:46:53 Sgeo: like the part that's in NYC, or the further out part? 04:46:59 further out 04:47:00 mm panera's decent 04:47:05 Sgeo: do you commute on LIRR then 04:47:21 maybe tomorrow for lunch I will have just chips and guac 04:47:59 Yes, but workplace is also on LI 04:48:01 oh 04:48:04 did somebody tell me Data.Array was bad? i forget 04:48:05 the chips things at chipotle are huuge 04:48:12 yep, I think they're meant to be shared 04:48:22 yeah, I got that feeling too when I saw them 04:48:30 i used to get burrito and chips and guac and that was my one meal for the day 04:48:33 that was... kind of weird 04:50:37 damn it now i'm hungry 04:52:37 Bike: haha where is that from 04:53:20 elliott: spec for Data.Array 04:53:24 nice 04:53:42 also they say that to ensure this efficiency they're values instead of functions 04:53:47 "thanks" 04:57:10 "Right and left shifts by amounts greater than or equal to the width of the type result in a zero result. This is contrary to the behaviour in C, which is undefined; a common interpretation is to truncate the shift count to the width of the type, for example 1 << 32 == 1 in some C implementations." i didn't know that. 04:58:40 huh, I've never heard of that particular behavior :o 04:58:51 the two I can remember are "large shift is zero" and "shift is mod 32" 04:59:36 "shl eax, cl" in x86 does "eax <<= cl&31" I think 04:59:59 but "pslld xmm0, xmm1" does xmm0 <<= xmm1 (so it zeroes if it's big) 05:00:31 I discovered this the hard way the other day when I was wondering why my shifts were coming out wrong, and my register had like, {X,X,X,X} in it (where each X was my shift value, 32-bit) instead of {X,0,0,0} 05:00:44 and it actually looked at the entire register O_O 05:00:48 instead of just the low bit 05:01:09 whoops 05:01:16 -!- Jafet has joined. 05:04:35 "unsafeLocalState :: IO a -> a" oh baby 05:04:47 yep 05:05:12 it's like unsafePerformIO but with stronger (unchecked) preconditions 05:05:24 there are some mailing list arguments about whether GHC's implementation should be unsafeDupablePerformIO 05:06:15 my neighbors like to practice piano and singing at 1 in the morning 05:06:19 not a complaint just an observation 05:06:20 good ol mailing list arguments and piano 05:07:12 also "It is expected that this operation will be replaced in a future revision of Haskell." 05:07:15 cryptic 05:07:36 standard stable pointers. that's kinda nice. 05:07:58 i don't think anyone has ever used unsafeLocalState 05:08:00 yup. and ForeignPtr 05:08:10 it's kind of weird that all kinds of ptrs are standard but not, like, IORef 05:08:26 that is weird 05:08:37 the standard contains the phrase "Haskell land", very nice 05:08:51 it also refers to getLine as a "function" :( 05:09:18 if arrays can be functions so can IO actions, elliott 05:09:32 also GHC error messages do this "everything is a function" thing it's awful 05:09:59 :( 05:10:17 a lot of the text in the Report and in the base library docs is just poorly written 05:10:57 an IO action is a function from a RealWorld where you are confused about IO actions to a RealWorld where you are even more confused about IO actions 05:11:10 also it's a monoid 05:11:16 is that "RealWorld" like an actual thing because it sounds dumb kind of? 05:11:35