(line (spec (line (declare (line (type (line "B" 3 4 3 5 "fail1.eva") (line "principal" 3 8 3 17 "fail1.eva")) 3 1 3 17 "fail1.eva") (line (type (line "A" 3 1 3 2 "fail1.eva") (line "principal" 3 8 3 17 "fail1.eva")) 3 1 3 17 "fail1.eva") (line (type (line "N" 4 1 4 2 "fail1.eva") (line "number" 4 5 4 11 "fail1.eva")) 4 1 4 11 "fail1.eva") (line (type (line "K" 5 1 5 2 "fail1.eva") (line "number" 5 5 5 11 "fail1.eva")) 5 1 5 11 "fail1.eva") (line (knows (line "A" 6 1 6 2 "fail1.eva") (line "A" 6 9 6 10 "fail1.eva")) 6 1 6 16 "fail1.eva") (line (knows (line "A" 6 1 6 2 "fail1.eva") (line "B" 6 12 6 13 "fail1.eva")) 6 1 6 16 "fail1.eva") (line (knows (line "A" 6 1 6 2 "fail1.eva") (line "K" 6 15 6 16 "fail1.eva")) 6 1 6 16 "fail1.eva") (line (knows (line "B" 7 1 7 2 "fail1.eva") (line "B" 7 9 7 10 "fail1.eva")) 7 1 7 10 "fail1.eva") (line (type (line "b" 8 4 8 5 "fail1.eva") (line "principal" 8 8 8 17 "fail1.eva")) 8 1 8 17 "fail1.eva") (line (type (line "a" 8 1 8 2 "fail1.eva") (line "principal" 8 8 8 17 "fail1.eva")) 8 1 8 17 "fail1.eva")) 2 0 8 17 "") (line (line (block (line (comm "1." (line "A" 10 5 10 6 "fail1.eva") (line "B" 10 10 10 11 "fail1.eva") (line (tuple (line "A" 10 14 10 15 "fail1.eva") (line (crypt (line "N" 10 19 10 20 "fail1.eva") (line "K" 10 23 10 24 "fail1.eva") (vanilla)) 10 17 10 24 "fail1.eva")) 10 14 10 24 "fail1.eva")) 10 2 10 24 "fail1.eva") (line (comm "2." (line "B" 11 5 11 6 "fail1.eva") (line "A" 11 10 11 11 "fail1.eva") (line "N" 11 14 11 15 "fail1.eva")) 11 2 11 15 "fail1.eva")) 9 1 12 2 "fail1.eva") 9 1 12 2 "fail1.eva") (line (sessions (line (session "s." (line (principals-except) 11 10 11 11 "fail1.eva") (line (bind (line "A" 13 12 13 13 "fail1.eva") (line "a" 13 14 13 15 "fail1.eva")) 13 12 13 15 "fail1.eva") (line (bind (line "B" 13 17 13 18 "fail1.eva") (line "b" 13 19 13 20 "fail1.eva")) 13 17 13 20 "fail1.eva")) 13 1 13 20 "fail1.eva")) 12 1 13 20 "") (line (assume) 13 20 13 20 "") (line (claim) 13 20 13 20 "")) 2 0 13 20 "fail1.eva")