Submission #55001709
Source Code Expand
Copy
import std/os/readlinefun 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]))
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 |
|
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 |