[ { "created": "Mon Oct 14 13:53:31 CDT 2024","hm": "l/p 1","nSettings": 21,"nSubgroups": 4,"sg": 1,"subgroups": [ { "det": 2.0,"hm": "l/p 1","i": 1,"index": 2,"n": 3,"sg": 1,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "a,2b,c" },{ "conjClass": "c","trm": "2a,a+b,c" } ] },{ "det": 3.0,"hm": "l/p 1","i": 2,"index": 3,"n": 4,"sg": 1,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "3a,a+b,c" },{ "conjClass": "c","trm": "3a,2a+b,c" },{ "conjClass": "d","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/p 1","i": 3,"index": 5,"n": 6,"sg": 1,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,a+b,c" },{ "conjClass": "c","trm": "5a,2a+b,c" },{ "conjClass": "d","trm": "5a,3a+b,c" },{ "conjClass": "e","trm": "5a,4a+b,c" },{ "conjClass": "f","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/p 1","i": 4,"index": 7,"n": 8,"sg": 1,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,a+b,c" },{ "conjClass": "c","trm": "7a,2a+b,c" },{ "conjClass": "d","trm": "7a,3a+b,c" },{ "conjClass": "e","trm": "7a,4a+b,c" },{ "conjClass": "f","trm": "7a,5a+b,c" },{ "conjClass": "g","trm": "7a,6a+b,c" },{ "conjClass": "h","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:31 CDT 2024","hm": "l/p -1","nSettings": 105,"nSubgroups": 5,"sg": 2,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p -1","i": 2,"index": 2,"n": 6,"sg": 2,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "e","trm": "2a,a+b,c" },{ "conjClass": "f","trm": "2a,a+b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p -1","i": 3,"index": 3,"n": 12,"sg": 2,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "3a,a+b,c" },{ "conjClass": "b","trm": "3a,a+b,c;1,0,0" },{ "conjClass": "b","trm": "3a,a+b,c;2,0,0" },{ "conjClass": "c","trm": "3a,2a+b,c" },{ "conjClass": "c","trm": "3a,2a+b,c;1,0,0" },{ "conjClass": "c","trm": "3a,2a+b,c;2,0,0" },{ "conjClass": "d","trm": "a,3b,c" },{ "conjClass": "d","trm": "a,3b,c;0,1,0" },{ "conjClass": "d","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p -1","i": 4,"index": 5,"n": 30,"sg": 2,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "5a,a+b,c" },{ "conjClass": "b","trm": "5a,a+b,c;1,0,0" },{ "conjClass": "b","trm": "5a,a+b,c;2,0,0" },{ "conjClass": "b","trm": "5a,a+b,c;3,0,0" },{ "conjClass": "b","trm": "5a,a+b,c;4,0,0" },{ "conjClass": "c","trm": "5a,2a+b,c" },{ "conjClass": "c","trm": "5a,2a+b,c;1,0,0" },{ "conjClass": "c","trm": "5a,2a+b,c;2,0,0" },{ "conjClass": "c","trm": "5a,2a+b,c;3,0,0" },{ "conjClass": "c","trm": "5a,2a+b,c;4,0,0" },{ "conjClass": "d","trm": "5a,3a+b,c" },{ "conjClass": "d","trm": "5a,3a+b,c;1,0,0" },{ "conjClass": "d","trm": "5a,3a+b,c;2,0,0" },{ "conjClass": "d","trm": "5a,3a+b,c;3,0,0" },{ "conjClass": "d","trm": "5a,3a+b,c;4,0,0" },{ "conjClass": "e","trm": "5a,4a+b,c" },{ "conjClass": "e","trm": "5a,4a+b,c;1,0,0" },{ "conjClass": "e","trm": "5a,4a+b,c;2,0,0" },{ "conjClass": "e","trm": "5a,4a+b,c;3,0,0" },{ "conjClass": "e","trm": "5a,4a+b,c;4,0,0" },{ "conjClass": "f","trm": "a,5b,c" },{ "conjClass": "f","trm": "a,5b,c;0,1,0" },{ "conjClass": "f","trm": "a,5b,c;0,2,0" },{ "conjClass": "f","trm": "a,5b,c;0,3,0" },{ "conjClass": "f","trm": "a,5b,c;0,4,0" } ] },{ "det": 7.0,"hm": "l/p -1","i": 5,"index": 7,"n": 56,"sg": 2,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "7a,a+b,c" },{ "conjClass": "b","trm": "7a,a+b,c;1,0,0" },{ "conjClass": "b","trm": "7a,a+b,c;2,0,0" },{ "conjClass": "b","trm": "7a,a+b,c;3,0,0" },{ "conjClass": "b","trm": "7a,a+b,c;4,0,0" },{ "conjClass": "b","trm": "7a,a+b,c;5,0,0" },{ "conjClass": "b","trm": "7a,a+b,c;6,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c" },{ "conjClass": "c","trm": "7a,2a+b,c;1,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c;2,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c;3,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c;4,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c;5,0,0" },{ "conjClass": "c","trm": "7a,2a+b,c;6,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c" },{ "conjClass": "d","trm": "7a,3a+b,c;1,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c;2,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c;3,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c;4,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c;5,0,0" },{ "conjClass": "d","trm": "7a,3a+b,c;6,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c" },{ "conjClass": "e","trm": "7a,4a+b,c;1,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c;2,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c;3,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c;4,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c;5,0,0" },{ "conjClass": "e","trm": "7a,4a+b,c;6,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c" },{ "conjClass": "f","trm": "7a,5a+b,c;1,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c;2,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c;3,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c;4,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c;5,0,0" },{ "conjClass": "f","trm": "7a,5a+b,c;6,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c" },{ "conjClass": "g","trm": "7a,6a+b,c;1,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c;2,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c;3,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c;4,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c;5,0,0" },{ "conjClass": "g","trm": "7a,6a+b,c;6,0,0" },{ "conjClass": "h","trm": "a,7b,c" },{ "conjClass": "h","trm": "a,7b,c;0,1,0" },{ "conjClass": "h","trm": "a,7b,c;0,2,0" },{ "conjClass": "h","trm": "a,7b,c;0,3,0" },{ "conjClass": "h","trm": "a,7b,c;0,4,0" },{ "conjClass": "h","trm": "a,7b,c;0,5,0" },{ "conjClass": "h","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:31 CDT 2024","hm": "l/p 1 1 2","nSettings": 105,"nSubgroups": 5,"sg": 3,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 2","i": 2,"index": 2,"n": 6,"sg": 3,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "e","trm": "2a,-a+b,c" },{ "conjClass": "f","trm": "2a,-a+b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p 1 1 2","i": 3,"index": 3,"n": 12,"sg": 3,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "3a,-a+b,c" },{ "conjClass": "b","trm": "3a,-a+b,c;1,0,0" },{ "conjClass": "b","trm": "3a,-a+b,c;2,0,0" },{ "conjClass": "c","trm": "3a,-2a+b,c" },{ "conjClass": "c","trm": "3a,-2a+b,c;1,0,0" },{ "conjClass": "c","trm": "3a,-2a+b,c;2,0,0" },{ "conjClass": "d","trm": "a,3b,c" },{ "conjClass": "d","trm": "a,3b,c;0,1,0" },{ "conjClass": "d","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p 1 1 2","i": 4,"index": 5,"n": 30,"sg": 3,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "5a,-a+b,c" },{ "conjClass": "b","trm": "5a,-a+b,c;1,0,0" },{ "conjClass": "b","trm": "5a,-a+b,c;2,0,0" },{ "conjClass": "b","trm": "5a,-a+b,c;3,0,0" },{ "conjClass": "b","trm": "5a,-a+b,c;4,0,0" },{ "conjClass": "c","trm": "5a,-2a+b,c" },{ "conjClass": "c","trm": "5a,-2a+b,c;1,0,0" },{ "conjClass": "c","trm": "5a,-2a+b,c;2,0,0" },{ "conjClass": "c","trm": "5a,-2a+b,c;3,0,0" },{ "conjClass": "c","trm": "5a,-2a+b,c;4,0,0" },{ "conjClass": "d","trm": "5a,-3a+b,c" },{ "conjClass": "d","trm": "5a,-3a+b,c;1,0,0" },{ "conjClass": "d","trm": "5a,-3a+b,c;2,0,0" },{ "conjClass": "d","trm": "5a,-3a+b,c;3,0,0" },{ "conjClass": "d","trm": "5a,-3a+b,c;4,0,0" },{ "conjClass": "e","trm": "5a,-4a+b,c" },{ "conjClass": "e","trm": "5a,-4a+b,c;1,0,0" },{ "conjClass": "e","trm": "5a,-4a+b,c;2,0,0" },{ "conjClass": "e","trm": "5a,-4a+b,c;3,0,0" },{ "conjClass": "e","trm": "5a,-4a+b,c;4,0,0" },{ "conjClass": "f","trm": "a,5b,c" },{ "conjClass": "f","trm": "a,5b,c;0,1,0" },{ "conjClass": "f","trm": "a,5b,c;0,2,0" },{ "conjClass": "f","trm": "a,5b,c;0,3,0" },{ "conjClass": "f","trm": "a,5b,c;0,4,0" } ] },{ "det": 7.0,"hm": "l/p 1 1 2","i": 5,"index": 7,"n": 56,"sg": 3,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c" },{ "conjClass": "b","trm": "7a,-a+b,c;1,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c;2,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c;3,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c;4,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c;5,0,0" },{ "conjClass": "b","trm": "7a,-a+b,c;6,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c" },{ "conjClass": "c","trm": "7a,-2a+b,c;1,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c;2,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c;3,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c;4,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c;5,0,0" },{ "conjClass": "c","trm": "7a,-2a+b,c;6,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c" },{ "conjClass": "d","trm": "7a,-3a+b,c;1,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c;2,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c;3,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c;4,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c;5,0,0" },{ "conjClass": "d","trm": "7a,-3a+b,c;6,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c" },{ "conjClass": "e","trm": "7a,-4a+b,c;1,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c;2,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c;3,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c;4,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c;5,0,0" },{ "conjClass": "e","trm": "7a,-4a+b,c;6,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c" },{ "conjClass": "f","trm": "7a,-5a+b,c;1,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c;2,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c;3,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c;4,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c;5,0,0" },{ "conjClass": "f","trm": "7a,-5a+b,c;6,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c" },{ "conjClass": "g","trm": "7a,-6a+b,c;1,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c;2,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c;3,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c;4,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c;5,0,0" },{ "conjClass": "g","trm": "7a,-6a+b,c;6,0,0" },{ "conjClass": "h","trm": "a,7b,c" },{ "conjClass": "h","trm": "a,7b,c;0,1,0" },{ "conjClass": "h","trm": "a,7b,c;0,2,0" },{ "conjClass": "h","trm": "a,7b,c;0,3,0" },{ "conjClass": "h","trm": "a,7b,c;0,4,0" },{ "conjClass": "h","trm": "a,7b,c;0,5,0" },{ "conjClass": "h","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:31 CDT 2024","hm": "l/p 1 1 m","nSettings": 22,"nSubgroups": 6,"sg": 4,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 m","i": 2,"index": 2,"n": 3,"sg": 4,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "a,2b,c" },{ "conjClass": "c","trm": "2a,-a+b,c" } ] },{ "det": 3.0,"hm": "l/p 1 1 m","i": 3,"index": 3,"n": 4,"sg": 4,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "3a,-a+b,c" },{ "conjClass": "c","trm": "3a,-2a+b,c" },{ "conjClass": "d","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 m","i": 4,"index": 5,"n": 3,"sg": 4,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2b,-a-2b,c" },{ "conjClass": "c","trm": "2a,-a+b,c" } ] },{ "det": 7.0,"hm": "l/p 1 1 m","i": 5,"index": 7,"n": 8,"sg": 4,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,-a+b,c" },{ "conjClass": "c","trm": "7a,-2a+b,c" },{ "conjClass": "d","trm": "7a,-3a+b,c" },{ "conjClass": "e","trm": "7a,-4a+b,c" },{ "conjClass": "f","trm": "7a,-5a+b,c" },{ "conjClass": "g","trm": "7a,-6a+b,c" },{ "conjClass": "h","trm": "a,7b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 a","i": 6,"index": 2,"n": 3,"sg": 5,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2b,-a-2b,c" },{ "conjClass": "c","trm": "2a,-a+b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:32 CDT 2024","hm": "l/p 1 1 a","nSettings": 21,"nSubgroups": 5,"sg": 5,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 a","i": 2,"index": 2,"n": 2,"sg": 5,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a-2b,2b,c" } ] },{ "det": 3.0,"hm": "l/p 1 1 a","i": 3,"index": 3,"n": 4,"sg": 5,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "c","trm": "a-2b,3b,c" },{ "conjClass": "d","trm": "a-4b,3b,c" } ] },{ "det": 5.0,"hm": "l/p 1 1 a","i": 4,"index": 5,"n": 6,"sg": 5,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "b","trm": "a,5b,c" },{ "conjClass": "c","trm": "a-2b,5b,c" },{ "conjClass": "d","trm": "a-4b,5b,c" },{ "conjClass": "e","trm": "a-6b,5b,c" },{ "conjClass": "f","trm": "a-8b,5b,c" } ] },{ "det": 7.0,"hm": "l/p 1 1 a","i": 5,"index": 7,"n": 8,"sg": 5,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "c","trm": "a-2b,7b,c" },{ "conjClass": "d","trm": "a-4b,7b,c" },{ "conjClass": "e","trm": "a-6b,7b,c" },{ "conjClass": "f","trm": "a-8b,7b,c" },{ "conjClass": "g","trm": "a-10b,7b,c" },{ "conjClass": "h","trm": "a-8b,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:32 CDT 2024","hm": "l/p 1 1 2/m","nSettings": 89,"nSubgroups": 8,"sg": 6,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 1 1 2","i": 2,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 1 1 m","i": 3,"index": 2,"n": 1,"sg": 4,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 2/m","i": 4,"index": 2,"n": 6,"sg": 6,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "e","trm": "2a,-a+b,c" },{ "conjClass": "f","trm": "2a,-a+b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p 1 1 2/m","i": 5,"index": 3,"n": 12,"sg": 6,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "3a,-a+b,c" },{ "conjClass": "b","trm": "3a,-a+b,c;1,0,0" },{ "conjClass": "b","trm": "3a,-a+b,c;2,0,0" },{ "conjClass": "c","trm": "3a,-2a+b,c" },{ "conjClass": "c","trm": "3a,-2a+b,c;1,0,0" },{ "conjClass": "c","trm": "3a,-2a+b,c;2,0,0" },{ "conjClass": "d","trm": "a,3b,c" },{ "conjClass": "d","trm": "a,3b,c;0,1,0" },{ "conjClass": "d","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 1 1 2/m","i": 6,"index": 5,"n": 6,"sg": 6,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a-2b,c" },{ "conjClass": "d","trm": "2b,-a-2b,c;0,1/2,0" },{ "conjClass": "e","trm": "2a,-a+b,c" },{ "conjClass": "f","trm": "2a,-a+b,c;1/2,0,0" } ] },{ "det": 7.0,"hm": "l/p 1 1 2/m","i": 7,"index": 7,"n": 56,"sg": 6,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,7b,c" },{ "conjClass": "a","trm": "a,7b,c;0,1,0" },{ "conjClass": "a","trm": "a,7b,c;0,2,0" },{ "conjClass": "a","trm": "a,7b,c;0,3,0" },{ "conjClass": "a","trm": "a,7b,c;0,4,0" },{ "conjClass": "a","trm": "a,7b,c;0,5,0" },{ "conjClass": "a","trm": "a,7b,c;0,6,0" },{ "conjClass": "b","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,b,c;1,0,0" },{ "conjClass": "b","trm": "7a,b,c;2,0,0" },{ "conjClass": "b","trm": "7a,b,c;3,0,0" },{ "conjClass": "b","trm": "7a,b,c;4,0,0" },{ "conjClass": "b","trm": "7a,b,c;5,0,0" },{ "conjClass": "b","trm": "7a,b,c;6,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c" },{ "conjClass": "c","trm": "7a,-a+b,c;1,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c;2,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c;3,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c;4,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c;5,0,0" },{ "conjClass": "c","trm": "7a,-a+b,c;6,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c" },{ "conjClass": "d","trm": "7a,-2a+b,c;1,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c;2,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c;3,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c;4,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c;5,0,0" },{ "conjClass": "d","trm": "7a,-2a+b,c;6,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c" },{ "conjClass": "e","trm": "7a,-3a+b,c;1,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c;2,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c;3,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c;4,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c;5,0,0" },{ "conjClass": "e","trm": "7a,-3a+b,c;6,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c" },{ "conjClass": "f","trm": "7a,-4a+b,c;1,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c;2,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c;3,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c;4,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c;5,0,0" },{ "conjClass": "f","trm": "7a,-4a+b,c;6,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c" },{ "conjClass": "g","trm": "7a,-5a+b,c;1,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c;2,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c;3,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c;4,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c;5,0,0" },{ "conjClass": "g","trm": "7a,-5a+b,c;6,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c" },{ "conjClass": "h","trm": "7a,-6a+b,c;1,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c;2,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c;3,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c;4,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c;5,0,0" },{ "conjClass": "h","trm": "7a,-6a+b,c;6,0,0" } ] },{ "det": 2.0,"hm": "l/p 1 1 2/a","i": 8,"index": 2,"n": 6,"sg": 7,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a-2b,c" },{ "conjClass": "d","trm": "2b,-a-2b,c;0,1/2,0" },{ "conjClass": "e","trm": "2a,-a+b,c" },{ "conjClass": "f","trm": "2a,-a+b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:32 CDT 2024","hm": "l/p 1 1 2/a","nSettings": 105,"nSubgroups": 7,"sg": 7,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 1 1 2","i": 2,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p 1 1 a","i": 3,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 1 1 2/a","i": 4,"index": 2,"n": 4,"sg": 7,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "c","trm": "a-2b,2b,c" },{ "conjClass": "d","trm": "a-2b,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 1 1 2/a","i": 5,"index": 3,"n": 12,"sg": 7,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" },{ "conjClass": "c","trm": "a-2b,3b,c" },{ "conjClass": "c","trm": "a-2b,3b,c;0,1,0" },{ "conjClass": "c","trm": "a-2b,3b,c;0,2,0" },{ "conjClass": "d","trm": "a-4b,3b,c" },{ "conjClass": "d","trm": "a-4b,3b,c;0,1,0" },{ "conjClass": "d","trm": "a-4b,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p 1 1 2/a","i": 6,"index": 5,"n": 30,"sg": 7,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" },{ "conjClass": "b","trm": "a,5b,c;0,1,0" },{ "conjClass": "b","trm": "a,5b,c;0,2,0" },{ "conjClass": "b","trm": "a,5b,c;0,3,0" },{ "conjClass": "b","trm": "a,5b,c;0,4,0" },{ "conjClass": "c","trm": "a-2b,5b,c" },{ "conjClass": "c","trm": "a-2b,5b,c;0,1,0" },{ "conjClass": "c","trm": "a-2b,5b,c;0,2,0" },{ "conjClass": "c","trm": "a-2b,5b,c;0,3,0" },{ "conjClass": "c","trm": "a-2b,5b,c;0,4,0" },{ "conjClass": "d","trm": "a-4b,5b,c" },{ "conjClass": "d","trm": "a-4b,5b,c;0,1,0" },{ "conjClass": "d","trm": "a-4b,5b,c;0,2,0" },{ "conjClass": "d","trm": "a-4b,5b,c;0,3,0" },{ "conjClass": "d","trm": "a-4b,5b,c;0,4,0" },{ "conjClass": "e","trm": "a-6b,5b,c" },{ "conjClass": "e","trm": "a-6b,5b,c;0,1,0" },{ "conjClass": "e","trm": "a-6b,5b,c;0,2,0" },{ "conjClass": "e","trm": "a-6b,5b,c;0,3,0" },{ "conjClass": "e","trm": "a-6b,5b,c;0,4,0" },{ "conjClass": "f","trm": "a-8b,5b,c" },{ "conjClass": "f","trm": "a-8b,5b,c;0,1,0" },{ "conjClass": "f","trm": "a-8b,5b,c;0,2,0" },{ "conjClass": "f","trm": "a-8b,5b,c;0,3,0" },{ "conjClass": "f","trm": "a-8b,5b,c;0,4,0" } ] },{ "det": 7.0,"hm": "l/p 1 1 2/a","i": 7,"index": 7,"n": 56,"sg": 7,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" },{ "conjClass": "c","trm": "a-2b,7b,c" },{ "conjClass": "c","trm": "a-2b,7b,c;0,1,0" },{ "conjClass": "c","trm": "a-2b,7b,c;0,2,0" },{ "conjClass": "c","trm": "a-2b,7b,c;0,3,0" },{ "conjClass": "c","trm": "a-2b,7b,c;0,4,0" },{ "conjClass": "c","trm": "a-2b,7b,c;0,5,0" },{ "conjClass": "c","trm": "a-2b,7b,c;0,6,0" },{ "conjClass": "d","trm": "a-4b,7b,c" },{ "conjClass": "d","trm": "a-4b,7b,c;0,1,0" },{ "conjClass": "d","trm": "a-4b,7b,c;0,2,0" },{ "conjClass": "d","trm": "a-4b,7b,c;0,3,0" },{ "conjClass": "d","trm": "a-4b,7b,c;0,4,0" },{ "conjClass": "d","trm": "a-4b,7b,c;0,5,0" },{ "conjClass": "d","trm": "a-4b,7b,c;0,6,0" },{ "conjClass": "e","trm": "a-6b,7b,c" },{ "conjClass": "e","trm": "a-6b,7b,c;0,1,0" },{ "conjClass": "e","trm": "a-6b,7b,c;0,2,0" },{ "conjClass": "e","trm": "a-6b,7b,c;0,3,0" },{ "conjClass": "e","trm": "a-6b,7b,c;0,4,0" },{ "conjClass": "e","trm": "a-6b,7b,c;0,5,0" },{ "conjClass": "e","trm": "a-6b,7b,c;0,6,0" },{ "conjClass": "f","trm": "a-8b,7b,c" },{ "conjClass": "f","trm": "a-8b,7b,c;0,1,0" },{ "conjClass": "f","trm": "a-8b,7b,c;0,2,0" },{ "conjClass": "f","trm": "a-8b,7b,c;0,3,0" },{ "conjClass": "f","trm": "a-8b,7b,c;0,4,0" },{ "conjClass": "f","trm": "a-8b,7b,c;0,5,0" },{ "conjClass": "f","trm": "a-8b,7b,c;0,6,0" },{ "conjClass": "g","trm": "a-10b,7b,c" },{ "conjClass": "g","trm": "a-10b,7b,c;0,1,0" },{ "conjClass": "g","trm": "a-10b,7b,c;0,2,0" },{ "conjClass": "g","trm": "a-10b,7b,c;0,3,0" },{ "conjClass": "g","trm": "a-10b,7b,c;0,4,0" },{ "conjClass": "g","trm": "a-10b,7b,c;0,5,0" },{ "conjClass": "g","trm": "a-10b,7b,c;0,6,0" },{ "conjClass": "h","trm": "a-8b,7b,c" },{ "conjClass": "h","trm": "a-8b,7b,c;0,1,0" },{ "conjClass": "h","trm": "a-8b,7b,c;0,2,0" },{ "conjClass": "h","trm": "a-8b,7b,c;0,3,0" },{ "conjClass": "h","trm": "a-8b,7b,c;0,4,0" },{ "conjClass": "h","trm": "a-8b,7b,c;0,5,0" },{ "conjClass": "h","trm": "a-8b,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:33 CDT 2024","hm": "l/p 2 1 1","nSettings": 14,"nSubgroups": 7,"sg": 8,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 3,"sg": 8,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "a,2b,c" },{ "conjClass": "c","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 2 1 1","i": 3,"index": 3,"n": 4,"sg": 8,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 2 1 1","i": 4,"index": 5,"n": 1,"sg": 8,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" } ] },{ "det": 4.0,"hm": "l/p 2 1 1","i": 5,"index": 7,"n": 2,"sg": 8,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 21 1 1","i": 6,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" } ] },{ "det": 4.0,"hm": "l/c 2 1 1","i": 7,"index": 2,"n": 2,"sg": 10,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:33 CDT 2024","hm": "l/p 21 1 1","nSettings": 21,"nSubgroups": 5,"sg": 9,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 2,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 21 1 1","i": 3,"index": 3,"n": 4,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p 21 1 1","i": 4,"index": 5,"n": 6,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "b","trm": "a,5b,c" },{ "conjClass": "b","trm": "a,5b,c;0,1,0" },{ "conjClass": "b","trm": "a,5b,c;0,2,0" },{ "conjClass": "b","trm": "a,5b,c;0,3,0" },{ "conjClass": "b","trm": "a,5b,c;0,4,0" } ] },{ "det": 7.0,"hm": "l/p 21 1 1","i": 5,"index": 7,"n": 8,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,7b,c" },{ "conjClass": "a","trm": "a,7b,c;0,1,0" },{ "conjClass": "a","trm": "a,7b,c;0,2,0" },{ "conjClass": "a","trm": "a,7b,c;0,3,0" },{ "conjClass": "a","trm": "a,7b,c;0,4,0" },{ "conjClass": "a","trm": "a,7b,c;0,5,0" },{ "conjClass": "a","trm": "a,7b,c;0,6,0" },{ "conjClass": "b","trm": "7a,b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:33 CDT 2024","hm": "l/c 2 1 1","nSettings": 21,"nSubgroups": 6,"sg": 10,"subgroups": [ { "det": 0.5,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 3,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;0,1/4,0" } ] },{ "det": 3.0,"hm": "l/c 2 1 1","i": 4,"index": 3,"n": 4,"sg": 10,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c 2 1 1","i": 5,"index": 5,"n": 6,"sg": 10,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "b","trm": "a,5b,c" },{ "conjClass": "b","trm": "a,5b,c;0,1,0" },{ "conjClass": "b","trm": "a,5b,c;0,2,0" },{ "conjClass": "b","trm": "a,5b,c;0,3,0" },{ "conjClass": "b","trm": "a,5b,c;0,4,0" } ] },{ "det": 7.0,"hm": "l/c 2 1 1","i": 6,"index": 7,"n": 8,"sg": 10,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:33 CDT 2024","hm": "l/p m 1 1","nSettings": 14,"nSubgroups": 7,"sg": 11,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p m 1 1","i": 2,"index": 2,"n": 3,"sg": 11,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" } ] },{ "det": 3.0,"hm": "l/p m 1 1","i": 3,"index": 3,"n": 4,"sg": 11,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p m 1 1","i": 4,"index": 5,"n": 1,"sg": 11,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 4.0,"hm": "l/p m 1 1","i": 5,"index": 7,"n": 2,"sg": 11,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] },{ "det": 2.0,"hm": "l/p b 1 1","i": 6,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 4.0,"hm": "l/c m 1 1","i": 7,"index": 2,"n": 2,"sg": 13,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:34 CDT 2024","hm": "l/p b 1 1","nSettings": 21,"nSubgroups": 5,"sg": 12,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p b 1 1","i": 2,"index": 2,"n": 2,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p b 1 1","i": 3,"index": 3,"n": 4,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/p b 1 1","i": 4,"index": 5,"n": 6,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b 1 1","i": 5,"index": 7,"n": 8,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,7b,c" },{ "conjClass": "b","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,b,c;1,0,0" },{ "conjClass": "b","trm": "7a,b,c;2,0,0" },{ "conjClass": "b","trm": "7a,b,c;3,0,0" },{ "conjClass": "b","trm": "7a,b,c;4,0,0" },{ "conjClass": "b","trm": "7a,b,c;5,0,0" },{ "conjClass": "b","trm": "7a,b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:34 CDT 2024","hm": "l/c m 1 1","nSettings": 21,"nSubgroups": 6,"sg": 13,"subgroups": [ { "det": 0.5,"hm": "l/p 1","i": 1,"index": 2,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 2,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/c m 1 1","i": 4,"index": 3,"n": 4,"sg": 13,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/c m 1 1","i": 5,"index": 5,"n": 6,"sg": 13,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c m 1 1","i": 6,"index": 7,"n": 8,"sg": 13,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,7b,c" },{ "conjClass": "b","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,b,c;1,0,0" },{ "conjClass": "b","trm": "7a,b,c;2,0,0" },{ "conjClass": "b","trm": "7a,b,c;3,0,0" },{ "conjClass": "b","trm": "7a,b,c;4,0,0" },{ "conjClass": "b","trm": "7a,b,c;5,0,0" },{ "conjClass": "b","trm": "7a,b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:34 CDT 2024","hm": "l/p 2/m 1 1","nSettings": 27,"nSubgroups": 10,"sg": 14,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 2/m 1 1","i": 4,"index": 2,"n": 4,"sg": 14,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 2/m 1 1","i": 5,"index": 3,"n": 6,"sg": 14,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 2/m 1 1","i": 6,"index": 5,"n": 2,"sg": 14,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 2.0,"hm": "l/p 2/m 1 1","i": 7,"index": 7,"n": 2,"sg": 14,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/p 21/m 1 1","i": 8,"index": 2,"n": 4,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 2/b11","i": 9,"index": 2,"n": 2,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/c 2/m 1 1","i": 10,"index": 2,"n": 4,"sg": 18,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:35 CDT 2024","hm": "l/p 21/m 1 1","nSettings": 29,"nSubgroups": 8,"sg": 15,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 2.0,"hm": "l/p 21/m 1 1","i": 4,"index": 2,"n": 2,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 21/m 1 1","i": 5,"index": 3,"n": 6,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 21/m 1 1","i": 6,"index": 5,"n": 2,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 7.0,"hm": "l/p 21/m 1 1","i": 7,"index": 7,"n": 14,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] },{ "det": 2.0,"hm": "l/p 21/b 1 1","i": 8,"index": 2,"n": 2,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:35 CDT 2024","hm": "l/p 2/b11","nSettings": 29,"nSubgroups": 8,"sg": 16,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;0,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 2/b11","i": 4,"index": 2,"n": 2,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p 2/b11","i": 5,"index": 3,"n": 6,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 2/b11","i": 6,"index": 5,"n": 2,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 7.0,"hm": "l/p 2/b11","i": 7,"index": 7,"n": 14,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] },{ "det": 2.0,"hm": "l/p 21/b 1 1","i": 8,"index": 2,"n": 2,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:35 CDT 2024","hm": "l/p 21/b 1 1","nSettings": 33,"nSubgroups": 6,"sg": 17,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;0,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/p 21/b 1 1","i": 4,"index": 3,"n": 6,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p 21/b 1 1","i": 5,"index": 5,"n": 10,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p 21/b 1 1","i": 6,"index": 7,"n": 14,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:35 CDT 2024","hm": "l/c 2/m 1 1","nSettings": 37,"nSubgroups": 10,"sg": 18,"subgroups": [ { "det": 0.5,"hm": "l/p -1","i": 1,"index": 2,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2 1 1","i": 2,"index": 2,"n": 1,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/c m 1 1","i": 3,"index": 2,"n": 1,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/m 1 1","i": 4,"index": 2,"n": 1,"sg": 14,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/m 1 1","i": 5,"index": 2,"n": 1,"sg": 15,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p 2/b11","i": 6,"index": 2,"n": 1,"sg": 16,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p 21/b 1 1","i": 7,"index": 2,"n": 1,"sg": 17,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/c 2/m 1 1","i": 8,"index": 3,"n": 6,"sg": 18,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c 2/m 1 1","i": 9,"index": 5,"n": 10,"sg": 18,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c 2/m 1 1","i": 10,"index": 7,"n": 14,"sg": 18,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,7b,c" },{ "conjClass": "a","trm": "a,7b,c;0,1,0" },{ "conjClass": "a","trm": "a,7b,c;0,2,0" },{ "conjClass": "a","trm": "a,7b,c;0,3,0" },{ "conjClass": "a","trm": "a,7b,c;0,4,0" },{ "conjClass": "a","trm": "a,7b,c;0,5,0" },{ "conjClass": "a","trm": "a,7b,c;0,6,0" },{ "conjClass": "b","trm": "7a,b,c" },{ "conjClass": "b","trm": "7a,b,c;1,0,0" },{ "conjClass": "b","trm": "7a,b,c;2,0,0" },{ "conjClass": "b","trm": "7a,b,c;3,0,0" },{ "conjClass": "b","trm": "7a,b,c;4,0,0" },{ "conjClass": "b","trm": "7a,b,c;5,0,0" },{ "conjClass": "b","trm": "7a,b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:36 CDT 2024","hm": "l/p 2 2 2","nSettings": 29,"nSubgroups": 8,"sg": 19,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 2,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 2 2 2","i": 3,"index": 2,"n": 4,"sg": 19,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 2 2 2","i": 4,"index": 3,"n": 6,"sg": 19,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 2 2 2","i": 5,"index": 5,"n": 4,"sg": 19,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "b","trm": "2a,b,c" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/p 2 2 2","i": 6,"index": 7,"n": 4,"sg": 19,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 21 2 2","i": 7,"index": 2,"n": 4,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "b","trm": "2a,b,c" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/c 2 2 2","i": 8,"index": 2,"n": 4,"sg": 22,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:36 CDT 2024","hm": "l/p 21 2 2","nSettings": 29,"nSubgroups": 8,"sg": 20,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 3,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 2,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p 21 2 2","i": 5,"index": 3,"n": 6,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p 21 2 2","i": 6,"index": 5,"n": 2,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "b","trm": "a,2b,c" } ] },{ "det": 7.0,"hm": "l/p 21 2 2","i": 7,"index": 7,"n": 14,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] },{ "det": 2.0,"hm": "l/p 21 21 2","i": 8,"index": 2,"n": 2,"sg": 21,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c;0,1/2,0" },{ "conjClass": "b","trm": "a,2b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:36 CDT 2024","hm": "l/p 21 21 2","nSettings": 33,"nSubgroups": 5,"sg": 21,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 2,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,0,0" },{ "conjClass": "b","trm": "a,b,c;0,1/4,0" } ] },{ "det": 3.0,"hm": "l/p 21 21 2","i": 3,"index": 3,"n": 6,"sg": 21,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p 21 21 2","i": 4,"index": 5,"n": 10,"sg": 21,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p 21 21 2","i": 5,"index": 7,"n": 14,"sg": 21,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:37 CDT 2024","hm": "l/c 2 2 2","nSettings": 37,"nSubgroups": 8,"sg": 22,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2 1 1","i": 2,"index": 2,"n": 2,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 2 2","i": 3,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 2,"sg": 20,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" },{ "conjClass": "b","trm": "b,-a,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p 21 21 2","i": 5,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/c 2 2 2","i": 6,"index": 3,"n": 6,"sg": 22,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c 2 2 2","i": 7,"index": 5,"n": 10,"sg": 22,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c 2 2 2","i": 8,"index": 7,"n": 14,"sg": 22,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:37 CDT 2024","hm": "l/p m m 2","nSettings": 29,"nSubgroups": 8,"sg": 23,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 2,"index": 2,"n": 2,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p m m 2","i": 3,"index": 2,"n": 4,"sg": 23,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m m 2","i": 4,"index": 3,"n": 6,"sg": 23,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m m 2","i": 5,"index": 5,"n": 4,"sg": 23,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/p m m 2","i": 6,"index": 7,"n": 4,"sg": 23,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a 2","i": 7,"index": 2,"n": 4,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/c m m 2","i": 8,"index": 2,"n": 4,"sg": 26,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:37 CDT 2024","hm": "l/p m a 2","nSettings": 29,"nSubgroups": 8,"sg": 24,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 2,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 2.0,"hm": "l/p m a 2","i": 4,"index": 2,"n": 2,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m a 2","i": 5,"index": 3,"n": 6,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m a 2","i": 6,"index": 5,"n": 2,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 7.0,"hm": "l/p m a 2","i": 7,"index": 7,"n": 14,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] },{ "det": 2.0,"hm": "l/p b a 2","i": 8,"index": 2,"n": 2,"sg": 25,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:38 CDT 2024","hm": "l/p b a 2","nSettings": 33,"nSubgroups": 5,"sg": 25,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 2,"index": 2,"n": 2,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;0,1/4,0" },{ "conjClass": "b","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/p b a 2","i": 3,"index": 3,"n": 6,"sg": 25,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p b a 2","i": 4,"index": 5,"n": 10,"sg": 25,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b a 2","i": 5,"index": 7,"n": 14,"sg": 25,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:38 CDT 2024","hm": "l/c m m 2","nSettings": 37,"nSubgroups": 8,"sg": 26,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c m 1 1","i": 2,"index": 2,"n": 2,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m m 2","i": 3,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m a 2","i": 4,"index": 2,"n": 2,"sg": 24,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "-b,a,c;1/4,1/4,0" },{ "conjClass": "b","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b a 2","i": 5,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/c m m 2","i": 6,"index": 3,"n": 6,"sg": 26,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c m m 2","i": 7,"index": 5,"n": 10,"sg": 26,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c m m 2","i": 8,"index": 7,"n": 14,"sg": 26,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:38 CDT 2024","hm": "l/p m 2 m","nSettings": 23,"nSubgroups": 13,"sg": 27,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 m","i": 1,"index": 2,"n": 1,"sg": 4,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p m 2 m","i": 4,"index": 2,"n": 3,"sg": 27,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" } ] },{ "det": 3.0,"hm": "l/p m 2 m","i": 5,"index": 3,"n": 4,"sg": 27,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p m 2 m","i": 6,"index": 5,"n": 1,"sg": 27,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p m 2 m","i": 7,"index": 7,"n": 1,"sg": 27,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p m 21b","i": 8,"index": 2,"n": 1,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p b 21m","i": 9,"index": 2,"n": 2,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 4.0,"hm": "l/p b 2 b","i": 10,"index": 2,"n": 2,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] },{ "det": 4.0,"hm": "l/p m 2 a","i": 11,"index": 2,"n": 2,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] },{ "det": 4.0,"hm": "l/c m 2 m","i": 12,"index": 2,"n": 2,"sg": 35,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] },{ "det": 4.0,"hm": "l/c m 2 e","i": 13,"index": 2,"n": 2,"sg": 36,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:39 CDT 2024","hm": "l/p m 21b","nSettings": 21,"nSubgroups": 8,"sg": 28,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p m 21b","i": 4,"index": 2,"n": 2,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p m 21b","i": 5,"index": 3,"n": 4,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p m 21b","i": 6,"index": 5,"n": 2,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "b","trm": "2a,b,c" } ] },{ "det": 7.0,"hm": "l/p m 21b","i": 7,"index": 7,"n": 8,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] },{ "det": 2.0,"hm": "l/p m 21n","i": 8,"index": 2,"n": 2,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "b","trm": "2a,b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:39 CDT 2024","hm": "l/p b 21m","nSettings": 21,"nSubgroups": 8,"sg": 29,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 m","i": 1,"index": 2,"n": 1,"sg": 4,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p b 21m","i": 4,"index": 2,"n": 2,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p b 21m","i": 5,"index": 3,"n": 4,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p b 21m","i": 6,"index": 5,"n": 2,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 7.0,"hm": "l/p b 21m","i": 7,"index": 7,"n": 8,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] },{ "det": 2.0,"hm": "l/p b 21a","i": 8,"index": 2,"n": 2,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:39 CDT 2024","hm": "l/p b 2 b","nSettings": 21,"nSubgroups": 8,"sg": 30,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p b 2 b","i": 4,"index": 2,"n": 2,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 3.0,"hm": "l/p b 2 b","i": 5,"index": 3,"n": 4,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p b 2 b","i": 6,"index": 5,"n": 2,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] },{ "det": 7.0,"hm": "l/p b 2 b","i": 7,"index": 7,"n": 8,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] },{ "det": 2.0,"hm": "l/p b 2 n","i": 8,"index": 2,"n": 2,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:40 CDT 2024","hm": "l/p m 2 a","nSettings": 13,"nSubgroups": 10,"sg": 31,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 2.0,"hm": "l/p m 2 a","i": 4,"index": 2,"n": 1,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 3.0,"hm": "l/p m 2 a","i": 5,"index": 3,"n": 4,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 2.0,"hm": "l/p m 2 a","i": 6,"index": 5,"n": 1,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c;1/4,0,0" } ] },{ "det": 2.0,"hm": "l/p m 2 a","i": 7,"index": 7,"n": 1,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p m 21n","i": 8,"index": 2,"n": 1,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p b 21a","i": 9,"index": 2,"n": 1,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] },{ "det": 2.0,"hm": "l/p b 2 n","i": 10,"index": 2,"n": 1,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:40 CDT 2024","hm": "l/p m 21n","nSettings": 21,"nSubgroups": 6,"sg": 32,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m 1 1","i": 3,"index": 2,"n": 1,"sg": 11,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p m 21n","i": 4,"index": 3,"n": 4,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/p m 21n","i": 5,"index": 5,"n": 6,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/p m 21n","i": 6,"index": 7,"n": 8,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:40 CDT 2024","hm": "l/p b 21a","nSettings": 21,"nSubgroups": 6,"sg": 33,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 1 1","i": 2,"index": 2,"n": 1,"sg": 9,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/p b 21a","i": 4,"index": 3,"n": 4,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/p b 21a","i": 5,"index": 5,"n": 6,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/p b 21a","i": 6,"index": 7,"n": 8,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:40 CDT 2024","hm": "l/p b 2 n","nSettings": 21,"nSubgroups": 6,"sg": 34,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 2 1 1","i": 2,"index": 2,"n": 1,"sg": 8,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p b 1 1","i": 3,"index": 2,"n": 1,"sg": 12,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/p b 2 n","i": 4,"index": 3,"n": 4,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/p b 2 n","i": 5,"index": 5,"n": 6,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/p b 2 n","i": 6,"index": 7,"n": 8,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:41 CDT 2024","hm": "l/c m 2 m","nSettings": 25,"nSubgroups": 10,"sg": 35,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 m","i": 1,"index": 2,"n": 1,"sg": 4,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2 1 1","i": 2,"index": 2,"n": 1,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/c m 1 1","i": 3,"index": 2,"n": 1,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 2 m","i": 4,"index": 2,"n": 1,"sg": 27,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 21m","i": 5,"index": 2,"n": 1,"sg": 29,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m 21n","i": 6,"index": 2,"n": 1,"sg": 32,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 2 n","i": 7,"index": 2,"n": 1,"sg": 34,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/c m 2 m","i": 8,"index": 3,"n": 4,"sg": 35,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/c m 2 m","i": 9,"index": 5,"n": 6,"sg": 35,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/c m 2 m","i": 10,"index": 7,"n": 8,"sg": 35,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:41 CDT 2024","hm": "l/c m 2 e","nSettings": 25,"nSubgroups": 10,"sg": 36,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 a","i": 1,"index": 2,"n": 1,"sg": 5,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,-1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2 1 1","i": 2,"index": 2,"n": 1,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/c m 1 1","i": 3,"index": 2,"n": 1,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m 21b","i": 4,"index": 2,"n": 1,"sg": 28,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b 2 b","i": 5,"index": 2,"n": 1,"sg": 30,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 2 a","i": 6,"index": 2,"n": 1,"sg": 31,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 21a","i": 7,"index": 2,"n": 1,"sg": 33,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/c m 2 e","i": 8,"index": 3,"n": 4,"sg": 36,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" } ] },{ "det": 5.0,"hm": "l/c m 2 e","i": 9,"index": 5,"n": 6,"sg": 36,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "5a,b,c" },{ "conjClass": "a","trm": "5a,b,c;1,0,0" },{ "conjClass": "a","trm": "5a,b,c;2,0,0" },{ "conjClass": "a","trm": "5a,b,c;3,0,0" },{ "conjClass": "a","trm": "5a,b,c;4,0,0" },{ "conjClass": "b","trm": "a,5b,c" } ] },{ "det": 7.0,"hm": "l/c m 2 e","i": 10,"index": 7,"n": 8,"sg": 36,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:41 CDT 2024","hm": "l/p m m m","nSettings": 45,"nSubgroups": 14,"sg": 37,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/m","i": 1,"index": 2,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/m 1 1","i": 2,"index": 2,"n": 2,"sg": 14,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 2 2","i": 3,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m m 2","i": 4,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 2 m","i": 5,"index": 2,"n": 2,"sg": 27,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" },{ "conjClass": "b","trm": "b,-a,c" } ] },{ "det": 2.0,"hm": "l/p m m m","i": 6,"index": 2,"n": 4,"sg": 37,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "a,2b,c" },{ "conjClass": "d","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m m m","i": 7,"index": 3,"n": 6,"sg": 37,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m m m","i": 8,"index": 5,"n": 4,"sg": 37,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m m m","i": 9,"index": 7,"n": 4,"sg": 37,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a a","i": 10,"index": 2,"n": 4,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,b,c" },{ "conjClass": "b","trm": "2a,b,c;1/2,0,0" },{ "conjClass": "c","trm": "2b,-a,c" },{ "conjClass": "d","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/p m a m","i": 11,"index": 2,"n": 4,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;1/2,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/p m m a","i": 12,"index": 2,"n": 4,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c;1/2,1/2,0" },{ "conjClass": "b","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "c","trm": "2a,2b,c" },{ "conjClass": "d","trm": "2a,2b,c;1/2,0,0" } ] },{ "det": 4.0,"hm": "l/c m m m","i": 13,"index": 2,"n": 4,"sg": 47,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c" },{ "conjClass": "b","trm": "2a,2b,c;1/2,0,0" },{ "conjClass": "c","trm": "2a,2b,c;1/2,1/2,0" },{ "conjClass": "d","trm": "2a,2b,c;0,1/2,0" } ] },{ "det": 4.0,"hm": "l/c m m e","i": 14,"index": 2,"n": 4,"sg": 48,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a,2b,c;1/2,1/2,0" },{ "conjClass": "b","trm": "2a,2b,c;0,1/2,0" },{ "conjClass": "c","trm": "2a,2b,c" },{ "conjClass": "d","trm": "2a,2b,c;1/2,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:42 CDT 2024","hm": "l/p m a a","nSettings": 25,"nSubgroups": 14,"sg": 38,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/m 1 1","i": 2,"index": 2,"n": 1,"sg": 14,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/b11","i": 3,"index": 2,"n": 1,"sg": 16,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 2 2 2","i": 4,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m a 2","i": 5,"index": 2,"n": 1,"sg": 24,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b 2 b","i": 6,"index": 2,"n": 1,"sg": 30,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m 2 a","i": 7,"index": 2,"n": 1,"sg": 31,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 2.0,"hm": "l/p m a a","i": 8,"index": 2,"n": 2,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m a a","i": 9,"index": 3,"n": 6,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m a a","i": 10,"index": 5,"n": 2,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a a","i": 11,"index": 7,"n": 2,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b a n","i": 12,"index": 2,"n": 2,"sg": 39,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a n","i": 13,"index": 2,"n": 2,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b a a","i": 14,"index": 2,"n": 2,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:42 CDT 2024","hm": "l/p b a n","nSettings": 37,"nSubgroups": 8,"sg": 39,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 2/b11","i": 2,"index": 2,"n": 2,"sg": 16,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2 2 2","i": 3,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b a 2","i": 4,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b 2 n","i": 5,"index": 2,"n": 2,"sg": 34,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" },{ "conjClass": "b","trm": "b,-a,c;0,1/4,0" } ] },{ "det": 3.0,"hm": "l/p b a n","i": 6,"index": 3,"n": 6,"sg": 39,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p b a n","i": 7,"index": 5,"n": 10,"sg": 39,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b a n","i": 8,"index": 7,"n": 14,"sg": 39,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:43 CDT 2024","hm": "l/p m a m","nSettings": 25,"nSubgroups": 14,"sg": 40,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/m","i": 1,"index": 2,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/m 1 1","i": 2,"index": 2,"n": 1,"sg": 15,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/b11","i": 3,"index": 2,"n": 1,"sg": 16,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 1,"sg": 20,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m a 2","i": 5,"index": 2,"n": 1,"sg": 24,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m 2 m","i": 6,"index": 2,"n": 1,"sg": 27,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b 21m","i": 7,"index": 2,"n": 1,"sg": 29,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 2.0,"hm": "l/p m a m","i": 8,"index": 2,"n": 2,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m a m","i": 9,"index": 3,"n": 6,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m a m","i": 10,"index": 5,"n": 2,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2b,-a,c" },{ "conjClass": "b","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a m","i": 11,"index": 7,"n": 2,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b a a","i": 12,"index": 2,"n": 2,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2b,-a,c" },{ "conjClass": "b","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b a m","i": 13,"index": 2,"n": 2,"sg": 44,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b m a","i": 14,"index": 2,"n": 2,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2b,-a,c" },{ "conjClass": "b","trm": "2b,-a,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:43 CDT 2024","hm": "l/p m m a","nSettings": 25,"nSubgroups": 14,"sg": 41,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/m 1 1","i": 2,"index": 2,"n": 1,"sg": 14,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21/m 1 1","i": 3,"index": 2,"n": 1,"sg": 15,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 1,"sg": 20,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m m 2","i": 5,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m 21b","i": 6,"index": 2,"n": 1,"sg": 28,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m 2 a","i": 7,"index": 2,"n": 1,"sg": 31,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p m m a","i": 8,"index": 2,"n": 2,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 3.0,"hm": "l/p m m a","i": 9,"index": 3,"n": 6,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 2.0,"hm": "l/p m m a","i": 10,"index": 5,"n": 2,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2b,-a,c" },{ "conjClass": "b","trm": "2b,-a,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m m a","i": 11,"index": 7,"n": 2,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m a n","i": 12,"index": 2,"n": 2,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p b m a","i": 13,"index": 2,"n": 2,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p m m n","i": 14,"index": 2,"n": 2,"sg": 46,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,2b,c" },{ "conjClass": "b","trm": "a,2b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:44 CDT 2024","hm": "l/p m a n","nSettings": 37,"nSubgroups": 10,"sg": 42,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 2/m 1 1","i": 2,"index": 2,"n": 1,"sg": 14,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/b 1 1","i": 3,"index": 2,"n": 1,"sg": 17,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 1,"sg": 20,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m a 2","i": 5,"index": 2,"n": 1,"sg": 24,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m 21n","i": 6,"index": 2,"n": 1,"sg": 32,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 2 n","i": 7,"index": 2,"n": 1,"sg": 34,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 3.0,"hm": "l/p m a n","i": 8,"index": 3,"n": 6,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p m a n","i": 9,"index": 5,"n": 10,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p m a n","i": 10,"index": 7,"n": 14,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:44 CDT 2024","hm": "l/p b a a","nSettings": 37,"nSubgroups": 10,"sg": 43,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 2/b11","i": 2,"index": 2,"n": 1,"sg": 16,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/b 1 1","i": 3,"index": 2,"n": 1,"sg": 17,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21 2 2","i": 4,"index": 2,"n": 1,"sg": 20,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b a 2","i": 5,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p b 2 b","i": 6,"index": 2,"n": 1,"sg": 30,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;0,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b 21a","i": 7,"index": 2,"n": 1,"sg": 33,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 3.0,"hm": "l/p b a a","i": 8,"index": 3,"n": 6,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p b a a","i": 9,"index": 5,"n": 10,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b a a","i": 10,"index": 7,"n": 14,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:45 CDT 2024","hm": "l/p b a m","nSettings": 37,"nSubgroups": 8,"sg": 44,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/m","i": 1,"index": 2,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/b 1 1","i": 2,"index": 2,"n": 2,"sg": 17,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 21 2","i": 3,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b a 2","i": 4,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b 21m","i": 5,"index": 2,"n": 2,"sg": 29,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" },{ "conjClass": "b","trm": "b,-a,c;0,1/4,0" } ] },{ "det": 3.0,"hm": "l/p b a m","i": 6,"index": 3,"n": 6,"sg": 44,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p b a m","i": 7,"index": 5,"n": 10,"sg": 44,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b a m","i": 8,"index": 7,"n": 14,"sg": 44,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:45 CDT 2024","hm": "l/p b m a","nSettings": 37,"nSubgroups": 10,"sg": 45,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21/m 1 1","i": 2,"index": 2,"n": 1,"sg": 15,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21/b 1 1","i": 3,"index": 2,"n": 1,"sg": 17,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 21 2","i": 4,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m a 2","i": 5,"index": 2,"n": 1,"sg": 24,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/p m 21b","i": 6,"index": 2,"n": 1,"sg": 28,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;0,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b 21a","i": 7,"index": 2,"n": 1,"sg": 33,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p b m a","i": 8,"index": 3,"n": 6,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p b m a","i": 9,"index": 5,"n": 10,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p b m a","i": 10,"index": 7,"n": 14,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:45 CDT 2024","hm": "l/p m m n","nSettings": 37,"nSubgroups": 8,"sg": 46,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a,c" } ] },{ "det": 1.0,"hm": "l/p 21/m 1 1","i": 2,"index": 2,"n": 2,"sg": 15,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 21 21 2","i": 3,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m m 2","i": 4,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m 21n","i": 5,"index": 2,"n": 2,"sg": 32,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" },{ "conjClass": "b","trm": "b,-a,c;0,1/4,0" } ] },{ "det": 3.0,"hm": "l/p m m n","i": 6,"index": 3,"n": 6,"sg": 46,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/p m m n","i": 7,"index": 5,"n": 10,"sg": 46,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/p m m n","i": 8,"index": 7,"n": 14,"sg": 46,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:46 CDT 2024","hm": "l/c m m m","nSettings": 45,"nSubgroups": 14,"sg": 47,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 2/m","i": 1,"index": 2,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "1/2a-1/2b,1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2/m 1 1","i": 2,"index": 2,"n": 2,"sg": 18,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/c 2 2 2","i": 3,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/c m m 2","i": 4,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/c m 2 m","i": 5,"index": 2,"n": 2,"sg": 35,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" },{ "conjClass": "b","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m m m","i": 6,"index": 2,"n": 1,"sg": 37,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b a n","i": 7,"index": 2,"n": 1,"sg": 39,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m a m","i": 8,"index": 2,"n": 2,"sg": 40,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" },{ "conjClass": "b","trm": "b,-a,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m a n","i": 9,"index": 2,"n": 2,"sg": 42,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p b a m","i": 10,"index": 2,"n": 1,"sg": 44,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p m m n","i": 11,"index": 2,"n": 1,"sg": 46,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 3.0,"hm": "l/c m m m","i": 12,"index": 3,"n": 6,"sg": 47,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c m m m","i": 13,"index": 5,"n": 10,"sg": 47,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c m m m","i": 14,"index": 7,"n": 14,"sg": 47,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:46 CDT 2024","hm": "l/c m m e","nSettings": 45,"nSubgroups": 12,"sg": 48,"subgroups": [ { "det": 0.5,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,-1/2a+1/2b,c" } ] },{ "det": 1.0,"hm": "l/c 2/m 1 1","i": 2,"index": 2,"n": 2,"sg": 18,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "b,-a,c;1/4,1/4,0" },{ "conjClass": "b","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/c 2 2 2","i": 3,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" } ] },{ "det": 1.0,"hm": "l/c m m 2","i": 4,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;0,1/4,0" } ] },{ "det": 1.0,"hm": "l/c m 2 e","i": 5,"index": 2,"n": 2,"sg": 36,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,0,0" },{ "conjClass": "b","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p m a a","i": 6,"index": 2,"n": 2,"sg": 38,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" },{ "conjClass": "b","trm": "b,-a,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p m m a","i": 7,"index": 2,"n": 2,"sg": 41,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "b,-a,c" },{ "conjClass": "b","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p b a a","i": 8,"index": 2,"n": 2,"sg": 43,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" },{ "conjClass": "b","trm": "b,-a,c" } ] },{ "det": 1.0,"hm": "l/p b m a","i": 9,"index": 2,"n": 2,"sg": 45,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,b,c" },{ "conjClass": "b","trm": "b,-a,c;1/4,1/4,0" } ] },{ "det": 3.0,"hm": "l/c m m e","i": 10,"index": 3,"n": 6,"sg": 48,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,b,c" },{ "conjClass": "a","trm": "3a,b,c;1,0,0" },{ "conjClass": "a","trm": "3a,b,c;2,0,0" },{ "conjClass": "b","trm": "a,3b,c" },{ "conjClass": "b","trm": "a,3b,c;0,1,0" },{ "conjClass": "b","trm": "a,3b,c;0,2,0" } ] },{ "det": 5.0,"hm": "l/c m m e","i": 11,"index": 5,"n": 10,"sg": 48,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a,5b,c" },{ "conjClass": "a","trm": "a,5b,c;0,1,0" },{ "conjClass": "a","trm": "a,5b,c;0,2,0" },{ "conjClass": "a","trm": "a,5b,c;0,3,0" },{ "conjClass": "a","trm": "a,5b,c;0,4,0" },{ "conjClass": "b","trm": "5a,b,c" },{ "conjClass": "b","trm": "5a,b,c;1,0,0" },{ "conjClass": "b","trm": "5a,b,c;2,0,0" },{ "conjClass": "b","trm": "5a,b,c;3,0,0" },{ "conjClass": "b","trm": "5a,b,c;4,0,0" } ] },{ "det": 7.0,"hm": "l/c m m e","i": 12,"index": 7,"n": 14,"sg": 48,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "7a,b,c" },{ "conjClass": "a","trm": "7a,b,c;1,0,0" },{ "conjClass": "a","trm": "7a,b,c;2,0,0" },{ "conjClass": "a","trm": "7a,b,c;3,0,0" },{ "conjClass": "a","trm": "7a,b,c;4,0,0" },{ "conjClass": "a","trm": "7a,b,c;5,0,0" },{ "conjClass": "a","trm": "7a,b,c;6,0,0" },{ "conjClass": "b","trm": "a,7b,c" },{ "conjClass": "b","trm": "a,7b,c;0,1,0" },{ "conjClass": "b","trm": "a,7b,c;0,2,0" },{ "conjClass": "b","trm": "a,7b,c;0,3,0" },{ "conjClass": "b","trm": "a,7b,c;0,4,0" },{ "conjClass": "b","trm": "a,7b,c;0,5,0" },{ "conjClass": "b","trm": "a,7b,c;0,6,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:47 CDT 2024","hm": "l/p 4","nSettings": 22,"nSubgroups": 4,"sg": 49,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 4","i": 2,"index": 2,"n": 2,"sg": 49,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 5.0,"hm": "l/p 4","i": 3,"index": 5,"n": 10,"sg": 49,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-2b,2a+b,c" },{ "conjClass": "a","trm": "a-2b,2a+b,c;1,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;2,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;3,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;4,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c" },{ "conjClass": "b","trm": "2a-b,a+2b,c;1,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;2,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;3,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;4,0,0" } ] },{ "det": 9.0,"hm": "l/p 4","i": 4,"index": 9,"n": 9,"sg": 49,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:47 CDT 2024","hm": "l/p -4","nSettings": 22,"nSubgroups": 4,"sg": 50,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 2,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p -4","i": 2,"index": 2,"n": 2,"sg": 50,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 5.0,"hm": "l/p -4","i": 3,"index": 5,"n": 10,"sg": 50,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a-b,a+2b,c" },{ "conjClass": "a","trm": "2a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "2a-b,a+2b,c;2,0,0" },{ "conjClass": "a","trm": "2a-b,a+2b,c;3,0,0" },{ "conjClass": "a","trm": "2a-b,a+2b,c;4,0,0" },{ "conjClass": "b","trm": "a-2b,2a+b,c" },{ "conjClass": "b","trm": "a-2b,2a+b,c;1,0,0" },{ "conjClass": "b","trm": "a-2b,2a+b,c;2,0,0" },{ "conjClass": "b","trm": "a-2b,2a+b,c;3,0,0" },{ "conjClass": "b","trm": "a-2b,2a+b,c;4,0,0" } ] },{ "det": 9.0,"hm": "l/p -4","i": 4,"index": 9,"n": 9,"sg": 50,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:47 CDT 2024","hm": "l/p 4/m","nSettings": 18,"nSubgroups": 7,"sg": 51,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/m","i": 1,"index": 2,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4","i": 2,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 4/m","i": 4,"index": 2,"n": 2,"sg": 51,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4/m","i": 5,"index": 5,"n": 2,"sg": 51,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;1/2,0,0" },{ "conjClass": "b","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 9.0,"hm": "l/p 4/m","i": 6,"index": 9,"n": 9,"sg": 51,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] },{ "det": 2.0,"hm": "l/p 4/n","i": 7,"index": 2,"n": 2,"sg": 52,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;1/2,0,0" },{ "conjClass": "b","trm": "a-b,a+b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:47 CDT 2024","hm": "l/p 4/n: origin choice 2","nSettings": 22,"nSubgroups": 5,"sg": 52,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/a","i": 1,"index": 2,"n": 1,"sg": 7,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "-a-b,a,c" } ] },{ "det": 1.0,"hm": "l/p 4","i": 2,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,3/4,0" } ] },{ "det": 5.0,"hm": "l/p 4/n","i": 4,"index": 5,"n": 10,"sg": 52,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-2b,2a+b,c" },{ "conjClass": "a","trm": "a-2b,2a+b,c;1,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;2,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;3,0,0" },{ "conjClass": "a","trm": "a-2b,2a+b,c;4,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;1/2,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;3/2,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;5/2,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;7/2,0,0" },{ "conjClass": "b","trm": "2a-b,a+2b,c;9/2,0,0" } ] },{ "det": 9.0,"hm": "l/p 4/n","i": 5,"index": 9,"n": 9,"sg": 52,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:47 CDT 2024","hm": "l/p 4 2 2","nSettings": 9,"nSubgroups": 6,"sg": 53,"subgroups": [ { "det": 1.0,"hm": "l/p 2 2 2","i": 1,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c 2 2 2","i": 2,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p 4","i": 3,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 4 2 2","i": 4,"index": 2,"n": 2,"sg": 53,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4 2 2","i": 5,"index": 9,"n": 2,"sg": 53,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4 21 2","i": 6,"index": 2,"n": 2,"sg": 54,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:48 CDT 2024","hm": "l/p 4 21 2","nSettings": 12,"nSubgroups": 4,"sg": 54,"subgroups": [ { "det": 1.0,"hm": "l/p 21 21 2","i": 1,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c 2 2 2","i": 2,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p 4","i": 3,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 9.0,"hm": "l/p 4 21 2","i": 4,"index": 9,"n": 9,"sg": 54,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:48 CDT 2024","hm": "l/p 4 m m","nSettings": 9,"nSubgroups": 6,"sg": 55,"subgroups": [ { "det": 1.0,"hm": "l/p m m 2","i": 1,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m 2","i": 2,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p 4","i": 3,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 4 m m","i": 4,"index": 2,"n": 2,"sg": 55,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4 m m","i": 5,"index": 9,"n": 2,"sg": 55,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4 b m","i": 6,"index": 2,"n": 2,"sg": 56,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:48 CDT 2024","hm": "l/p 4 b m","nSettings": 12,"nSubgroups": 4,"sg": 56,"subgroups": [ { "det": 1.0,"hm": "l/p b a 2","i": 1,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m 2","i": 2,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p 4","i": 3,"index": 2,"n": 1,"sg": 49,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 9.0,"hm": "l/p 4 b m","i": 4,"index": 9,"n": 9,"sg": 56,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:48 CDT 2024","hm": "l/p -4 2 m","nSettings": 9,"nSubgroups": 6,"sg": 57,"subgroups": [ { "det": 1.0,"hm": "l/p 2 2 2","i": 1,"index": 2,"n": 1,"sg": 19,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m 2","i": 2,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p -4 2 m","i": 4,"index": 9,"n": 2,"sg": 57,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p -4 m 2","i": 5,"index": 2,"n": 2,"sg": 59,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p -4 b 2","i": 6,"index": 2,"n": 2,"sg": 60,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:48 CDT 2024","hm": "l/p -4 21 m","nSettings": 12,"nSubgroups": 4,"sg": 58,"subgroups": [ { "det": 1.0,"hm": "l/p 21 21 2","i": 1,"index": 2,"n": 1,"sg": 21,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m 2","i": 2,"index": 2,"n": 1,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 9.0,"hm": "l/p -4 21 m","i": 4,"index": 9,"n": 9,"sg": 58,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:49 CDT 2024","hm": "l/p -4 m 2","nSettings": 16,"nSubgroups": 6,"sg": 59,"subgroups": [ { "det": 2.0,"hm": "l/c 2 2 2","i": 1,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p m m 2","i": 2,"index": 2,"n": 1,"sg": 23,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p -4 2 m","i": 4,"index": 2,"n": 2,"sg": 57,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p -4 21 m","i": 5,"index": 2,"n": 2,"sg": 58,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 9.0,"hm": "l/p -4 m 2","i": 6,"index": 9,"n": 9,"sg": 59,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:49 CDT 2024","hm": "l/p -4 b 2","nSettings": 12,"nSubgroups": 4,"sg": 60,"subgroups": [ { "det": 2.0,"hm": "l/c 2 2 2","i": 1,"index": 2,"n": 1,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p b a 2","i": 2,"index": 2,"n": 1,"sg": 25,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4","i": 3,"index": 2,"n": 1,"sg": 50,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 9.0,"hm": "l/p -4 b 2","i": 4,"index": 9,"n": 9,"sg": 60,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:49 CDT 2024","hm": "l/p 4/m m m","nSettings": 17,"nSubgroups": 12,"sg": 61,"subgroups": [ { "det": 1.0,"hm": "l/p m m m","i": 1,"index": 2,"n": 1,"sg": 37,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m m","i": 2,"index": 2,"n": 1,"sg": 47,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p 4/m","i": 3,"index": 2,"n": 1,"sg": 51,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 2 2","i": 4,"index": 2,"n": 1,"sg": 53,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 m m","i": 5,"index": 2,"n": 1,"sg": 55,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4 2 m","i": 6,"index": 2,"n": 1,"sg": 57,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4 m 2","i": 7,"index": 2,"n": 1,"sg": 59,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/p 4/m m m","i": 8,"index": 2,"n": 2,"sg": 61,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4/m m m","i": 9,"index": 9,"n": 2,"sg": 61,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;1/2,0,0" },{ "conjClass": "b","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4/n b m","i": 10,"index": 2,"n": 2,"sg": 62,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a-b,a+b,c;1/2,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4/m b m","i": 11,"index": 2,"n": 2,"sg": 63,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;1/2,0,0" },{ "conjClass": "b","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 2.0,"hm": "l/p 4/n m m","i": 12,"index": 2,"n": 2,"sg": 64,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;1/2,0,0" },{ "conjClass": "b","trm": "a-b,a+b,c;0,1/2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:50 CDT 2024","hm": "l/p 4/n b m: origin choice 2","nSettings": 16,"nSubgroups": 8,"sg": 62,"subgroups": [ { "det": 1.0,"hm": "l/p b a n","i": 1,"index": 2,"n": 1,"sg": 39,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m e","i": 2,"index": 2,"n": 1,"sg": 48,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p 4/n","i": 3,"index": 2,"n": 1,"sg": 52,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 2 2","i": 4,"index": 2,"n": 1,"sg": 53,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p 4 b m","i": 5,"index": 2,"n": 1,"sg": 56,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p -4 2 m","i": 6,"index": 2,"n": 1,"sg": 57,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,3/4,0" } ] },{ "det": 1.0,"hm": "l/p -4 b 2","i": 7,"index": 2,"n": 1,"sg": 60,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,3/4,0" } ] },{ "det": 9.0,"hm": "l/p 4/n b m","i": 8,"index": 9,"n": 9,"sg": 62,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:50 CDT 2024","hm": "l/p 4/m b m","nSettings": 16,"nSubgroups": 8,"sg": 63,"subgroups": [ { "det": 1.0,"hm": "l/p b a m","i": 1,"index": 2,"n": 1,"sg": 44,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m m","i": 2,"index": 2,"n": 1,"sg": 47,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c;0,1/2,0" } ] },{ "det": 1.0,"hm": "l/p 4/m","i": 3,"index": 2,"n": 1,"sg": 51,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 21 2","i": 4,"index": 2,"n": 1,"sg": 54,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 b m","i": 5,"index": 2,"n": 1,"sg": 56,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4 21 m","i": 6,"index": 2,"n": 1,"sg": 58,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -4 b 2","i": 7,"index": 2,"n": 1,"sg": 60,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 9.0,"hm": "l/p 4/m b m","i": 8,"index": 9,"n": 9,"sg": 63,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:50 CDT 2024","hm": "l/p 4/n m m: origin choice 2","nSettings": 16,"nSubgroups": 8,"sg": 64,"subgroups": [ { "det": 1.0,"hm": "l/p m m n","i": 1,"index": 2,"n": 1,"sg": 46,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 2.0,"hm": "l/c m m e","i": 2,"index": 2,"n": 1,"sg": 48,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" } ] },{ "det": 1.0,"hm": "l/p 4/n","i": 3,"index": 2,"n": 1,"sg": 52,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 4 21 2","i": 4,"index": 2,"n": 1,"sg": 54,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p 4 m m","i": 5,"index": 2,"n": 1,"sg": 55,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,1/4,0" } ] },{ "det": 1.0,"hm": "l/p -4 21 m","i": 6,"index": 2,"n": 1,"sg": 58,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,3/4,0" } ] },{ "det": 1.0,"hm": "l/p -4 m 2","i": 7,"index": 2,"n": 1,"sg": 59,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c;1/4,3/4,0" } ] },{ "det": 9.0,"hm": "l/p 4/n m m","i": 8,"index": 9,"n": 9,"sg": 64,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "3a,3b,c" },{ "conjClass": "a","trm": "3a,3b,c;0,1,0" },{ "conjClass": "a","trm": "3a,3b,c;0,2,0" },{ "conjClass": "a","trm": "3a,3b,c;1,0,0" },{ "conjClass": "a","trm": "3a,3b,c;1,1,0" },{ "conjClass": "a","trm": "3a,3b,c;1,2,0" },{ "conjClass": "a","trm": "3a,3b,c;2,0,0" },{ "conjClass": "a","trm": "3a,3b,c;2,1,0" },{ "conjClass": "a","trm": "3a,3b,c;2,2,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p 3","nSettings": 22,"nSubgroups": 4,"sg": 65,"subgroups": [ { "det": 1.0,"hm": "l/p 1","i": 1,"index": 3,"n": 1,"sg": 1,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 3","i": 2,"index": 3,"n": 3,"sg": 65,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,1/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,2/3,0" } ] },{ "det": 4.0,"hm": "l/p 3","i": 3,"index": 4,"n": 4,"sg": 65,"trSubtype": "","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": 7.0,"hm": "l/p 3","i": 4,"index": 7,"n": 14,"sg": 65,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-2b,2a+3b,c" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;1,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;2,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;3,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;4,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;5,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;6,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c" },{ "conjClass": "z","trm": "2a-b,a+3b,c;1,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;2,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;3,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;4,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;5,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p -3","nSettings": 23,"nSubgroups": 5,"sg": 66,"subgroups": [ { "det": 1.0,"hm": "l/p -1","i": 1,"index": 3,"n": 1,"sg": 2,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p -3","i": 3,"index": 3,"n": 3,"sg": 66,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p -3","i": 4,"index": 4,"n": 4,"sg": 66,"trSubtype": "","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": 7.0,"hm": "l/p -3","i": 5,"index": 7,"n": 14,"sg": 66,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a-b,a+3b,c" },{ "conjClass": "a","trm": "2a-b,a+3b,c;1,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;2,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;3,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;4,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;5,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;6,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;1,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;2,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;3,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;4,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;5,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p 3 1 2","nSettings": 17,"nSubgroups": 4,"sg": 67,"subgroups": [ { "det": 2.0,"hm": "l/c 2 1 1","i": 1,"index": 3,"n": 3,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a+2b,-a,c" },{ "conjClass": "c","trm": "-2a-b,-b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 4.0,"hm": "l/p 3 1 2","i": 3,"index": 4,"n": 4,"sg": 67,"trSubtype": "","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": 3.0,"hm": "l/p 3 2 1","i": 4,"index": 3,"n": 9,"sg": 68,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,1,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,1/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,4/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,7/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,2/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;4/3,2/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;7/3,2/3,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p 3 2 1","nSettings": 9,"nSubgroups": 4,"sg": 68,"subgroups": [ { "det": 2.0,"hm": "l/c 2 1 1","i": 1,"index": 3,"n": 3,"sg": 10,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 3 1 2","i": 3,"index": 3,"n": 1,"sg": 67,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" } ] },{ "det": 4.0,"hm": "l/p 3 2 1","i": 4,"index": 4,"n": 4,"sg": 68,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p 3 m 1","nSettings": 17,"nSubgroups": 4,"sg": 69,"subgroups": [ { "det": 2.0,"hm": "l/c m 1 1","i": 1,"index": 3,"n": 3,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 4.0,"hm": "l/p 3 m 1","i": 3,"index": 4,"n": 4,"sg": 69,"trSubtype": "","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": 3.0,"hm": "l/p 3 1 m","i": 4,"index": 3,"n": 9,"sg": 70,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,1,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,-2/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,1/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,4/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,-1/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,2/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;4/3,2/3,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:51 CDT 2024","hm": "l/p 3 1 m","nSettings": 9,"nSubgroups": 4,"sg": 70,"subgroups": [ { "det": 2.0,"hm": "l/c m 1 1","i": 1,"index": 3,"n": 3,"sg": 13,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a+2b,-a,c" },{ "conjClass": "c","trm": "-2a-b,-b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 3 m 1","i": 3,"index": 3,"n": 1,"sg": 69,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" } ] },{ "det": 4.0,"hm": "l/p 3 1 m","i": 4,"index": 4,"n": 4,"sg": 70,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:52 CDT 2024","hm": "l/p -3 1 m","nSettings": 13,"nSubgroups": 6,"sg": 71,"subgroups": [ { "det": 2.0,"hm": "l/c 2/m 1 1","i": 1,"index": 3,"n": 3,"sg": 18,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a+2b,-a,c" },{ "conjClass": "c","trm": "-2a-b,-b,c" } ] },{ "det": 1.0,"hm": "l/p -3","i": 2,"index": 2,"n": 1,"sg": 66,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 2","i": 3,"index": 2,"n": 1,"sg": 67,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 m","i": 4,"index": 2,"n": 1,"sg": 70,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 4.0,"hm": "l/p -3 1 m","i": 5,"index": 4,"n": 4,"sg": 71,"trSubtype": "","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": 3.0,"hm": "l/p -3 m 1","i": 6,"index": 3,"n": 3,"sg": 72,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,1,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:52 CDT 2024","hm": "l/p -3 m 1","nSettings": 13,"nSubgroups": 6,"sg": 72,"subgroups": [ { "det": 2.0,"hm": "l/c 2/m 1 1","i": 1,"index": 3,"n": 3,"sg": 18,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p -3","i": 2,"index": 2,"n": 1,"sg": 66,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 2 1","i": 3,"index": 2,"n": 1,"sg": 68,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 m 1","i": 4,"index": 2,"n": 1,"sg": 69,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p -3 1 m","i": 5,"index": 3,"n": 3,"sg": 71,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,1,0" } ] },{ "det": 4.0,"hm": "l/p -3 m 1","i": 6,"index": 4,"n": 4,"sg": 72,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:52 CDT 2024","hm": "l/p 6","nSettings": 23,"nSubgroups": 5,"sg": 73,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2","i": 1,"index": 3,"n": 1,"sg": 3,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 6","i": 3,"index": 3,"n": 3,"sg": 73,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p 6","i": 4,"index": 4,"n": 4,"sg": 73,"trSubtype": "","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": 7.0,"hm": "l/p 6","i": 5,"index": 7,"n": 14,"sg": 73,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a-b,a+3b,c" },{ "conjClass": "a","trm": "2a-b,a+3b,c;1,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;2,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;3,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;4,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;5,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;6,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;1,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;2,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;3,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;4,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;5,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:52 CDT 2024","hm": "l/p -6","nSettings": 23,"nSubgroups": 5,"sg": 74,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 m","i": 1,"index": 3,"n": 1,"sg": 4,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3","i": 2,"index": 2,"n": 1,"sg": 65,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p -6","i": 3,"index": 3,"n": 3,"sg": 74,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,1/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,2/3,0" } ] },{ "det": 4.0,"hm": "l/p -6","i": 4,"index": 4,"n": 4,"sg": 74,"trSubtype": "","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": 7.0,"hm": "l/p -6","i": 5,"index": 7,"n": 14,"sg": 74,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-2b,2a+3b,c" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;1,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;2,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;3,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;4,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;5,0,0" },{ "conjClass": "a","trm": "a-2b,2a+3b,c;6,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c" },{ "conjClass": "z","trm": "2a-b,a+3b,c;1,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;2,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;3,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;4,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;5,0,0" },{ "conjClass": "z","trm": "2a-b,a+3b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:53 CDT 2024","hm": "l/p 6/m","nSettings": 24,"nSubgroups": 7,"sg": 75,"subgroups": [ { "det": 1.0,"hm": "l/p 1 1 2/m","i": 1,"index": 3,"n": 1,"sg": 6,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -3","i": 2,"index": 2,"n": 1,"sg": 66,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6","i": 3,"index": 2,"n": 0,"sg": 73,"trSubtype": "","trType": "t","trms": [  ] },{ "det": 1.0,"hm": "l/p -6","i": 4,"index": 2,"n": 1,"sg": 74,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 6/m","i": 5,"index": 3,"n": 3,"sg": 75,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p 6/m","i": 6,"index": 4,"n": 4,"sg": 75,"trSubtype": "","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": 7.0,"hm": "l/p 6/m","i": 7,"index": 7,"n": 14,"sg": 75,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "2a-b,a+3b,c" },{ "conjClass": "a","trm": "2a-b,a+3b,c;1,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;2,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;3,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;4,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;5,0,0" },{ "conjClass": "a","trm": "2a-b,a+3b,c;6,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;1,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;2,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;3,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;4,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;5,0,0" },{ "conjClass": "b","trm": "a-2b,2a+3b,c;6,0,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:53 CDT 2024","hm": "l/p 6 2 2","nSettings": 13,"nSubgroups": 6,"sg": 76,"subgroups": [ { "det": 2.0,"hm": "l/c 2 2 2","i": 1,"index": 3,"n": 3,"sg": 22,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 2","i": 2,"index": 2,"n": 1,"sg": 67,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 2 1","i": 3,"index": 2,"n": 1,"sg": 68,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6","i": 4,"index": 2,"n": 1,"sg": 73,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 6 2 2","i": 5,"index": 3,"n": 3,"sg": 76,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p 6 2 2","i": 6,"index": 4,"n": 4,"sg": 76,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:53 CDT 2024","hm": "l/p 6 m m","nSettings": 13,"nSubgroups": 6,"sg": 77,"subgroups": [ { "det": 2.0,"hm": "l/c m m 2","i": 1,"index": 3,"n": 3,"sg": 26,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a+2b,-a,c" },{ "conjClass": "c","trm": "-2a-b,-b,c" } ] },{ "det": 1.0,"hm": "l/p 3 m 1","i": 2,"index": 2,"n": 1,"sg": 69,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 m","i": 3,"index": 2,"n": 1,"sg": 70,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6","i": 4,"index": 2,"n": 1,"sg": 73,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 6 m m","i": 5,"index": 3,"n": 3,"sg": 77,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p 6 m m","i": 6,"index": 4,"n": 4,"sg": 77,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:53 CDT 2024","hm": "l/p -6 m 2","nSettings": 19,"nSubgroups": 6,"sg": 78,"subgroups": [ { "det": 2.0,"hm": "l/c m 2 m","i": 1,"index": 3,"n": 3,"sg": 35,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 2","i": 2,"index": 2,"n": 1,"sg": 67,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 m 1","i": 3,"index": 2,"n": 1,"sg": 69,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -6","i": 4,"index": 2,"n": 1,"sg": 74,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 4.0,"hm": "l/p -6 m 2","i": 5,"index": 4,"n": 4,"sg": 78,"trSubtype": "","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": 3.0,"hm": "l/p -6 2 m","i": 6,"index": 3,"n": 9,"sg": 79,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,1,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,1/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,4/3,0" },{ "conjClass": "b","trm": "a-b,a+2b,c;2/3,7/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;1/3,2/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;4/3,2/3,0" },{ "conjClass": "c","trm": "a-b,a+2b,c;7/3,2/3,0" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:54 CDT 2024","hm": "l/p -6 2 m","nSettings": 11,"nSubgroups": 6,"sg": 79,"subgroups": [ { "det": 2.0,"hm": "l/c m 2 m","i": 1,"index": 3,"n": 3,"sg": 35,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a-b,a+b,c" },{ "conjClass": "b","trm": "a+2b,-a,c" },{ "conjClass": "c","trm": "-2a-b,-b,c" } ] },{ "det": 1.0,"hm": "l/p 3 2 1","i": 2,"index": 2,"n": 1,"sg": 68,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 3 1 m","i": 3,"index": 2,"n": 1,"sg": 70,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -6","i": 4,"index": 2,"n": 1,"sg": 74,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p -6 m 2","i": 5,"index": 3,"n": 1,"sg": 78,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" } ] },{ "det": 4.0,"hm": "l/p -6 2 m","i": 6,"index": 4,"n": 4,"sg": 79,"trSubtype": "","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" } ] } ],"subtype": "layer" },{ "created": "Mon Oct 14 13:53:54 CDT 2024","hm": "l/p 6/m m m","nSettings": 17,"nSubgroups": 10,"sg": 80,"subgroups": [ { "det": 2.0,"hm": "l/c m m m","i": 1,"index": 3,"n": 3,"sg": 47,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a+b,-a+b,c" },{ "conjClass": "b","trm": "-a,-a-2b,c" },{ "conjClass": "c","trm": "-b,2a+b,c" } ] },{ "det": 1.0,"hm": "l/p -3 1 m","i": 2,"index": 2,"n": 1,"sg": 71,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -3 m 1","i": 3,"index": 2,"n": 1,"sg": 72,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6/m","i": 4,"index": 2,"n": 1,"sg": 75,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6 2 2","i": 5,"index": 2,"n": 1,"sg": 76,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p 6 m m","i": 6,"index": 2,"n": 1,"sg": 77,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -6 m 2","i": 7,"index": 2,"n": 1,"sg": 78,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 1.0,"hm": "l/p -6 2 m","i": 8,"index": 2,"n": 1,"sg": 79,"trSubtype": "","trType": "t","trms": [ { "conjClass": "a","trm": "a,b,c" } ] },{ "det": 3.0,"hm": "l/p 6/m m m","i": 9,"index": 3,"n": 3,"sg": 80,"trSubtype": "","trType": "k","trms": [ { "conjClass": "a","trm": "a-b,a+2b,c" },{ "conjClass": "a","trm": "a-b,a+2b,c;1,0,0" },{ "conjClass": "a","trm": "a-b,a+2b,c;2,0,0" } ] },{ "det": 4.0,"hm": "l/p 6/m m m","i": 10,"index": 4,"n": 4,"sg": 80,"trSubtype": "","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" } ] } ],"subtype": "layer" } ]