{"atlas":"native-distinctions","claim":"locally-seeded-equations-admitted-only-after-executable-profile-splitting","server_time":1791439163,"state":{"pulses":240,"candidates":676,"admitted":73,"updated_at":1787563308,"founded_at":1787520295},"predicates":[{"id":"N-765-28-1","expression":"((a·a)·(c·c)) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":765,"institution":{"id":28,"kind":"assembly","concept":1},"local_receipt":{"polis_pulse":765,"institution":{"id":28,"kind":"assembly","concept":1,"born_pulse":741,"age":24,"founder_ids":[128,134,139,146]},"local_supporters":[{"id":33,"role":3,"lexicon":[8,15,10,10,12,2,5],"beliefs":[3,2,3,2,0],"memory":[7,16,19,28,12,8,8,8]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0003F9G","order":4,"canonical_code":"159748","table":[0,1,0,0,0,0,3,1,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0003F9D","order":4,"canonical_code":"159745","table":[1,0,0,0,0,0,3,1,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787562408},{"id":"N-762-28-1","expression":"((a·a)·b) = ((a·a)·(b·c))","arity":3,"source_polis_pulse":762,"institution":{"id":28,"kind":"assembly","concept":1},"local_receipt":{"polis_pulse":762,"institution":{"id":28,"kind":"assembly","concept":1,"born_pulse":741,"age":21,"founder_ids":[128,134,139,146]},"local_supporters":[{"id":33,"role":3,"lexicon":[8,7,10,10,12,2,5],"beliefs":[3,2,3,2,0],"memory":[7,7,16,19,28,12,8,8]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0003EV3","order":4,"canonical_code":"159231","table":[3,3,3,3,1,3,2,1,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0003EO1","order":4,"canonical_code":"158977","table":[1,0,0,0,1,3,2,1,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":3}},"renaming_checks":48,"admitted_at":1787562228},{"id":"N-753-28-23","expression":"(c·c) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":753,"institution":{"id":28,"kind":"assembly","concept":1},"local_receipt":{"polis_pulse":753,"institution":{"id":28,"kind":"assembly","concept":1,"born_pulse":741,"age":12,"founder_ids":[128,134,139,146]},"local_supporters":[{"id":33,"role":3,"lexicon":[9,16,10,31,12,20,12],"beliefs":[3,2,3,2,0],"memory":[25,7,17,5,20,8,7,7]},{"id":134,"role":5,"lexicon":[12,17,19,0,0,3,27],"beliefs":[3,2,3,2,0],"memory":[15,2,2,20,15,9,27,27]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0003D34","order":4,"canonical_code":"156928","table":[0,0,0,0,1,1,2,1,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0003CW0","order":4,"canonical_code":"156672","table":[0,0,0,0,0,1,2,1,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787561688},{"id":"N-747-28-2","expression":"((a·a)·(c·c)) = ((c·b)·(c·b))","arity":3,"source_polis_pulse":747,"institution":{"id":28,"kind":"assembly","concept":1},"local_receipt":{"polis_pulse":747,"institution":{"id":28,"kind":"assembly","concept":1,"born_pulse":741,"age":6,"founder_ids":[128,134,139,146]},"local_supporters":[{"id":115,"role":7,"lexicon":[25,0,0,30,8,2,11],"beliefs":[3,2,3,2,0],"memory":[10,2,4,1,14,25,7,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0003C3K","order":4,"canonical_code":"155648","table":[0,0,0,0,0,0,2,1,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0003BPC","order":4,"canonical_code":"155136","table":[0,0,0,0,2,3,1,1,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":3}},"renaming_checks":48,"admitted_at":1787561328},{"id":"N-741-28-14","expression":"((c·a)·(a·a)) = ((c·a)·(c·c))","arity":3,"source_polis_pulse":741,"institution":{"id":28,"kind":"assembly","concept":1},"local_receipt":{"polis_pulse":741,"institution":{"id":28,"kind":"assembly","concept":1,"born_pulse":741,"age":0,"founder_ids":[128,134,139,146]},"local_supporters":[{"id":128,"role":5,"lexicon":[27,1,20,28,3,4,11],"beliefs":[3,2,3,2,0],"memory":[18,0,0,19,19,0,15,15]},{"id":134,"role":5,"lexicon":[8,17,18,18,30,3,17],"beliefs":[3,2,3,3,0],"memory":[8,19,19,27,10,10,10,15]},{"id":139,"role":0,"lexicon":[16,6,29,19,7,28,8],"beliefs":[3,2,3,2,0],"memory":[26,8,8,17,0,19,0,15]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0003APS","order":4,"canonical_code":"153856","table":[0,0,0,0,1,2,1,1,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0003AIO","order":4,"canonical_code":"153600","table":[0,0,0,0,0,2,1,1,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":2,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787560968},{"id":"N-654-27-11","expression":"((b·a)·(c·b)) = ((c·b)·(b·a))","arity":3,"source_polis_pulse":654,"institution":{"id":27,"kind":"market","concept":28},"local_receipt":{"polis_pulse":654,"institution":{"id":27,"kind":"market","concept":28,"born_pulse":642,"age":12,"founder_ids":[1,98,112,134]},"local_supporters":[{"id":134,"role":5,"lexicon":[9,31,10,10,11,14,4],"beliefs":[3,2,1,3,1],"memory":[24,0,26,7,22,7,4,23]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0002TES","order":4,"canonical_code":"131428","table":[0,1,2,1,1,0,0,0,2,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0002TC1","order":4,"canonical_code":"131329","table":[1,0,0,0,1,0,0,0,2,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":3},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787555748},{"id":"N-651-27-10","expression":"((a·a)·(a·a)) = ((c·c)·(b·c))","arity":3,"source_polis_pulse":651,"institution":{"id":27,"kind":"market","concept":28},"local_receipt":{"polis_pulse":651,"institution":{"id":27,"kind":"market","concept":28,"born_pulse":642,"age":9,"founder_ids":[1,98,112,134]},"local_supporters":[{"id":134,"role":5,"lexicon":[9,31,10,10,11,14,4],"beliefs":[3,2,1,3,1],"memory":[24,0,26,7,22,7,4,23]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0002SY8","order":4,"canonical_code":"130832","table":[0,0,1,0,3,3,3,3,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0002SQP","order":4,"canonical_code":"130561","table":[1,0,0,0,2,3,3,3,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":3,"right":0}},"renaming_checks":48,"admitted_at":1787555568},{"id":"N-642-27-13","expression":"((a·a)·(c·a)) = ((c·c)·(a·c))","arity":3,"source_polis_pulse":642,"institution":{"id":27,"kind":"market","concept":28},"local_receipt":{"polis_pulse":642,"institution":{"id":27,"kind":"market","concept":28,"born_pulse":642,"age":0,"founder_ids":[1,98,112,134]},"local_supporters":[{"id":1,"role":3,"lexicon":[23,27,30,16,23,21,8],"beliefs":[3,1,1,3,1],"memory":[23,23,25,17,24,21,10,10]},{"id":98,"role":1,"lexicon":[23,15,10,17,1,1,30],"beliefs":[3,1,1,2,3],"memory":[18,11,30,17,8,1,4,4]},{"id":134,"role":5,"lexicon":[9,31,24,16,19,14,4],"beliefs":[3,2,1,3,1],"memory":[30,4,24,0,26,7,22,7]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0002R0L","order":4,"canonical_code":"128325","table":[1,1,0,1,1,1,3,3,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0002QYP","order":4,"canonical_code":"128257","table":[1,0,0,0,1,1,3,3,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":2},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787555028},{"id":"N-539-26-11","expression":"((a·a)·c) = ((a·a)·(c·b))","arity":3,"source_polis_pulse":539,"institution":{"id":26,"kind":"gate","concept":2},"local_receipt":{"polis_pulse":539,"institution":{"id":26,"kind":"gate","concept":2,"born_pulse":533,"age":6,"founder_ids":[1,98,110,115]},"local_supporters":[{"id":110,"role":1,"lexicon":[5,19,26,11,30,27,7],"beliefs":[1,2,3,3,1],"memory":[11,7,13,27,27,0,5,2]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000270F","order":4,"canonical_code":"102399","table":[3,3,3,3,3,3,0,2,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00026TD","order":4,"canonical_code":"102145","table":[1,0,0,0,3,3,0,2,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":3,"right":2}},"renaming_checks":48,"admitted_at":1787548915},{"id":"N-536-26-7","expression":"(b·(a·b)) = (b·(b·a))","arity":2,"source_polis_pulse":536,"institution":{"id":26,"kind":"gate","concept":2},"local_receipt":{"polis_pulse":536,"institution":{"id":26,"kind":"gate","concept":2,"born_pulse":533,"age":3,"founder_ids":[1,98,110,115]},"local_supporters":[{"id":110,"role":1,"lexicon":[5,19,26,11,30,19,7],"beliefs":[1,2,3,3,1],"memory":[3,11,7,13,27,27,0,5]},{"id":115,"role":7,"lexicon":[8,7,24,6,10,10,13],"beliefs":[1,2,3,2,1],"memory":[5,17,24,4,5,22,5,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000268G","order":4,"canonical_code":"101392","table":[0,0,1,0,0,3,0,2,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0002681","order":4,"canonical_code":"101377","table":[1,0,0,0,0,3,0,2,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":2},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787548735},{"id":"N-533-26-82","expression":"((a·c)·a) = ((b·b)·(b·b))","arity":3,"source_polis_pulse":533,"institution":{"id":26,"kind":"gate","concept":2},"local_receipt":{"polis_pulse":533,"institution":{"id":26,"kind":"gate","concept":2,"born_pulse":533,"age":0,"founder_ids":[1,98,110,115]},"local_supporters":[{"id":1,"role":6,"lexicon":[19,9,1,7,14,19,9],"beliefs":[3,1,1,2,1],"memory":[30,6,28,28,0,26,4,7]},{"id":98,"role":2,"lexicon":[22,3,15,16,20,28,14],"beliefs":[3,1,1,2,1],"memory":[6,24,24,24,24,24,24,1]},{"id":110,"role":1,"lexicon":[5,19,26,11,30,19,7],"beliefs":[1,2,3,3,1],"memory":[3,11,7,13,27,27,0,5]},{"id":115,"role":7,"lexicon":[8,7,24,6,10,10,13],"beliefs":[1,2,3,2,1],"memory":[5,17,24,4,5,22,5,25]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-00025TS","order":4,"canonical_code":"100864","table":[0,0,0,0,2,2,0,2,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00025MO","order":4,"canonical_code":"100608","table":[0,0,0,0,1,2,0,2,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0}},"renaming_checks":48,"admitted_at":1787548555},{"id":"N-518-25-2","expression":"((a·a)·a) = ((a·b)·(b·c))","arity":3,"source_polis_pulse":518,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":518,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":24,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,7,14,11,3],"beliefs":[1,1,3,2,1],"memory":[23,0,24,30,6,28,28,0]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0002328","order":4,"canonical_code":"97280","table":[0,0,0,0,0,3,3,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00022O0","order":4,"canonical_code":"96768","table":[0,0,0,0,2,2,3,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787547655},{"id":"N-515-25-65","expression":"((b·c)·(a·a)) = ((b·c)·(a·b))","arity":3,"source_polis_pulse":515,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":515,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":21,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-000222O","order":4,"canonical_code":"96000","table":[0,0,0,0,3,1,3,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-000229S","order":4,"canonical_code":"96256","table":[0,0,0,0,0,2,3,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":2,"c":0},"left":3,"right":1}},"renaming_checks":48,"admitted_at":1787547475},{"id":"N-512-25-1","expression":"((a·b)·(b·b)) = ((a·b)·(b·c))","arity":3,"source_polis_pulse":512,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":512,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":18,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-00021OG","order":4,"canonical_code":"95488","table":[0,0,0,0,1,1,3,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00021HC","order":4,"canonical_code":"95232","table":[0,0,0,0,0,1,3,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787547295},{"id":"N-510-25-1","expression":"((c·a)·(a·b)) = ((c·a)·(b·c))","arity":3,"source_polis_pulse":510,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":510,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":16,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-00020W0","order":4,"canonical_code":"94464","table":[0,0,0,0,1,0,3,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0002134","order":4,"canonical_code":"94720","table":[0,0,0,0,2,0,3,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":1}},"renaming_checks":48,"admitted_at":1787547115},{"id":"N-506-25-2","expression":"((a·a)·(b·b)) = ((b·c)·(c·a))","arity":3,"source_polis_pulse":506,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":506,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":12,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-00020OW","order":4,"canonical_code":"94208","table":[0,0,0,0,0,0,3,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00020AO","order":4,"canonical_code":"93696","table":[0,0,0,0,2,3,2,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787546935},{"id":"N-503-25-9","expression":"((a·a)·(c·c)) = ((c·c)·(a·c))","arity":3,"source_polis_pulse":503,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":503,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":9,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001ZWG","order":4,"canonical_code":"93184","table":[0,0,0,0,0,3,2,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001ZPC","order":4,"canonical_code":"92928","table":[0,0,0,0,3,2,2,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787546755},{"id":"N-500-25-84","expression":"((a·c)·(b·c)) = ((c·c)·(b·c))","arity":3,"source_polis_pulse":500,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":500,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":6,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001ZBD","order":4,"canonical_code":"92425","table":[1,2,0,0,1,2,2,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001Z41","order":4,"canonical_code":"92161","table":[1,0,0,0,0,2,2,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787546575},{"id":"N-497-25-21","expression":"((b·b)·(c·b)) = ((c·b)·(c·c))","arity":3,"source_polis_pulse":497,"institution":{"id":25,"kind":"forge","concept":24},"local_receipt":{"polis_pulse":497,"institution":{"id":25,"kind":"forge","concept":24,"born_pulse":494,"age":3,"founder_ids":[1,80,112,115]},"local_supporters":[{"id":1,"role":2,"lexicon":[19,9,1,15,14,11,3],"beliefs":[1,1,3,2,1],"memory":[11,23,0,24,30,6,28,28]},{"id":98,"role":2,"lexicon":[22,3,5,8,20,28,14],"beliefs":[3,1,1,2,1],"memory":[9,9,8,6,24,24,24,24]},{"id":101,"role":5,"lexicon":[29,12,30,31,21,10,2],"beliefs":[3,1,1,2,3],"memory":[16,19,13,21,2,0,16,16]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001YIT","order":4,"canonical_code":"91397","table":[1,1,0,0,1,1,2,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001YIP","order":4,"canonical_code":"91393","table":[1,0,0,0,1,1,2,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787546395},{"id":"N-494-24-16","expression":"((c·c)·(a·c)) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":494,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":494,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":44,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001XXC","order":4,"canonical_code":"90624","table":[0,0,0,0,2,0,2,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001YBK","order":4,"canonical_code":"91136","table":[0,0,0,0,0,1,2,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787546215},{"id":"N-491-24-22","expression":"((a·a)·(b·a)) = ((b·b)·(a·a))","arity":2,"source_polis_pulse":491,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":491,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":41,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001XCG","order":4,"canonical_code":"89872","table":[0,0,1,0,3,3,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001XC1","order":4,"canonical_code":"89857","table":[1,0,0,0,3,3,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787546035},{"id":"N-488-24-7","expression":"((b·c)·(c·c)) = ((c·a)·(a·a))","arity":3,"source_polis_pulse":488,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":488,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":38,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001WQO","order":4,"canonical_code":"89088","table":[0,0,0,0,0,3,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001WXS","order":4,"canonical_code":"89344","table":[0,0,0,0,1,3,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787545855},{"id":"N-485-24-4","expression":"((a·a)·(a·c)) = ((c·a)·(a·a))","arity":3,"source_polis_pulse":485,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":485,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":35,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001WEI","order":4,"canonical_code":"88650","table":[2,2,0,1,2,2,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001W5D","order":4,"canonical_code":"88321","table":[1,0,0,0,1,2,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":2}},"renaming_checks":48,"admitted_at":1787545675},{"id":"N-482-24-12","expression":"((a·a)·(a·b)) = ((b·b)·(b·b))","arity":2,"source_polis_pulse":482,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":482,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":32,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001VMD","order":4,"canonical_code":"87637","table":[1,1,1,1,2,1,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001VK1","order":4,"canonical_code":"87553","table":[1,0,0,0,2,1,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1},"left":2,"right":1}},"renaming_checks":48,"admitted_at":1787545495},{"id":"N-479-24-11","expression":"((a·c)·(b·c)) = ((b·c)·(a·c))","arity":3,"source_polis_pulse":479,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":479,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":29,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001V5S","order":4,"canonical_code":"87040","table":[0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001UYO","order":4,"canonical_code":"86784","table":[0,0,0,0,3,0,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":2},"left":0,"right":3}},"renaming_checks":48,"admitted_at":1787545315},{"id":"N-476-24-1","expression":"((c·a)·(b·a)) = ((c·b)·(b·a))","arity":3,"source_polis_pulse":476,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":476,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":26,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001UKH","order":4,"canonical_code":"86273","table":[1,0,0,0,1,0,1,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001UDD","order":4,"canonical_code":"86017","table":[1,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787545135},{"id":"N-473-24-10","expression":"((a·a)·a) = ((c·c)·(c·c))","arity":3,"source_polis_pulse":473,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":473,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":23,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001TS4","order":4,"canonical_code":"85252","table":[0,1,0,0,1,3,0,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001TS1","order":4,"canonical_code":"85249","table":[1,0,0,0,1,3,0,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":3}},"renaming_checks":48,"admitted_at":1787544955},{"id":"N-470-24-3","expression":"((a·b)·(b·a)) = ((b·b)·(c·b))","arity":3,"source_polis_pulse":470,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":470,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":20,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001TKW","order":4,"canonical_code":"84992","table":[0,0,0,0,0,3,0,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001T6O","order":4,"canonical_code":"84480","table":[0,0,0,0,2,2,0,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787544775},{"id":"N-467-24-16","expression":"((a·a)·a) = ((c·b)·(b·b))","arity":3,"source_polis_pulse":467,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":467,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":17,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001SSG","order":4,"canonical_code":"83968","table":[0,0,0,0,0,2,0,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001SLC","order":4,"canonical_code":"83712","table":[0,0,0,0,3,1,0,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":2},"left":0,"right":3}},"renaming_checks":48,"admitted_at":1787544595},{"id":"N-464-24-1","expression":"((b·b)·(a·c)) = ((c·c)·c)","arity":3,"source_polis_pulse":464,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":464,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":14,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000000000010","supporting_world":{"id":"R4-0001S9H","order":4,"canonical_code":"83285","table":[1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001S79","order":4,"canonical_code":"83205","table":[1,1,0,0,1,1,0,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":2},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787544415},{"id":"N-461-24-7","expression":"((b·b)·(b·b)) = ((c·a)·(c·a))","arity":3,"source_polis_pulse":461,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":461,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":11,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]},{"id":114,"role":3,"lexicon":[19,21,5,12,29,20,26],"beliefs":[2,1,1,1,3],"memory":[21,21,5,5]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001RES","order":4,"canonical_code":"82180","table":[0,1,0,0,1,0,0,1,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001REP","order":4,"canonical_code":"82177","table":[1,0,0,0,1,0,0,1,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":3},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787544235},{"id":"N-458-24-6","expression":"((b·c)·(c·b)) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":458,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":458,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":8,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0001QUW","order":4,"canonical_code":"81464","table":[0,2,3,0,2,3,3,0,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001QTD","order":4,"canonical_code":"81409","table":[1,0,0,0,2,3,3,0,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":3},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787544055},{"id":"N-455-24-6","expression":"((a·a)·(c·b)) = ((a·c)·(b·b))","arity":3,"source_polis_pulse":455,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":455,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":5,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001QF4","order":4,"canonical_code":"80896","table":[0,0,0,0,0,3,3,0,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001Q80","order":4,"canonical_code":"80640","table":[0,0,0,0,3,2,3,0,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787543875},{"id":"N-452-24-16","expression":"((b·c)·c) = ((c·b)·b)","arity":3,"source_polis_pulse":452,"institution":{"id":24,"kind":"garden","concept":5},"local_receipt":{"polis_pulse":452,"institution":{"id":24,"kind":"garden","concept":5,"born_pulse":450,"age":2,"founder_ids":[3,9,42,65]},"local_supporters":[{"id":42,"role":6,"lexicon":[30,13,15,10,5,23,31],"beliefs":[1,0,1,1,3],"memory":[13,13,7,31,15,27,25,7]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0001PMO","order":4,"canonical_code":"79872","table":[0,0,0,0,0,2,3,0,1,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0001PTS","order":4,"canonical_code":"80128","table":[0,0,0,0,1,2,3,0,1,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787543695},{"id":"N-326-22-4","expression":"((a·a)·(a·c)) = ((a·c)·a)","arity":3,"source_polis_pulse":326,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":326,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":51,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00010T1","order":4,"canonical_code":"47701","table":[1,1,1,1,2,2,3,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00010QP","order":4,"canonical_code":"47617","table":[1,0,0,0,2,2,3,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":2,"right":1}},"renaming_checks":48,"admitted_at":1787536135},{"id":"N-323-22-24","expression":"((b·a)·(b·b)) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":323,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":323,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":48,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00010CK","order":4,"canonical_code":"47108","table":[0,1,0,0,0,2,3,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00010CW","order":4,"canonical_code":"47120","table":[0,0,1,0,0,2,3,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":1},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787535955},{"id":"N-320-22-1","expression":"(c·(b·b)) = ((c·c)·c)","arity":3,"source_polis_pulse":320,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":320,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":45,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000ZR9","order":4,"canonical_code":"46341","table":[1,1,0,0,1,1,3,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000ZK5","order":4,"canonical_code":"46085","table":[1,1,0,0,0,1,3,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787535775},{"id":"N-317-22-2","expression":"((c·c)·(a·b)) = ((c·c)·(b·c))","arity":3,"source_polis_pulse":317,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":317,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":42,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000Z3E","order":4,"canonical_code":"45482","table":[2,2,2,2,1,0,3,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000YYP","order":4,"canonical_code":"45313","table":[1,0,0,0,1,0,3,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787535595},{"id":"N-314-22-2","expression":"((a·b)·(c·b)) = ((c·b)·(b·b))","arity":3,"source_polis_pulse":314,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":314,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":39,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000010","supporting_world":{"id":"R4-0000YDK","order":4,"canonical_code":"44552","table":[0,2,0,0,2,3,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000YI6","order":4,"canonical_code":"44718","table":[2,3,2,2,2,3,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":2},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787535415},{"id":"N-311-22-5","expression":"((a·a)·(c·c)) = ((b·b)·(c·a))","arity":3,"source_polis_pulse":311,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":311,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":36,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000010","supporting_world":{"id":"R4-0000XS8","order":4,"canonical_code":"43784","table":[0,2,0,0,3,2,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000XWU","order":4,"canonical_code":"43950","table":[2,3,2,2,3,2,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":2,"c":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787535235},{"id":"N-308-22-3","expression":"((b·a)·(a·a)) = ((b·a)·(b·a))","arity":2,"source_polis_pulse":308,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":308,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":33,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000X7M","order":4,"canonical_code":"43042","table":[2,0,2,0,0,2,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000X6P","order":4,"canonical_code":"43009","table":[1,0,0,0,0,2,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787535055},{"id":"N-305-22-4","expression":"((a·a)·(b·c)) = ((a·a)·(c·b))","arity":3,"source_polis_pulse":305,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":305,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":30,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R4-0000WSG","order":4,"canonical_code":"42496","table":[0,0,0,0,2,1,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000WLC","order":4,"canonical_code":"42240","table":[0,0,0,0,1,1,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":1,"c":2},"left":2,"right":1}},"renaming_checks":48,"admitted_at":1787534875},{"id":"N-302-22-5","expression":"((c·c)·(b·c)) = ((c·c)·(c·a))","arity":3,"source_polis_pulse":302,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":302,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":27,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000W0Y","order":4,"canonical_code":"41506","table":[2,0,2,0,2,0,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000W01","order":4,"canonical_code":"41473","table":[1,0,0,0,2,0,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787534695},{"id":"N-299-22-1","expression":"(a·(a·a)) = (b·(c·b))","arity":3,"source_polis_pulse":299,"institution":{"id":22,"kind":"school","concept":24},"local_receipt":{"polis_pulse":299,"institution":{"id":22,"kind":"school","concept":24,"born_pulse":275,"age":24,"founder_ids":[45,53,60,84]},"local_supporters":[{"id":53,"role":7,"lexicon":[2,11,2,2,23,10,7],"beliefs":[1,3,2,1,1],"memory":[15,25,14,14,0,29,6,25]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-0000VLW","order":4,"canonical_code":"40964","table":[0,1,0,0,0,0,2,2,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000VMG","order":4,"canonical_code":"40984","table":[0,2,1,0,0,0,2,2,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787534515},{"id":"N-186-21-14","expression":"((a·c)·(c·c)) = ((b·b)·(b·b))","arity":3,"source_polis_pulse":186,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":186,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":19,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000938","order":4,"canonical_code":"11780","table":[0,1,0,0,2,3,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00008W1","order":4,"canonical_code":"11521","table":[1,0,0,0,1,3,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":3}},"renaming_checks":48,"admitted_at":1787527675},{"id":"N-182-21-1","expression":"(a·(b·a)) = ((c·c)·c)","arity":3,"source_polis_pulse":182,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":182,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":15,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000001000010","supporting_world":{"id":"R4-00008P8","order":4,"canonical_code":"11276","table":[0,3,0,0,0,3,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00008P4","order":4,"canonical_code":"11272","table":[0,2,0,0,0,3,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0}},"renaming_checks":48,"admitted_at":1787527495},{"id":"N-179-17-4","expression":"((b·a)·(b·b)) = ((c·b)·(b·c))","arity":3,"source_polis_pulse":179,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":179,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":86,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00007Y8","order":4,"canonical_code":"10304","table":[0,0,0,1,0,2,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00007WK","order":4,"canonical_code":"10244","table":[0,1,0,0,0,2,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787527315},{"id":"N-176-19-1","expression":"((c·b)·(a·b)) = ((c·b)·(c·c))","arity":3,"source_polis_pulse":176,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":176,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":70,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00007CW","order":4,"canonical_code":"9536","table":[0,0,0,1,1,1,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000745","order":4,"canonical_code":"9221","table":[1,1,0,0,0,1,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787527135},{"id":"N-173-21-5","expression":"(a·a) = ((b·b)·(a·c))","arity":3,"source_polis_pulse":173,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":173,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":6,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00006KG","order":4,"canonical_code":"8512","table":[0,0,0,1,1,0,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00006IP","order":4,"canonical_code":"8449","table":[1,0,0,0,1,0,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526955},{"id":"N-170-21-3","expression":"((a·c)·(a·b)) = ((b·c)·(c·c))","arity":3,"source_polis_pulse":170,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":170,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":3,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00006DC","order":4,"canonical_code":"8256","table":[0,0,0,1,0,0,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00006BO","order":4,"canonical_code":"8196","table":[0,1,0,0,0,0,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526775},{"id":"N-167-19-1","expression":"(b·(b·a)) = ((a·b)·(b·a))","arity":2,"source_polis_pulse":167,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":167,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":61,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00005JG","order":4,"canonical_code":"7180","table":[0,3,0,0,0,3,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00005J8","order":4,"canonical_code":"7172","table":[0,1,0,0,0,3,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":2,"b":1},"left":3,"right":1}},"renaming_checks":48,"admitted_at":1787526595},{"id":"N-164-17-4","expression":"((a·a)·(a·a)) = ((b·a)·(a·b))","arity":2,"source_polis_pulse":164,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":164,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":71,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00004R4","order":4,"canonical_code":"6160","table":[0,0,1,0,0,2,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00004QS","order":4,"canonical_code":"6148","table":[0,1,0,0,0,2,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787526415},{"id":"N-161-20-1","expression":"((a·a)·(a·b)) = ((b·b)·(a·a))","arity":2,"source_polis_pulse":161,"institution":{"id":20,"kind":"market","concept":2},"local_receipt":{"polis_pulse":161,"institution":{"id":20,"kind":"market","concept":2,"born_pulse":113,"age":48,"founder_ids":[2,3,18,42]},"local_supporters":[{"id":18,"role":3,"lexicon":[20,24,9,1,21,0,17],"beliefs":[3,3,2,1,0],"memory":[7,25,13,6]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000046D","order":4,"canonical_code":"5413","table":[1,1,2,0,1,1,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-000045D","order":4,"canonical_code":"5377","table":[1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":2},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526235},{"id":"N-158-19-4","expression":"(b·(a·a)) = ((a·a)·b)","arity":2,"source_polis_pulse":158,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":158,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":52,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00003K8","order":4,"canonical_code":"4616","table":[0,2,0,0,2,0,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00003K1","order":4,"canonical_code":"4609","table":[1,0,0,0,2,0,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787526055},{"id":"N-155-17-1","expression":"(b·b) = ((b·b)·(c·c))","arity":3,"source_polis_pulse":155,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":155,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":62,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]},{"id":98,"role":4,"lexicon":[18,28,6,28,8,8,14],"beliefs":[3,1,3,2,2],"memory":[0,0,0,0,3,9,23]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00003D0","order":4,"canonical_code":"4356","table":[0,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-000035X","order":4,"canonical_code":"4101","table":[1,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787525875},{"id":"N-149-20-4","expression":"((b·b)·(b·c)) = ((b·c)·(b·c))","arity":3,"source_polis_pulse":149,"institution":{"id":20,"kind":"market","concept":2},"local_receipt":{"polis_pulse":149,"institution":{"id":20,"kind":"market","concept":2,"born_pulse":113,"age":36,"founder_ids":[2,3,18,42]},"local_supporters":[{"id":18,"role":3,"lexicon":[20,24,9,1,21,0,17],"beliefs":[3,3,2,1,0],"memory":[7,25,13,6]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000020G","order":4,"canonical_code":"2608","table":[0,0,3,0,2,2,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00001S1","order":4,"canonical_code":"2305","table":[1,0,0,0,1,2,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787525515},{"id":"N-146-17-3","expression":"((a·b)·(a·a)) = ((a·c)·(c·c))","arity":3,"source_polis_pulse":146,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":146,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":53,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00001L0","order":4,"canonical_code":"2052","table":[0,1,0,0,0,2,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00001LC","order":4,"canonical_code":"2064","table":[0,0,1,0,0,2,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787525335},{"id":"N-143-19-2","expression":"((a·b)·a) = ((c·c)·c)","arity":3,"source_polis_pulse":143,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":143,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":37,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000010","supporting_world":{"id":"R4-000011X","order":4,"canonical_code":"1365","table":[1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000105","order":4,"canonical_code":"1301","table":[1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":3},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787525155},{"id":"N-140-19-3","expression":"((b·c)·(c·a)) = ((c·b)·(c·a))","arity":3,"source_polis_pulse":140,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":140,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":34,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000075","order":4,"canonical_code":"257","table":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000005","order":4,"canonical_code":"5","table":[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787524975},{"id":"N-128-17-5","expression":"((c·a)·(c·c)) = ((c·c)·(b·c))","arity":3,"source_polis_pulse":128,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":128,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":35,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010001010010100","supporting_world":{"id":"R3-DE9","order":3,"canonical_code":"17361","table":[0,0,0,1,1,2,2,1,2]},"opposing_world":{"id":"R3-D7I","order":3,"canonical_code":"17118","table":[0,0,0,1,1,1,2,1,2],"witness":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":1}},"renaming_checks":12,"admitted_at":1787524255},{"id":"N-122-11-21","expression":"((a·c)·(a·a)) = ((c·c)·a)","arity":3,"source_polis_pulse":122,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":122,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":91,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0010010001011000","supporting_world":{"id":"R3-C2U","order":3,"canonical_code":"15654","table":[0,1,2,0,1,1,0,1,2]},"opposing_world":{"id":"R3-CA9","order":3,"canonical_code":"15921","table":[0,0,2,1,1,2,0,1,2],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":12,"admitted_at":1787523895},{"id":"N-119-11-1","expression":"((a·a)·(b·c)) = ((c·b)·(a·c))","arity":3,"source_polis_pulse":119,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":119,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":88,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0010010001010000","supporting_world":{"id":"R3-BPC","order":3,"canonical_code":"15168","table":[0,1,2,0,1,2,2,0,2]},"opposing_world":{"id":"R3-BP9","order":3,"canonical_code":"15165","table":[0,0,2,0,1,2,2,0,2],"witness":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":2}},"renaming_checks":12,"admitted_at":1787523715},{"id":"N-116-17-18","expression":"((c·b)·c) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":116,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":116,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":23,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":56,"role":1,"lexicon":[16,8,26,19,28,21,9],"beliefs":[1,1,2,2,1],"memory":[18,23,6,11,23,27,3,11]},{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010001010000000","supporting_world":{"id":"R3-AXR","order":3,"canonical_code":"14175","table":[0,0,0,0,1,1,1,0,2]},"opposing_world":{"id":"R3-AYO","order":3,"canonical_code":"14208","table":[0,2,0,1,1,1,1,0,2],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":2}},"renaming_checks":12,"admitted_at":1787523535},{"id":"N-113-17-3","expression":"((a·b)·(a·a)) = ((b·b)·(a·a))","arity":2,"source_polis_pulse":113,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":113,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":20,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010010001000000","supporting_world":{"id":"R3-ALL","order":3,"canonical_code":"13737","table":[0,1,2,1,1,2,0,0,2]},"opposing_world":{"id":"R3-A7C","order":3,"canonical_code":"13224","table":[0,1,2,0,1,0,0,0,2],"witness":{"variables":{"a":1,"b":2},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787523355}],"pulses":[],"admission_burden":{"source":"an active Polis institution and only its locally supporting inhabitants","form":"a universally quantified equation over the current finite binary-operation language","nontriviality":"must differ on two canonical worlds sharing the same inherited sixteen-bit law profile","invariance":"must preserve truth under every carrier-label permutation of both witness worlds","evidence":"exact supporting table, opposing table, earliest counterexample, source receipt, and rejected candidates"},"epistemic_boundary":"These are architecture-generated conjectures causally seeded by local Polis state. Admission proves a split in the surveyed witness pair, not historical novelty, intelligence, understanding, or universal independence from every possible inherited theory."}