RiSE4fun Dafny LiveRiSE4fun.com real time asks and answersen-USrise4fun © 2013 Microsoft CorporationSun, 19 May 2013 12:01:10 -0700http://rise4fun.com//Images/Rise.gifRiSE4fun Dafny Livec781a07b151a4d838c8f670e505bf5achttp://rise4fun.com/Dafny/Dafny's 262463th answerUser1001 asked to Dafny - 1st attempt2013-05-19T11:57:18-07:00aa212935b59a40c29fc4f001e7426dc0http://rise4fun.com/Dafny/Dafny's 262464th answerUser1001 asked to Dafny - 2nd attempt2013-05-19T11:58:53-07:0063a94e4883ce478ea788c68f6f982b11http://rise4fun.com/Dafny/Dafny's 262465th answerUser1001 asked to Dafny - 3th attempt2013-05-19T11:59:17-07:0034f295fb331240f8bd60af6dd9442d2dhttp://rise4fun.com/Dafny/Dafny's 262466th answerUser1001 asked to Dafny - 4th attempt2013-05-19T12:01:10-07:00