PartI ← ( ▽×⊃(≤@9|≥@0|∘) # digits only ⋕⊟⊃(⊢|⊢⇌) # add them together ) PartII ← ( . ⊐≡⌕⊙¤ {"one" "two" "three" "four" "five" "six" "seven" "eight" "nine"} /+≡×+1⇡9 ≡((⋅∘|+@0⊙;)>0.) PartI ) $ 1abc2 $ pqr3stu8vwx $ a1b2c3d4e5f $ treb7uchet ⊜PartI≠@\n. /+ $ two1nine $ eightwothree $ abcone2threexyz $ xtwone3four $ 4nineeightseven2 $ zoneight234 $ 7pqrstsixteen ⊜PartII≠@\n. /+ &fras "day01.in" ⊜(⊟⊃(PartI|PartII))≠@\n. /+