Lean (version 4.7.0, commit v4.7.0, Release)
exitCode=0
/home/runner/workspace/formal/proof-network/releases/7dd046893b5bfc94847230a1/ProofNetwork.lean:7627:18: warning: unused variable `rest` [linter.unusedVariables]
'NetworkSources.Source0.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source0.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source1.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source2.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source3.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source3.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source3.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source3.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source4.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source5.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source5.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source6.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source7.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source8.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source9.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source10.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source11.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source12.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source13.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source14.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source14.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source15.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source15.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source15.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source15.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source16.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source17.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source17.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_6' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_7' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_8' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_9' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_11' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.inference_13' does not depend on any axioms
'NetworkSources.Source18.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source19.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source20.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source21.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source22.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source23.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source23.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source24.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source25.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source26.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source27.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source28.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source28.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source29.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source29.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source30.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source31.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source31.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source32.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source33.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source34.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source35.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source36.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source36.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source37.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source38.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source38.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source39.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source40.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source41.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source42.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source43.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source44.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source44.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source45.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source46.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source47.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source48.HunterAuthored.conditional_returns_declared_branch' does not depend on any axioms
'NetworkSources.Source49.HunterAuthored.conditional_returns_declared_branch' does not depend on any axioms
'NetworkSources.Source50.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source51.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source51.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source52.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source53.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source54.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source54.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source55.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source56.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source57.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source57.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source58.HunterAuthored.logical_ground_necessary_existence' does not depend on any axioms
'NetworkSources.Source59.HunterAuthored.logical_ground_necessary_existence' does not depend on any axioms
'NetworkSources.Source59.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source60.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source61.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source61.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source62.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source63.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source63.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source64.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source65.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source66.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source67.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source68.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source68.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source69.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source70.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source71.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source72.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source73.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source73.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source74.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source75.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source76.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source76.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source76.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source76.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source77.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source78.HunterAuthored.g6_assignment_enforcement' does not depend on any axioms
'NetworkSources.Source79.HunterAuthored.g6_assignment_enforcement' does not depend on any axioms
'NetworkSources.Source80.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source81.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source82.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source83.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source83.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source84.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source85.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source86.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source87.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source87.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source88.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source88.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source89.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source90.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source91.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source92.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source93.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source94.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source95.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source96.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source97.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source98.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source99.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source100.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source101.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source101.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source102.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source103.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source103.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source104.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source105.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source105.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source105.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source106.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source107.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_6' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_7' does not depend on any axioms
'NetworkSources.Source108.HunterAuthored.inference_8' does not depend on any axioms
'NetworkSources.Source109.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source109.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source110.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source110.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source111.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source112.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source113.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source114.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source115.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source116.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source116.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source117.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source118.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source118.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source119.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source120.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source120.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source121.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source122.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source123.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source123.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source124.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source125.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source126.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source126.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source127.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source128.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source129.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source130.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source131.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source132.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source133.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source134.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source135.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source136.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source137.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source137.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source138.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source138.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source138.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source138.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source139.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source140.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source140.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source141.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source141.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source142.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source142.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source143.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source144.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source144.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source145.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source146.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source147.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source148.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source149.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source150.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source151.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source152.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source153.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source154.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source154.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source155.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source156.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source157.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source157.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source158.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source159.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source159.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source160.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source161.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source161.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source161.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source162.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source163.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source164.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source165.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source166.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source167.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source168.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source169.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source169.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source170.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source171.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source172.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source173.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source174.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source175.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source176.HunterAuthored.fuel_iteration_bound' does not depend on any axioms
'NetworkSources.Source177.HunterAuthored.fuel_iteration_bound' does not depend on any axioms
'NetworkSources.Source178.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source178.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source179.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source180.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source180.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source181.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source182.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source183.HunterAuthored.integer_parity_range' does not depend on any axioms
'NetworkSources.Source184.HunterAuthored.integer_parity_range' does not depend on any axioms
'NetworkSources.Source185.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source186.HunterAuthored.signed_state_exclusivity' does not depend on any axioms
'NetworkSources.Source187.HunterAuthored.signed_state_exclusivity' does not depend on any axioms
'NetworkSources.Source188.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source189.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source190.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source191.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source192.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source193.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source193.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source194.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source195.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source195.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source196.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source197.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source197.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source197.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source198.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source198.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source199.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source199.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.inference_6' does not depend on any axioms
'NetworkSources.Source200.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source201.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source202.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source203.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source203.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source204.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source205.HunterAuthored.negation_value_involution' does not depend on any axioms
'NetworkSources.Source206.HunterAuthored.negation_value_involution' does not depend on any axioms
'NetworkSources.Source207.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source208.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source209.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source210.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source211.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source211.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source212.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source212.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source213.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source214.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source215.HunterAuthored.distinct_magnitude_or_commutative' does not depend on any axioms
'NetworkSources.Source216.HunterAuthored.distinct_magnitude_or_commutative' does not depend on any axioms
'NetworkSources.Source217.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source218.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source219.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source220.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source220.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source220.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source220.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source220.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source221.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source221.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source221.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source221.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source221.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source222.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source223.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source224.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source225.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source225.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source226.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source227.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source227.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source228.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source228.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source229.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source229.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source230.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source230.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source231.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source231.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source232.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source233.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source234.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source234.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source235.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source236.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source237.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source237.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source238.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source239.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source240.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source241.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source242.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source243.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source243.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source244.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source245.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source245.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source246.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source246.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source246.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source246.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source246.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source247.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source248.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source248.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source248.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source248.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source249.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source250.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source250.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source251.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source252.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source253.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source254.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source255.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source256.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source257.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source258.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source258.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source258.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source259.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source260.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source261.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source262.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source263.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source263.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source264.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source265.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source265.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source266.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source266.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source266.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source267.HunterAuthored.valid_unit_seven_checks' does not depend on any axioms
'NetworkSources.Source267.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source268.HunterAuthored.valid_unit_seven_checks' does not depend on any axioms
'NetworkSources.Source268.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source269.HunterAuthored.generated_signature_invariants' does not depend on any axioms
'NetworkSources.Source270.HunterAuthored.generated_signature_invariants' does not depend on any axioms
'NetworkSources.Source271.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source272.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source273.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source274.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source275.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source276.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source277.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source278.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source279.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source279.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source280.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source281.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source282.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source282.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source282.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source282.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source283.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source284.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source285.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source286.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source287.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source288.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source289.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source290.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source291.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source291.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source291.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source292.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source292.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source292.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source293.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source294.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source295.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source296.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source296.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source296.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source297.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source298.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source299.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source299.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source300.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source301.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source302.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source303.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source304.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source305.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source306.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source306.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source307.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source308.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source309.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source309.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source310.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source311.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source312.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source313.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source314.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source314.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source314.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source315.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source315.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.inference_7' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.inference_8' does not depend on any axioms
'NetworkSources.Source316.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source317.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source318.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source318.HunterAuthored.inference_4' does not depend on any axioms
'NetworkSources.Source318.HunterAuthored.inference_5' does not depend on any axioms
'NetworkSources.Source318.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source319.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source320.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source321.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source322.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source323.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source324.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source325.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source326.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source327.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source328.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source328.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source329.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source329.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source330.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source331.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source332.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source333.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source334.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source335.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source336.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source337.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source338.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source338.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source338.HunterAuthored.inference_3' does not depend on any axioms
'NetworkSources.Source339.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source339.HunterAuthored.inference_2' does not depend on any axioms
'NetworkSources.Source340.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Source340.HunterAuthored.source_identity_rule' does not depend on any axioms
'NetworkSources.Source341.HunterAuthored.exponent_xor_self_positive' does not depend on any axioms
'NetworkSources.Source342.HunterAuthored.exponent_xor_self_positive' does not depend on any axioms
'NetworkSources.Source343.HunterAuthored.inference_1' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_code_and_data_same_type' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_unquote_quote' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_quote_unquote' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_phase_bivalence' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_even_phase' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_data_execution_agrees' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_code_data_transformation_agrees' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_self_summation' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_normalization_preserves_meaning' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_normalization_idempotent' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_single_value' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_reason_noncontradiction' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_init_has_exact_phase_data' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.init_program_achieves_perfect_stasis' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_init_is_single_balance' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_init_outer_phase' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_complete_init_is_single_positive_state' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_init_literal_is_exact' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_compiled_literal_self_identity' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.mcb_balance_zero_is_not_fixed_ground' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.nand_signed_truth_table' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.single_root_preserves_conjunction' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.fixed_ground_encoding' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.negative_runtime_encoding' does not depend on any axioms
'NetworkSources.Native.NativeMCBEvidence.runtime_roundtrip' does not depend on any axioms
'HunterProofNetwork.certified_member' does not depend on any axioms
'HunterProofNetwork.whole_network_conjunction' does not depend on any axioms
'HunterProofNetwork.whole_network_certificate' does not depend on any axioms
'HunterProofNetwork.every_network_node_is_proved' does not depend on any axioms
'HunterProofNetwork.false_is_not_a_network_node' does not depend on any axioms
'HunterProofNetwork.network_has_no_contradictory_member' does not depend on any axioms
'HunterProofNetwork.complete_network_not_false' does not depend on any axioms
'HunterProofNetwork.scoped_implication_composition' does not depend on any axioms
'HunterProofNetwork.scoped_many_conclusion_fork' does not depend on any axioms
'HunterProofNetwork.independent_context_union' does not depend on any axioms
'HunterProofNetwork.equivalent_context_transport' does not depend on any axioms
'HunterProofNetwork.higher_order_path_composition' does not depend on any axioms