ok_l.lst -> ok_l.lst, ok_l2.lst
fix: missing parts (assign bigintmat) for tr.600