idris2-0.4.0-3.fc36 > A a5YMoѐW-? DvJQm9re)*8vd2Jy EfCR)!V!#cu',eQ`< aۿaYÈHh1>[+7?(p"g-4Ka9d"ީM , VN~hQ7ѐ3M`LF4Z|b^Mx C}>