> addvertex(T24,theory);

T24

> addedge([T18,T24],theory);

e54

> addedge([T22,T24],theory);
addedge([`T8.5`,T24],theory);
addedge([T17,T24],theory);
addedge([T7,T24],theory);
addedge([SAS,T24],theory);

e55

e56

e57

e58

e59

>

>

> partition:=[[I1,I2,RA,PS,Pra,AAA,SAS],[T1,T2,T3,`T6.5`,T5,T6,T8,`T8.5`,`T12.5`],[T4,T7,T9],[T10,T11],[T12,T13,T14,T15,T17,PA],[T23, T16,T18 ],[T19,T22],[T20,T24],[T21]];

partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...
partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...

>