1712
Normal Tits
857
379
619
1019
2438
7370
1334
374
828
3372
3954
5490
1212
764
745
2414
403
1052
1408
996
1740
6351
1053
836