{ "created": "Thu Oct 10 14:30:59 CDT 2024","hm": "P31m","nSettings": 14,"nSubgroups": 8,"sg": 157,"subgroups": [ { "det": 2.0,"hm": "Cm","i": 1,"n": 3,"sg": 8,"index": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "-a-b,a-b,c" },{ "conjClass": "a","trm": "a,a+2b,c" },{ "conjClass": "a","trm": "b,-2a-b,c" } ] },{ "det": 1.0,"hm": "P3","i": 2,"n": 1,"sg": 143,"index": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "P3m1","i": 3,"n": 1,"sg": 156,"index": 3,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" } ] },{ "det": 2.0,"hm": "P31m","i": 4,"n": 1,"sg": 157,"index": 2,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,2c" } ] },{ "det": 3.0,"hm": "P31m","i": 5,"n": 1,"sg": 157,"index": 3,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,3c" } ] },{ "det": 4.0,"hm": "P31m","i": 6,"n": 4,"sg": 157,"index": 4,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "a","trm": "2a,2b,c;1,0,0" },{ "conjClass": "a","trm": "2a,2b,c;0,1,0" },{ "conjClass": "a","trm": "2a,2b,c;1,1,0" } ] },{ "det": 2.0,"hm": "P31c","i": 7,"n": 1,"sg": 159,"index": 2,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,2c" } ] },{ "det": 9.0,"hm": "R3m","i": 8,"n": 2,"sg": 160,"index": 3,"trSubtype": "eu","trType": "k","trms": [ { "conjClass": "a","trm": "2a+b,-a+b,3c" },{ "conjClass": "b","trm": "a-b,a+2b,3c" } ] } ] }