!kir1 preprocessed symbolically
sri
0
8
3

 0
17626570956801 

 4
-563500112019472

 8
4503599627370496