Submission #55001709


Source Code Expand

Copy
import std/os/readline
fun main()
val astr = readline()
val bcstr = readline()
val s = readline()
val a = mbint(parse-int(astr))
val bclist = split(bcstr, " ")
val b = mbint(parse-int(string(head(bclist))))
val c = mbint(parse-int(string(head(tail(bclist)))))
println(join([show(a + b + c), " ", s]))
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
import std/os/readline

fun main()
  val astr = readline()
  val bcstr = readline()
  val s = readline()
  val a = mbint(parse-int(astr))
  val bclist = split(bcstr, " ")
  val b = mbint(parse-int(string(head(bclist))))
  val c = mbint(parse-int(string(head(tail(bclist)))))
  println(join([show(a + b + c), " ", s]))

Submission Info

Submission Time
Task PracticeA - Welcome to AtCoder
User mikecat
Language Koka (koka 2.4.0)
Score 100
Code Size 329 Byte
Status AC
Exec Time 3 ms
Memory 2704 KB

Compile Error

compile: Main.kk
loading: std/core
loading: std/core/types
loading: std/core/hnd
loading: std/os/readline
check  : Main
linking: a
created: .koka/v2.4.0/gcc-drelease/a
created: a.out
add default effect for std/core/exn

Judge Result

Set Name All
Score / Max Score 100 / 100
Status
AC × 7
Set Name Test Cases
All 00_rnd_01.txt, 00_rnd_02.txt, 00_rnd_03.txt, 00_rnd_04.txt, 00_rnd_05.txt, 00_sample_1.txt, 00_sample_2.txt
Case Name Status Exec Time Memory
00_rnd_01.txt AC 1 ms 2704 KB
00_rnd_02.txt AC 1 ms 2600 KB
00_rnd_03.txt AC 1 ms 2620 KB
00_rnd_04.txt AC 3 ms 2496 KB
00_rnd_05.txt AC 1 ms 2672 KB
00_sample_1.txt AC 1 ms 2680 KB
00_sample_2.txt AC 1 ms 2612 KB


2024-06-29 (Sat)
09:29:13 +09:00