%% http://lsr.di.unimi.it/LSR/Item?id=158 { r1 r2 r4 r8 }