[{"id":"R6_4_155","m":4,"index":155,"source_label":[4,777],"dual":[0,2,1,3,4,5],"commutative":true,"N":[[[1,0,0,0,0,0],[0,1,0,0,0,0],[0,0,1,0,0,0],[0,0,0,1,0,0],[0,0,0,0,1,0],[0,0,0,0,0,1]],[[0,1,0,0,0,0],[0,4,4,0,1,1],[1,4,4,1,0,0],[0,1,0,0,0,0],[0,0,1,0,0,0],[0,0,1,0,0,0]],[[0,0,1,0,0,0],[1,4,4,1,0,0],[0,4,4,0,1,1],[0,0,1,0,0,0],[0,1,0,0,0,0],[0,1,0,0,0,0]],[[0,0,0,1,0,0],[0,1,0,0,0,0],[0,0,1,0,0,0],[1,0,0,0,0,0],[0,0,0,0,0,1],[0,0,0,0,1,0]],[[0,0,0,0,1,0],[0,0,1,0,0,0],[0,1,0,0,0,0],[0,0,0,0,0,1],[1,0,0,0,0,0],[0,0,0,1,0,0]],[[0,0,0,0,0,1],[0,0,1,0,0,0],[0,1,0,0,0,0],[0,0,0,0,1,0],[0,0,0,1,0,0],[1,0,0,0,0,0]]],"diagnostic":"No complete general resolution. The applicable recorded finite criteria did not produce a complete general exclusion; detailed eligibility and budget outcomes are in verification/classification/attempts.jsonl.","existence":{"general":"unknown","pivotal":"unknown","spherical":"unknown","pseudo_unitary":"unknown","unitary":"unknown"}},{"id":"R6_8_1660","m":8,"index":1660,"source_label":null,"dual":[0,1,2,3,4,5],"commutative":true,"N":[[[1,0,0,0,0,0],[0,1,0,0,0,0],[0,0,1,0,0,0],[0,0,0,1,0,0],[0,0,0,0,1,0],[0,0,0,0,0,1]],[[0,1,0,0,0,0],[1,0,0,0,0,0],[0,0,0,1,0,0],[0,0,1,0,0,0],[0,0,0,0,1,0],[0,0,0,0,0,1]],[[0,0,1,0,0,0],[0,0,0,1,0,0],[1,0,3,3,0,4],[0,1,3,3,0,4],[0,0,0,0,0,1],[0,0,4,4,1,6]],[[0,0,0,1,0,0],[0,0,1,0,0,0],[0,1,3,3,0,4],[1,0,3,3,0,4],[0,0,0,0,0,1],[0,0,4,4,1,6]],[[0,0,0,0,1,0],[0,0,0,0,1,0],[0,0,0,0,0,1],[0,0,0,0,0,1],[1,1,0,0,0,0],[0,0,1,1,0,0]],[[0,0,0,0,0,1],[0,0,0,0,0,1],[0,0,4,4,1,6],[0,0,4,4,1,6],[0,0,1,1,0,0],[1,1,6,6,0,8]]],"diagnostic":"No complete general resolution. The applicable recorded finite criteria did not produce a complete general exclusion; detailed eligibility and budget outcomes are in verification/classification/attempts.jsonl.","existence":{"general":"unknown","pivotal":"unknown","spherical":"unknown","pseudo_unitary":"unknown","unitary":"unknown"}}]