{"atlas":"possible-reason","expedition":"finite-binary-worlds","claim":"exhaustive-classification-of-the-checked-prefix","server_time":1787520671,"frontier":{"order":4,"next_index":1536,"checked_in_order":1536,"total_in_order":4294967296,"coverage":3.58e-7,"checked_all_orders":21219,"canonical_worlds":4046,"law_profiles":136,"updated_at":1787520655,"founded_at":1787514954,"lag_seconds":16,"stale_after_seconds":900,"healthy":true,"batch_size":768,"cadence_seconds":180},"laws":[{"id":"associative","label":"associative","arity":3},{"id":"commutative","label":"commutative","arity":2},{"id":"idempotent","label":"idempotent","arity":1},{"id":"left_cancellative","label":"left cancellative","arity":3},{"id":"right_cancellative","label":"right cancellative","arity":3},{"id":"left_identity","label":"has left identity","arity":2},{"id":"right_identity","label":"has right identity","arity":2},{"id":"identity","label":"has two-sided identity","arity":2},{"id":"left_zero","label":"has left zero","arity":2},{"id":"right_zero","label":"has right zero","arity":2},{"id":"zero","label":"has two-sided zero","arity":2},{"id":"flexible","label":"flexible","arity":2},{"id":"left_self_distributive","label":"left self-distributive","arity":3},{"id":"right_self_distributive","label":"right self-distributive","arity":3},{"id":"medial","label":"medial","arity":4},{"id":"left_involutive","label":"left involutive","arity":2}],"specimens":[{"id":"R4-00000YS","order":4,"canonical_code":"1252","signature":"0000010001000000","table":[0,1,2,3,0,1,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2},{"candidate":3,"at":0,"expected":0,"actual":3}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2},{"candidate":3,"at":0,"expected":0,"left":0,"right":3}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2},{"candidate":3,"at":0,"expected":3,"left":0,"right":3}]},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":1,"b":0,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":1,"b":2},"expected":2,"actual":0}},"discovered_at":1787520655},{"id":"R4-0000000","order":4,"canonical_code":"0","signature":"1100000011111110","table":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":true,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-0000001","order":4,"canonical_code":"1","signature":"0100000000010000","table":[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1},"commutative":null,"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":1}},"discovered_at":1787520475},{"id":"R4-000002Y","order":4,"canonical_code":"106","signature":"0000000000000010","table":[2,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":0},"idempotent":{"variables":{"a":0},"expected":0,"actual":2},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":2},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2},{"candidate":3,"at":0,"expected":0,"actual":1}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":0,"right":2},{"candidate":2,"at":0,"expected":0,"left":0,"right":2},{"candidate":3,"at":0,"expected":0,"left":0,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":0,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":2},{"candidate":3,"at":0,"expected":3,"left":0,"right":1}]},"flexible":{"variables":{"a":0,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":1,"b":0,"c":3},"left":1,"right":2},"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":2}},"discovered_at":1787520475},{"id":"R4-000006C","order":4,"canonical_code":"228","signature":"0000010001001000","table":[0,1,2,3,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2},{"candidate":3,"at":0,"expected":0,"actual":3}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2},{"candidate":3,"at":0,"expected":0,"left":0,"right":3}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2},{"candidate":3,"at":0,"expected":3,"left":0,"right":3}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":1},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":1,"b":0,"c":1,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":1,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-0000074","order":4,"canonical_code":"256","signature":"0000000010000000","table":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":1},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":0,"right":1},"medial":{"variables":{"a":1,"b":0,"c":1,"d":1},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-0000004","order":4,"canonical_code":"4","signature":"0000000001000000","table":[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":1},"left_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":0,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787520475},{"id":"R4-00000DG","order":4,"canonical_code":"484","signature":"0000010000000000","table":[0,1,2,3,1,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":1,"b":1,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2},{"candidate":3,"at":0,"expected":0,"actual":3}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2},{"candidate":3,"at":0,"expected":0,"left":0,"right":3}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0},{"candidate":3,"at":1,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2},{"candidate":3,"at":0,"expected":3,"left":0,"right":3}]},"flexible":{"variables":{"a":2,"b":0},"left":0,"right":2},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":2},"expected":2,"actual":1}},"discovered_at":1787520475},{"id":"R4-0000005","order":4,"canonical_code":"5","signature":"0000000000000000","table":[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":{"variables":{"a":0,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":2,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":1}},"discovered_at":1787520475},{"id":"R4-00000E8","order":4,"canonical_code":"512","signature":"0000000010000110","table":[0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":0},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":2},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-00000EG","order":4,"canonical_code":"520","signature":"0100000000010010","table":[0,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":null,"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":2},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-0000008","order":4,"canonical_code":"8","signature":"0000000001001010","table":[0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":2},{"candidate":2,"at":1,"expected":1,"left":0,"right":0},{"candidate":3,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":0},{"candidate":3,"at":0,"expected":3,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":2},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520475},{"id":"R4-000002C","order":4,"canonical_code":"84","signature":"0000000001001000","table":[0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":1},{"candidate":3,"at":0,"expected":0,"actual":1}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":1},{"candidate":3,"at":0,"expected":0,"left":0,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":1},{"candidate":3,"at":0,"expected":3,"left":0,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":1},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":1,"b":0,"c":1,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":1}},"discovered_at":1787520475},{"id":"R4-000002D","order":4,"canonical_code":"85","signature":"0000000000000110","table":[1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0},{"candidate":3,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":1},{"candidate":3,"at":0,"expected":0,"actual":1}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":1},{"candidate":3,"at":0,"expected":0,"left":0,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0},{"candidate":3,"at":0,"expected":3,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":1},{"candidate":3,"at":0,"expected":3,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":1},{"candidate":3,"at":0,"expected":3,"left":0,"right":1}]},"flexible":{"variables":{"a":0,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":1}},"discovered_at":1787520475},{"id":"R3-EW9","order":3,"canonical_code":"19305","signature":"1010101010011110","table":[0,0,0,1,1,1,2,2,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787520295},{"id":"R3-D6U","order":3,"canonical_code":"17094","signature":"0010001001010000","table":[0,1,0,0,1,1,2,1,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":0},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":1,"right":0},"right_self_distributive":{"variables":{"a":2,"b":1,"c":0},"left":0,"right":2},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787519733},{"id":"R3-D7I","order":3,"canonical_code":"17118","signature":"0010001010010100","table":[0,0,0,1,1,1,2,1,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":true,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":1},"left":1,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":1,"b":1,"c":2},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":2,"b":0,"c":1},"left":2,"right":1},"right_self_distributive":null,"medial":{"variables":{"a":2,"b":0,"c":2,"d":1},"left":1,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519733},{"id":"R3-D7L","order":3,"canonical_code":"17121","signature":"1010001011111110","table":[0,1,0,1,1,1,2,1,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":2},"left":0,"right":2},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787519733},{"id":"R3-C29","order":3,"canonical_code":"15633","signature":"1110011111111110","table":[0,0,0,0,1,1,0,1,2],"laws":{"associative":true,"commutative":true,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":2},"right_identity":{"element":2},"identity":{"element":2},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519373},{"id":"R3-C2C","order":3,"canonical_code":"15636","signature":"1010011101010100","table":[0,1,0,0,1,1,0,1,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":true,"medial":false,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":2},"right_identity":{"element":2},"identity":{"element":2},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":1,"right":0},"right_self_distributive":null,"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787519373},{"id":"R3-C2U","order":3,"canonical_code":"15654","signature":"0010010001011000","table":[0,1,2,0,1,1,0,1,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":1,"c":2},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":{"variables":{"a":1,"b":0,"c":2},"left":2,"right":1},"medial":{"variables":{"a":1,"b":0,"c":2,"d":2},"left":2,"right":1},"left_involutive":{"variables":{"a":1,"b":2},"expected":2,"actual":1}},"discovered_at":1787519373},{"id":"R3-C30","order":3,"canonical_code":"15660","signature":"1010011110011000","table":[0,0,0,1,1,1,0,1,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":2},"right_identity":{"element":2},"identity":{"element":2},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":{"variables":{"a":2,"b":0,"c":1},"left":0,"right":1},"medial":{"variables":{"a":2,"b":0,"c":1,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519373},{"id":"R3-C3I","order":3,"canonical_code":"15678","signature":"0010010010010000","table":[0,0,2,1,1,1,0,1,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":2},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519373},{"id":"R3-C3L","order":3,"canonical_code":"15681","signature":"1010010011111110","table":[0,1,2,1,1,1,0,1,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787519373},{"id":"R3-C9L","order":3,"canonical_code":"15897","signature":"1011010001011111","table":[0,1,2,0,1,2,0,1,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":true},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":null},"discovered_at":1787519373},{"id":"R3-BCL","order":3,"canonical_code":"14709","signature":"0110011100010000","table":[0,1,2,1,1,0,2,0,2],"laws":{"associative":false,"commutative":true,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":0,"right":1},"commutative":null,"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":2},"medial":{"variables":{"a":0,"b":1,"c":2,"d":1},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787519193},{"id":"R3-BIR","order":3,"canonical_code":"14931","signature":"0010001010011110","table":[0,0,0,1,1,1,2,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":1},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519193},{"id":"R3-BIX","order":3,"canonical_code":"14937","signature":"0010101010011110","table":[0,2,0,1,1,1,2,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519193},{"id":"R3-BJC","order":3,"canonical_code":"14952","signature":"0010011110000000","table":[0,1,2,1,1,1,2,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":1,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":1,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":1}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":2,"b":0,"c":1},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787519193},{"id":"R3-BP9","order":3,"canonical_code":"15165","signature":"0010010001010000","table":[0,0,2,0,1,2,2,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":1},"left":0,"right":2},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":2,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"element":2},"zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":2},"right_self_distributive":{"variables":{"a":2,"b":1,"c":0},"left":0,"right":2},"medial":{"variables":{"a":0,"b":0,"c":2,"d":1},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519193},{"id":"R3-BQ3","order":3,"canonical_code":"15195","signature":"0010011101000000","table":[0,1,2,1,1,2,2,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":1},"left":0,"right":1},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"element":2},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":2,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":2}]},"flexible":{"variables":{"a":1,"b":2},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":1},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":2,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787519193},{"id":"R3-ASX","order":3,"canonical_code":"14001","signature":"0111100000011111","table":[0,2,1,2,1,0,1,0,2],"laws":{"associative":false,"commutative":true,"idempotent":true,"left_cancellative":true,"right_cancellative":true,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":null,"idempotent":null,"left_cancellative":null,"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":1}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":1}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":2},{"candidate":2,"at":0,"expected":0,"left":1,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":2,"left":1,"right":1}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":null},"discovered_at":1787519013},{"id":"R3-AT3","order":3,"canonical_code":"14007","signature":"0011010000000001","table":[0,1,2,2,1,0,1,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":null,"left_cancellative":null,"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":0,"expected":0,"left":1,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":0,"expected":2,"left":1,"right":2}]},"flexible":{"variables":{"a":1,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":2},"left_involutive":null},"discovered_at":1787519013},{"id":"R3-AYI","order":3,"canonical_code":"14202","signature":"0010001010011000","table":[0,0,0,1,1,1,1,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":2,"c":0},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":1}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":1,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":1,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":{"variables":{"a":2,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":2,"b":0,"c":1,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519013},{"id":"R3-AZF","order":3,"canonical_code":"14235","signature":"0010101000000000","table":[0,2,0,2,1,1,1,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":2},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":1}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":2},{"candidate":2,"at":0,"expected":0,"left":1,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":2,"left":1,"right":0}]},"flexible":{"variables":{"a":0,"b":1},"left":0,"right":1},"left_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787519013},{"id":"R3-B53","order":3,"canonical_code":"14439","signature":"0011010001011111","table":[0,1,2,0,1,2,1,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":0},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":1,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"element":2},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":1,"right":2}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":null},"discovered_at":1787519013},{"id":"R3-A6R","order":3,"canonical_code":"13203","signature":"1110000011111110","table":[0,0,0,0,1,0,0,0,2],"laws":{"associative":true,"commutative":true,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":0,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-A6U","order":3,"canonical_code":"13206","signature":"0010000001000000","table":[0,1,0,0,1,0,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":0,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-A7C","order":3,"canonical_code":"13224","signature":"0010010001000000","table":[0,1,2,0,1,0,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"medial":{"variables":{"a":1,"b":0,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":1,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-A7I","order":3,"canonical_code":"13230","signature":"0010000010000000","table":[0,0,0,1,1,0,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":2},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":0,"right":1},"medial":{"variables":{"a":1,"b":0,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-A7L","order":3,"canonical_code":"13233","signature":"0110000000010000","table":[0,1,0,1,1,0,0,0,2],"laws":{"associative":false,"commutative":true,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"commutative":null,"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-A7O","order":3,"canonical_code":"13236","signature":"0010000000000000","table":[0,2,0,1,1,0,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":1,"expected":1,"left":0,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":0,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":2,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-A83","order":3,"canonical_code":"13251","signature":"0010010000000000","table":[0,1,2,1,1,0,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":1},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787518833},{"id":"R3-ADI","order":3,"canonical_code":"13446","signature":"0010001011100000","table":[0,0,0,0,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":1,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"medial":{"variables":{"a":1,"b":1,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-ADL","order":3,"canonical_code":"13449","signature":"0010001001000000","table":[0,1,0,0,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-AE9","order":3,"canonical_code":"13473","signature":"1010001010011110","table":[0,0,0,1,1,1,0,0,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-AEC","order":3,"canonical_code":"13476","signature":"0010001010010000","table":[0,1,0,1,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":1},"right_self_distributive":{"variables":{"a":2,"b":1,"c":0},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":2,"d":1},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-AEF","order":3,"canonical_code":"13479","signature":"0010001010000000","table":[0,2,0,1,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":0,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":2,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-AEU","order":3,"canonical_code":"13494","signature":"0010010010000000","table":[0,1,2,1,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":2,"b":1,"c":2},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787518833},{"id":"R3-AF3","order":3,"canonical_code":"13503","signature":"0010001000000000","table":[0,1,0,2,1,1,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":0},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0}]},"right_identity":{"element":2},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":1,"expected":1,"left":0,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":0,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787518833},{"id":"R3-AK9","order":3,"canonical_code":"13689","signature":"0010010011100000","table":[0,0,0,0,1,2,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":1,"c":2},"left":0,"right":2},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":2,"right":0},{"candidate":2,"at":1,"expected":1,"left":0,"right":2}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":{"variables":{"a":2,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":2,"b":1,"c":2},"left":2,"right":0},"right_self_distributive":{"variables":{"a":2,"b":1,"c":2},"left":0,"right":2},"medial":{"variables":{"a":2,"b":1,"c":2,"d":2},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-AKR","order":3,"canonical_code":"13707","signature":"1010010001011110","table":[0,0,2,0,1,2,0,0,2],"laws":{"associative":true,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":2,"right":0},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"left":2,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-AKU","order":3,"canonical_code":"13710","signature":"0010010001011110","table":[0,1,2,0,1,2,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":2,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":2,"b":1},"expected":1,"actual":0}},"discovered_at":1787518833},{"id":"R3-AKX","order":3,"canonical_code":"13713","signature":"0010010001010100","table":[0,2,2,0,1,2,0,0,2],"laws":{"associative":false,"commutative":false,"idempotent":true,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":true,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":1},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":0},"idempotent":null,"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":2},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":2},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":2},"right_self_distributive":null,"medial":{"variables":{"a":0,"b":0,"c":2,"d":1},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":2}},"discovered_at":1787518833},{"id":"R3-4Y9","order":3,"canonical_code":"6417","signature":"1100011100010010","table":[0,0,2,0,1,2,2,2,0],"laws":{"associative":true,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"element":1},"identity":{"element":1},"left_zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":2,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":2,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787517213},{"id":"R3-46L","order":3,"canonical_code":"5421","signature":"0001110000000010","table":[0,1,2,2,0,1,1,2,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":true,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":null,"right_cancellative":null,"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":0,"expected":0,"left":1,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":0,"expected":2,"left":1,"right":2}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":2},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":null,"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787517033},{"id":"R3-4DT","order":3,"canonical_code":"5681","signature":"1101111100010010","table":[2,0,1,0,1,2,1,2,0],"laws":{"associative":true,"commutative":true,"idempotent":false,"left_cancellative":true,"right_cancellative":true,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":{"variables":{"a":0},"expected":0,"actual":2},"left_cancellative":null,"right_cancellative":null,"left_identity":{"element":1},"right_identity":{"element":1},"identity":{"element":1},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":1,"right":1}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":1}},"discovered_at":1787517033},{"id":"R3-3N9","order":3,"canonical_code":"4725","signature":"0000001010000110","table":[0,0,0,1,1,1,0,2,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":1,"c":0},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":2}]},"right_identity":{"element":1},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":1,"expected":1,"left":2,"right":1}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":2,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":2,"b":1,"c":0},"left":2,"right":0},"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787516853},{"id":"R3-3NT","order":3,"canonical_code":"4745","signature":"0000101010000110","table":[2,0,2,1,1,1,0,2,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":{"variables":{"a":0},"expected":0,"actual":2},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":2},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":2}]},"right_identity":{"element":1},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":2}]},"flexible":{"variables":{"a":0,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":2}},"discovered_at":1787516853},{"id":"R3-437","order":3,"canonical_code":"5299","signature":"0001000000001010","table":[1,2,0,1,2,0,1,2,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":1}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":1,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":1,"right":0}]},"flexible":{"variables":{"a":0,"b":0},"left":2,"right":1},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":2},"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":2}},"discovered_at":1787516853},{"id":"R3-2YX","order":3,"canonical_code":"3849","signature":"0001001000000000","table":[0,2,1,1,2,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":2},"left_cancellative":null,"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":2},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":2},"left_self_distributive":{"variables":{"a":0,"b":1,"c":1},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":1},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":2}},"discovered_at":1787516673},{"id":"R3-2Z3","order":3,"canonical_code":"3855","signature":"0001011100000000","table":[0,1,2,1,2,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":0,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":2},"left_cancellative":null,"right_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":2,"right":2},{"candidate":2,"at":1,"expected":2,"left":1,"right":0}]},"flexible":{"variables":{"a":1,"b":1},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":2},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":2}},"discovered_at":1787516673},{"id":"R3-323","order":3,"canonical_code":"3963","signature":"0001010000000000","table":[0,1,2,2,0,1,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":1,"expected":2,"left":1,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787516673},{"id":"R3-333","order":3,"canonical_code":"3999","signature":"0000001011100100","table":[0,1,0,1,1,1,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":2},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":2},"left":0,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":{"variables":{"a":2,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":2,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":null,"medial":{"variables":{"a":2,"b":0,"c":2,"d":2},"left":2,"right":0},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787516673},{"id":"R3-33C","order":3,"canonical_code":"4008","signature":"0000001011100000","table":[0,1,1,1,1,1,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":2},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":2},"left":1,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":{"variables":{"a":2,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":0,"b":2,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":2,"b":0,"c":2},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":2,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":1}},"discovered_at":1787516673},{"id":"R3-33I","order":3,"canonical_code":"4014","signature":"0000001010010000","table":[0,0,2,1,1,1,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":1,"b":1,"c":2},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":1,"expected":2,"left":1,"right":1}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":2},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787516673},{"id":"R3-33L","order":3,"canonical_code":"4017","signature":"1100011111110010","table":[0,1,2,1,1,1,2,1,0],"laws":{"associative":true,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":null,"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":null,"left_self_distributive":{"variables":{"a":2,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":null,"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787516673},{"id":"R3-351","order":3,"canonical_code":"4069","signature":"0101100000010011","table":[1,0,2,0,2,1,2,1,0],"laws":{"associative":false,"commutative":true,"idempotent":false,"left_cancellative":true,"right_cancellative":true,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":null,"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":null,"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":2,"left":1,"right":1}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":2},"medial":null,"left_involutive":null},"discovered_at":1787516673},{"id":"R3-353","order":3,"canonical_code":"4071","signature":"0001010000000001","table":[0,1,2,0,2,1,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":2},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":2,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":1,"expected":2,"left":1,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":2,"right":1},"left_self_distributive":{"variables":{"a":1,"b":1,"c":0},"left":0,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":2},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":2},"left_involutive":null},"discovered_at":1787516673},{"id":"R3-37X","order":3,"canonical_code":"4173","signature":"0001101000000011","table":[0,2,1,1,0,2,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":null,"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":null,"left_involutive":null},"discovered_at":1787516673},{"id":"R3-383","order":3,"canonical_code":"4179","signature":"0001011100000001","table":[0,1,2,1,0,2,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":null,"right_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":2,"left":1,"right":2}]},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":2,"right":1},"left_involutive":null},"discovered_at":1787516673},{"id":"R3-395","order":3,"canonical_code":"4217","signature":"0001010001001011","table":[2,1,0,0,1,2,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":0},"expected":0,"actual":2},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":2},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":{"variables":{"a":0,"b":0},"left":0,"right":2},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"medial":null,"left_involutive":null},"discovered_at":1787516673},{"id":"R3-3FR","order":3,"canonical_code":"4455","signature":"1000001011110110","table":[0,0,0,0,1,0,0,2,0],"laws":{"associative":true,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":false,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":1,"b":2},"left":0,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":2}]},"right_identity":{"element":1},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":0,"right":2},{"candidate":2,"at":1,"expected":1,"left":2,"right":0}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":{"variables":{"a":2,"b":1,"c":1},"left":2,"right":0},"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787516673},{"id":"R3-3FS","order":3,"canonical_code":"4456","signature":"0000001000010000","table":[1,0,0,0,1,0,0,2,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":1,"b":2},"left":0,"right":2},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":2}]},"right_identity":{"element":1},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":2,"left":0,"right":2},{"candidate":2,"at":1,"expected":1,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":0,"right":0},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":1}},"discovered_at":1787516673},{"id":"R3-2IV","order":3,"canonical_code":"3271","signature":"0000000011101010","table":[1,1,0,1,1,1,1,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":2,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":0,"right":1},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":1}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":2,"expected":2,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":1,"right":0}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":{"variables":{"a":2,"b":2},"left":1,"right":0},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":2,"c":2},"left":0,"right":1},"medial":null,"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":1}},"discovered_at":1787516154},{"id":"R3-2WC","order":3,"canonical_code":"3756","signature":"0000001001000100","table":[0,1,0,1,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":true,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":0,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":{"variables":{"a":2,"b":0},"left":2,"right":0},"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"right_self_distributive":null,"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787516154},{"id":"R3-2WL","order":3,"canonical_code":"3765","signature":"0000001001000000","table":[0,1,1,1,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":1,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":2,"right":1}]},"flexible":{"variables":{"a":2,"b":0},"left":1,"right":0},"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":1}},"discovered_at":1787516154},{"id":"R3-2WU","order":3,"canonical_code":"3774","signature":"0000011101000000","table":[0,1,2,1,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":1,"b":2},"left":0,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":1},{"candidate":2,"at":1,"expected":2,"left":1,"right":0}]},"flexible":{"variables":{"a":2,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787516154},{"id":"R3-2X5","order":3,"canonical_code":"3785","signature":"0001000001001011","table":[2,1,0,2,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":{"variables":{"a":0},"expected":0,"actual":2},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":2},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":{"variables":{"a":0,"b":0},"left":0,"right":2},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":0},"medial":null,"left_involutive":null},"discovered_at":1787516154},{"id":"R3-2X7","order":3,"canonical_code":"3787","signature":"0001000000000000","table":[1,2,0,2,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":0,"b":2},"left":0,"right":2},"idempotent":{"variables":{"a":0},"expected":0,"actual":1},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"left_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":0,"left":2,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":0,"expected":0,"left":1,"right":1},{"candidate":1,"at":0,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":{"variables":{"a":0,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":1},"right_self_distributive":{"variables":{"a":0,"b":0,"c":0},"left":2,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":0},"expected":0,"actual":2}},"discovered_at":1787516154},{"id":"R3-2XF","order":3,"canonical_code":"3795","signature":"0001000000000001","table":[0,2,1,2,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":2},"left":1,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":2},{"candidate":2,"at":0,"expected":0,"actual":1}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":1}]},"flexible":{"variables":{"a":0,"b":1},"left":1,"right":2},"left_self_distributive":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":0},"left":1,"right":2},"left_involutive":null},"discovered_at":1787516154},{"id":"R3-2XL","order":3,"canonical_code":"3801","signature":"0001010001000001","table":[0,1,2,2,1,0,2,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":true,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":true},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":0},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":2},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":null,"right_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":2},{"candidate":1,"at":0,"expected":0,"left":2,"right":1},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":2},{"candidate":1,"at":0,"expected":1,"left":2,"right":1},{"candidate":2,"at":1,"expected":2,"left":1,"right":0}]},"flexible":{"variables":{"a":2,"b":1},"left":2,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":1,"b":0,"c":1,"d":0},"left":0,"right":2},"left_involutive":null},"discovered_at":1787516154},{"id":"R3-1VI","order":3,"canonical_code":"2430","signature":"0100000011110010","table":[0,0,0,0,0,1,0,1,0],"laws":{"associative":false,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":2},"left":1,"right":0},"commutative":null,"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":2,"expected":2,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":{"variables":{"a":2,"b":1,"c":2},"left":1,"right":0},"right_self_distributive":{"variables":{"a":1,"b":2,"c":2},"left":1,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787515854},{"id":"R3-1XR","order":3,"canonical_code":"2511","signature":"0100000011110000","table":[0,0,0,0,1,1,0,1,0],"laws":{"associative":false,"commutative":true,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":2,"c":2},"left":1,"right":0},"commutative":null,"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":2,"expected":2,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":1,"right":1},{"candidate":2,"at":2,"expected":2,"left":0,"right":0}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":null,"left_self_distributive":{"variables":{"a":1,"b":2,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":1,"b":2,"c":2},"left":1,"right":0},"medial":{"variables":{"a":1,"b":1,"c":2,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787515854},{"id":"R3-1Z3","order":3,"canonical_code":"2559","signature":"0000010011101000","table":[0,1,2,1,1,1,0,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":0,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":2},"left":2,"right":0},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":2,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":0,"expected":0,"left":0,"right":2}]},"left_zero":{"element":1},"right_zero":{"element":1},"zero":{"element":1},"flexible":{"variables":{"a":2,"b":0},"left":0,"right":2},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":2,"b":0,"c":2,"d":2},"left":0,"right":2},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787515854},{"id":"R3-229","order":3,"canonical_code":"2673","signature":"0000000011100010","table":[0,0,0,0,0,2,0,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":0,"right":2},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":1},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":1,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":1,"left":1,"right":2}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":{"variables":{"a":1,"b":2},"left":0,"right":1},"left_self_distributive":{"variables":{"a":1,"b":1,"c":2},"left":2,"right":0},"right_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787515854},{"id":"R3-24I","order":3,"canonical_code":"2754","signature":"0000010011100000","table":[0,0,0,0,1,2,0,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":true,"right_zero":true,"zero":true,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":1,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":2,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":0},{"candidate":1,"at":2,"expected":2,"left":2,"right":1},{"candidate":2,"at":1,"expected":1,"left":1,"right":2}]},"left_zero":{"element":0},"right_zero":{"element":0},"zero":{"element":0},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":2,"b":2,"c":1},"left":1,"right":0},"right_self_distributive":{"variables":{"a":1,"b":1,"c":2},"left":2,"right":0},"medial":{"variables":{"a":2,"b":1,"c":2,"d":1},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787515854},{"id":"R3-24L","order":3,"canonical_code":"2757","signature":"0000010001001010","table":[0,1,0,0,1,2,0,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":false,"left_self_distributive":true,"right_self_distributive":false,"medial":true,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"element":1},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":2}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":1,"right":2}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":null,"right_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":0},"medial":null,"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787515854},{"id":"R3-17I","order":3,"canonical_code":"1566","signature":"0000001010000000","table":[0,0,0,1,1,0,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":0,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"right_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":0,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":0},{"candidate":2,"at":0,"expected":0,"left":2,"right":0}]},"left_zero":{"element":0},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":0,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":0},{"candidate":2,"at":0,"expected":2,"left":2,"right":0}]},"flexible":{"variables":{"a":1,"b":2},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":1,"right":0},"right_self_distributive":{"variables":{"a":1,"b":2,"c":1},"left":0,"right":1},"medial":{"variables":{"a":1,"b":0,"c":2,"d":1},"left":1,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":0}},"discovered_at":1787515554},{"id":"R3-1CL","order":3,"canonical_code":"1749","signature":"0000011100000000","table":[0,1,2,1,0,1,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":2},"left":2,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":1},"right_cancellative":{"variables":{"a":1,"b":1,"c":2},"collision":0},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":0,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":1}]},"flexible":{"variables":{"a":1,"b":2},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":2},"expected":2,"actual":0}},"discovered_at":1787515554},{"id":"R3-1EU","order":3,"canonical_code":"1830","signature":"0000011110000000","table":[0,1,2,1,1,1,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":true,"right_identity":true,"identity":true,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":2,"b":1,"c":1},"left":1,"right":0},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":1,"right":0},{"candidate":2,"at":1,"expected":2,"left":0,"right":1}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":2,"b":0,"c":0},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":2},"left":2,"right":0},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787515554},{"id":"R3-1EX","order":3,"canonical_code":"1833","signature":"0000101010000000","table":[0,2,2,1,1,1,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":true,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":1,"c":1},"left":0,"right":2},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":1,"c":2},"collision":2},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":2}]},"left_zero":{"element":1},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":1,"expected":2,"left":0,"right":1}]},"flexible":{"variables":{"a":2,"b":1},"left":0,"right":2},"left_self_distributive":{"variables":{"a":0,"b":1,"c":1},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":1},"left":2,"right":0},"left_involutive":{"variables":{"a":0,"b":1},"expected":1,"actual":2}},"discovered_at":1787515554},{"id":"R3-1H3","order":3,"canonical_code":"1911","signature":"0000111100000000","table":[0,1,2,1,2,1,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":true,"left_identity":true,"right_identity":true,"identity":true,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":1,"c":1},"left":0,"right":1},"commutative":{"variables":{"a":1,"b":2},"left":1,"right":0},"idempotent":{"variables":{"a":1},"expected":1,"actual":2},"left_cancellative":{"variables":{"a":1,"b":0,"c":2},"collision":1},"right_cancellative":null,"left_identity":{"element":0},"right_identity":{"element":0},"identity":{"element":0},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":1,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":1,"expected":1,"left":2,"right":2},{"candidate":2,"at":1,"expected":2,"left":0,"right":1}]},"flexible":{"variables":{"a":1,"b":1},"left":1,"right":0},"left_self_distributive":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":2},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":2},"medial":{"variables":{"a":0,"b":1,"c":2,"d":0},"left":1,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":2}},"discovered_at":1787515554},{"id":"R3-1LF","order":3,"canonical_code":"2067","signature":"0000101000000000","table":[0,2,1,1,1,2,2,0,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":true,"left_identity":false,"right_identity":true,"identity":false,"left_zero":false,"right_zero":false,"zero":false,"flexible":false,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1},"commutative":{"variables":{"a":0,"b":1},"left":2,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":1,"b":0,"c":1},"collision":1},"right_cancellative":null,"left_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":2},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":0,"expected":0,"actual":2}]},"right_identity":{"element":0},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":2,"right":1},{"candidate":1,"at":0,"expected":0,"left":1,"right":2},{"candidate":2,"at":0,"expected":0,"left":2,"right":1}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":2},{"candidate":1,"at":2,"expected":1,"actual":2},{"candidate":2,"at":1,"expected":2,"actual":0}]},"right_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":2},{"candidate":2,"at":0,"expected":2,"actual":1}]},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":2,"right":1},{"candidate":1,"at":0,"expected":1,"left":1,"right":2},{"candidate":2,"at":0,"expected":2,"left":2,"right":1}]},"flexible":{"variables":{"a":1,"b":0},"left":2,"right":1},"left_self_distributive":{"variables":{"a":0,"b":1,"c":1},"left":2,"right":0},"right_self_distributive":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":0},"medial":{"variables":{"a":0,"b":0,"c":1,"d":1},"left":2,"right":0},"left_involutive":{"variables":{"a":1,"b":0},"expected":0,"actual":1}},"discovered_at":1787515554},{"id":"R3-1R3","order":3,"canonical_code":"2271","signature":"1000000001011110","table":[0,1,0,0,1,0,0,1,0],"laws":{"associative":true,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":true,"right_self_distributive":true,"medial":true,"left_involutive":false},"witnesses":{"associative":null,"commutative":{"variables":{"a":0,"b":1},"left":1,"right":0},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":1},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":2,"expected":2,"actual":0},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":1,"expected":1,"left":1,"right":0},{"candidate":1,"at":0,"expected":0,"left":0,"right":1},{"candidate":2,"at":1,"expected":1,"left":1,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":0,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":0},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":0},{"candidate":1,"at":0,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":null,"right_self_distributive":null,"medial":null,"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787515554},{"id":"R3-1RU","order":3,"canonical_code":"2298","signature":"0000000001010000","table":[0,1,0,1,1,0,0,1,0],"laws":{"associative":false,"commutative":false,"idempotent":false,"left_cancellative":false,"right_cancellative":false,"left_identity":false,"right_identity":false,"identity":false,"left_zero":false,"right_zero":true,"zero":false,"flexible":true,"left_self_distributive":false,"right_self_distributive":false,"medial":false,"left_involutive":false},"witnesses":{"associative":{"variables":{"a":1,"b":0,"c":2},"left":0,"right":1},"commutative":{"variables":{"a":1,"b":2},"left":0,"right":1},"idempotent":{"variables":{"a":2},"expected":2,"actual":0},"left_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"right_cancellative":{"variables":{"a":0,"b":0,"c":2},"collision":0},"left_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":2,"expected":2,"actual":0}]},"right_identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"actual":0},{"candidate":1,"at":0,"expected":0,"actual":1},{"candidate":2,"at":1,"expected":1,"actual":0}]},"identity":{"exclusions":[{"candidate":0,"at":2,"expected":2,"left":0,"right":0},{"candidate":1,"at":0,"expected":0,"left":1,"right":1},{"candidate":2,"at":1,"expected":1,"left":1,"right":0}]},"left_zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"actual":1},{"candidate":1,"at":2,"expected":1,"actual":0},{"candidate":2,"at":0,"expected":2,"actual":0}]},"right_zero":{"element":1},"zero":{"exclusions":[{"candidate":0,"at":1,"expected":0,"left":1,"right":1},{"candidate":1,"at":2,"expected":1,"left":0,"right":1},{"candidate":2,"at":0,"expected":2,"left":0,"right":0}]},"flexible":null,"left_self_distributive":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":1},"right_self_distributive":{"variables":{"a":1,"b":2,"c":0},"left":0,"right":1},"medial":{"variables":{"a":0,"b":0,"c":1,"d":2},"left":0,"right":1},"left_involutive":{"variables":{"a":0,"b":2},"expected":2,"actual":0}},"discovered_at":1787515554}],"pulses":[{"advanced_at":1787520655,"order":4,"from":768,"through":1535,"raw_checked":768,"canonical_worlds":272,"new_signatures":1,"next_order":4,"next_index":1536},{"advanced_at":1787520475,"order":4,"from":0,"through":767,"raw_checked":768,"canonical_worlds":444,"new_signatures":13,"next_order":4,"next_index":768},{"advanced_at":1787520295,"order":3,"from":19200,"through":19682,"raw_checked":483,"canonical_worlds":1,"new_signatures":1,"next_order":4,"next_index":0},{"advanced_at":1787520093,"order":3,"from":18432,"through":19199,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":19200},{"advanced_at":1787519913,"order":3,"from":17664,"through":18431,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":18432},{"advanced_at":1787519733,"order":3,"from":16896,"through":17663,"raw_checked":768,"canonical_worlds":6,"new_signatures":3,"next_order":3,"next_index":17664},{"advanced_at":1787519553,"order":3,"from":16128,"through":16895,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":16896},{"advanced_at":1787519373,"order":3,"from":15360,"through":16127,"raw_checked":768,"canonical_worlds":9,"new_signatures":7,"next_order":3,"next_index":16128},{"advanced_at":1787519193,"order":3,"from":14592,"through":15359,"raw_checked":768,"canonical_worlds":28,"new_signatures":6,"next_order":3,"next_index":15360},{"advanced_at":1787519013,"order":3,"from":13824,"through":14591,"raw_checked":768,"canonical_worlds":26,"new_signatures":5,"next_order":3,"next_index":14592},{"advanced_at":1787518833,"order":3,"from":13056,"through":13823,"raw_checked":768,"canonical_worlds":68,"new_signatures":18,"next_order":3,"next_index":13824},{"advanced_at":1787518653,"order":3,"from":12288,"through":13055,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":13056},{"advanced_at":1787518473,"order":3,"from":11520,"through":12287,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":12288},{"advanced_at":1787518293,"order":3,"from":10752,"through":11519,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":11520},{"advanced_at":1787518113,"order":3,"from":9984,"through":10751,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":10752},{"advanced_at":1787517933,"order":3,"from":9216,"through":9983,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":9984},{"advanced_at":1787517753,"order":3,"from":8448,"through":9215,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":9216},{"advanced_at":1787517573,"order":3,"from":7680,"through":8447,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":8448},{"advanced_at":1787517393,"order":3,"from":6912,"through":7679,"raw_checked":768,"canonical_worlds":0,"new_signatures":0,"next_order":3,"next_index":7680},{"advanced_at":1787517213,"order":3,"from":6144,"through":6911,"raw_checked":768,"canonical_worlds":64,"new_signatures":1,"next_order":3,"next_index":6912},{"advanced_at":1787517033,"order":3,"from":5376,"through":6143,"raw_checked":768,"canonical_worlds":136,"new_signatures":2,"next_order":3,"next_index":6144},{"advanced_at":1787516853,"order":3,"from":4608,"through":5375,"raw_checked":768,"canonical_worlds":192,"new_signatures":3,"next_order":3,"next_index":5376},{"advanced_at":1787516673,"order":3,"from":3840,"through":4607,"raw_checked":768,"canonical_worlds":263,"new_signatures":14,"next_order":3,"next_index":4608},{"advanced_at":1787516154,"order":3,"from":3072,"through":3839,"raw_checked":768,"canonical_worlds":331,"new_signatures":8,"next_order":3,"next_index":3840},{"advanced_at":1787515854,"order":3,"from":2304,"through":3071,"raw_checked":768,"canonical_worlds":429,"new_signatures":6,"next_order":3,"next_index":3072},{"advanced_at":1787515554,"order":3,"from":1536,"through":2303,"raw_checked":768,"canonical_worlds":504,"new_signatures":9,"next_order":3,"next_index":2304},{"advanced_at":1787515254,"order":3,"from":768,"through":1535,"raw_checked":768,"canonical_worlds":581,"new_signatures":7,"next_order":3,"next_index":1536},{"advanced_at":1787514954,"order":3,"from":0,"through":767,"raw_checked":768,"canonical_worlds":692,"new_signatures":32,"next_order":3,"next_index":768}],"method":{"universe":"all binary operation tables on a labelled carrier set of the active finite order","quotient":"one canonical representative under every permutation of carrier labels","classification":"sixteen exact laws, evaluated exhaustively on each canonical table","retention":"first canonical representative of each distinct sixteen-bit law profile","counterexamples":"lexicographically earliest finite witness, or exclusions of every existential candidate"},"epistemic_boundary":"This maps a finite checked prefix of small binary operations, not all mathematics, logic, intelligence, or reason. A law profile is not a proof that a structure is historically novel."}