import Main
#print axioms Chapter3.Const
#print axioms Chapter3.Fixed
#print axioms Chapter3.Ident
#print axioms Chapter3.Active
#print axioms Chapter3.component_partition
#print axioms Chapter3.Fiber
#print axioms Chapter3.composite_zero
#print axioms Chapter3.fiber_representation
#print axioms Chapter3.EqRel
#print axioms Chapter3.ZeroRel
#print axioms Chapter3.FiberPreorder
#print axioms Chapter3.fiber_preorder_refl
#print axioms Chapter3.fiber_preorder_trans
#print axioms Chapter3.zero_trans
#print axioms Chapter3.zero_replace
#print axioms Chapter3.fixed_isometry
#print axioms Chapter3.ident_isometry
#print axioms Chapter3.outer_const
#print axioms Chapter3.ident_comp
#print axioms Chapter3.active_comp
#print axioms Chapter3.identity_not_active
#print axioms Chapter3.const_zero_row
#print axioms Chapter3.const_colip_entry
#print axioms Chapter3.fiber_target_zero
#print axioms Chapter3.fiber_image_nonempty
#print axioms Chapter3.fiber_cover
#print axioms Chapter3.fibers_equal_or_disjoint
#print axioms Chapter3.fiber_intersection
#print axioms Chapter3.fiber_antitone
#print axioms Chapter3.fiber_singleton
#print axioms Chapter3.fiber_full_subset
#print axioms Chapter3.fiber_ident
#print axioms Chapter3.fiber_const
#print axioms Chapter3.fiber_const_empty
#print axioms Chapter3.Factors
#print axioms Chapter3.factors_iff
#print axioms Chapter3.mutual_factors_iff
#print axioms Chapter3.Legal
#print axioms Chapter3.Radius
#print axioms Chapter3.UniformOn
#print axioms Chapter3.Uniform
#print axioms Chapter3.NullMatrix
#print axioms Chapter3.legal_ball_iff
#print axioms Chapter3.radius_empty_legal
#print axioms Chapter3.below_radius
#print axioms Chapter3.radius_mono_domain
#print axioms Chapter3.uniform_le_radius
#print axioms Chapter3.uniform_mono_domain
#print axioms Chapter3.below_uniform
#print axioms Chapter3.separated_lower_bound
#print axioms Chapter3.threshold_ball
#print axioms Chapter3.const_radius
#print axioms Chapter3.const_uniform
#print axioms Chapter3.identity_radius_bound
#print axioms Chapter3.composite_radius_mono
#print axioms Chapter3.radius_output_antitone
#print axioms Chapter3.uniform_output_antitone
#print axioms Chapter3.ScaleFamily
#print axioms Chapter3.diameter
#print axioms Chapter3.diameter_mono
#print axioms Chapter3.diameterScale
#print axioms Chapter3.thresholdType
#print axioms Chapter3.threshold_type_iff
#print axioms Chapter3.threshold_exhaustive
#print axioms Chapter3.scale_threshold_mono
#print axioms Chapter3.radius_threshold_antitone
#print axioms Chapter3.scale_domain_mono
#print axioms Chapter3.small_domain_iff
#print axioms Chapter3.colip_gap_point
#print axioms Chapter3.colip_gap_uniform
#print axioms Chapter3.le_radius_iff
#print axioms Chapter3.radius_components
#print axioms Chapter3.uniform_components
#print axioms Chapter3.fiber_step
#print axioms Chapter3.radius_step
#print axioms Chapter3.composite_fiber_step
#print axioms Chapter3.identity_image_fiber
#print axioms Chapter3.const_family_radii
#print axioms Chapter3.chainPrefix
#print axioms Chapter3.chainPrefix_domain_step
#print axioms Chapter3.active_chain
#print axioms Chapter3.relation_chain
#print axioms Chapter3.relation_chain_strict
#print axioms Chapter3.imageSetoid
#print axioms Chapter3.ImageQuotient
#print axioms Chapter3.imageClass
#print axioms Chapter3.QuotientFactors
#print axioms Chapter3.quotient_factors_iff
#print axioms Chapter3.mutual_quotient_factors_iff
#print axioms Chapter3.separated_relations
#print axioms Chapter3.separated_factorization
#print axioms Chapter3.zero_relation_fiber
#print axioms Chapter3.insufficient_radius_witness
#print axioms Chapter3.transfer_net
#print axioms Chapter3.transfer_cover
#print axioms Chapter3.null_cover_bound
#print axioms Chapter3.const_cover_one
#print axioms Chapter3.const_entropy_zero
#print axioms Chapter3.TotallyBoundedBy
#print axioms Chapter3.totally_bounded_iff
#print axioms Chapter3.finite_cover_bound
#print axioms Chapter3.finite_entropy_real
#print axioms Chapter3.DifferenceDefined
#print axioms Chapter3.EntropyDifference
#print axioms Chapter3.entropy_difference_formula
#print axioms Chapter3.finite_difference_defined
#print axioms Chapter3.const_difference
#print axioms Chapter3.log2_mono_positive
#print axioms Chapter3.entropy_cover_mono
#print axioms Chapter3.null_entropy_bound
#print axioms Chapter3.pull_net
#print axioms Chapter3.pull_cover
#print axioms Chapter3.ident_cover_entropy
#print axioms Chapter3.entropy_finite_iff
#print axioms Chapter3.difference_no_indeterminate
#print axioms Chapter3.difference_top
#print axioms Chapter3.difference_bottom
#print axioms Chapter3.difference_real
#print axioms Chapter3.ident_difference_zero
#print axioms Chapter3.lip_transfer
#print axioms Chapter3.colip_transfer
#print axioms Chapter3.composite_lip_radius
#print axioms Chapter3.sparse_row_const
#print axioms Chapter3.factor_lip
#print axioms Chapter3.lip_entropy_bound
#print axioms Chapter3.colip_entropy_bound
#print axioms Chapter3.finite_difference_real
#print axioms Chapter3.Examples.twoDist
#print axioms Chapter3.Examples.twoDist_lawful
#print axioms Chapter3.Examples.swap
#print axioms Chapter3.Examples.twoDomain
#print axioms Chapter3.Examples.mem_twoDomain
#print axioms Chapter3.Examples.swap_domain
#print axioms Chapter3.Examples.swap_image
#print axioms Chapter3.Examples.swap_twice
#print axioms Chapter3.Examples.swap_active
#print axioms Chapter3.Examples.id_ident
#print axioms Chapter3.Examples.swap_counterexample
#print axioms Chapter3.Examples.infiniteDist
#print axioms Chapter3.Examples.infiniteDist_lawful
#print axioms Chapter3.Examples.identityOp
#print axioms Chapter3.Examples.twoGauge
#print axioms Chapter3.Examples.twoGauge_lawful
#print axioms Chapter3.Examples.identity_domain
#print axioms Chapter3.Examples.infinite_input_radius
#print axioms Chapter3.Examples.infinite_input_uniform
#print axioms Chapter3.Examples.identity_not_const
#print axioms Chapter3.Examples.infinite_radius_counterexample
#print axioms Chapter3.finite_inf_attained
#print axioms Chapter3.radius_component_minimum
#print axioms Chapter3.uniform_component_minimum
#print axioms Chapter3.point_constant_selfcomp
#print axioms Chapter3.ChannelType
#print axioms Chapter3.channel_type_formula
#print axioms Chapter3.Examples.swap_composite_domain
#print axioms Chapter3.Supplement.absorbDist
#print axioms Chapter3.Supplement.absorbDist_lawful
#print axioms Chapter3.Supplement.readingDist
#print axioms Chapter3.Supplement.readingDist_lawful
#print axioms Chapter3.Supplement.absDist
#print axioms Chapter3.Supplement.realDist
#print axioms Chapter3.Supplement.absDist_formula
#print axioms Chapter3.Supplement.realDist_formula
#print axioms Chapter3.Supplement.absDist_lawful
#print axioms Chapter3.Supplement.realDist_lawful
#print axioms Chapter3.Supplement.affine
#print axioms Chapter3.Supplement.zeroOne
#print axioms Chapter3.Supplement.affine_domain
#print axioms Chapter3.Supplement.affine_constant
#print axioms Chapter3.Supplement.affine_fiber
#print axioms Chapter3.Supplement.affine_component
#print axioms Chapter3.Supplement.affine_squared_fiber
#print axioms Chapter3.Supplement.affine_squared_component
#print axioms Chapter3.Supplement.discreteRead
#print axioms Chapter3.Supplement.discreteRead_lawful
#print axioms Chapter3.Supplement.Six
#print axioms Chapter3.Supplement.collapsedRead
#print axioms Chapter3.Supplement.sevenGauge
#print axioms Chapter3.Supplement.sevenGauge_lawful
#print axioms Chapter3.Supplement.sevenInner
#print axioms Chapter3.Supplement.sevenOuter
#print axioms Chapter3.Supplement.sevenDomain
#print axioms Chapter3.Supplement.seven_domain_legal
#print axioms Chapter3.Supplement.seven_image
#print axioms Chapter3.Supplement.seven_inner_constant
#print axioms Chapter3.Supplement.seven_composite_not_constant
#print axioms Chapter3.Supplement.seven_other_component_separates
#print axioms Chapter3.Supplement.realIdentity
#print axioms Chapter3.Supplement.real_two_point_scale_counterexample
#print axioms Chapter3.Supplement.translation
#print axioms Chapter3.Supplement.translationDomain
#print axioms Chapter3.Supplement.translation_domain
#print axioms Chapter3.Supplement.singleton_fiber_insert
#print axioms Chapter3.Supplement.singleton_domain_fiber
#print axioms Chapter3.Supplement.identity_translation_domain_fibers
#print axioms Chapter3.Supplement.translation_fibers
#print axioms Chapter3.Supplement.translation_input_cover
#print axioms Chapter3.Supplement.translation_output_cover
#print axioms Chapter3.Supplement.translation_entropy_difference
#print axioms Chapter3.Supplement.stepOp
#print axioms Chapter3.Supplement.stepDomain
#print axioms Chapter3.Supplement.step_domain_legal
#print axioms Chapter3.Supplement.step_formula
#print axioms Chapter3.Supplement.diameter_pair
#print axioms Chapter3.Supplement.floorOp
#print axioms Chapter3.Supplement.zeroTwo
#print axioms Chapter3.Supplement.floor_domain
#print axioms Chapter3.Supplement.zeroTwo_domain
#print axioms Chapter3.Supplement.zeroTwo_diameter
#print axioms Chapter3.Supplement.zeroTwo_floor_radius
#print axioms Chapter3.Supplement.zeroTwo_floor_uniform
#print axioms Chapter3.Supplement.zeroTwo_floor_type
#print axioms Chapter3.Supplement.floor_positive_radius_not_constant
#print axioms Chapter3.Supplement.realInterval
#print axioms Chapter3.Supplement.realInterval_diameter
#print axioms Chapter3.Supplement.realInterval_nonempty
#print axioms Chapter3.Supplement.floor_half_constant
#print axioms Chapter3.Supplement.floor_half_data
#print axioms Chapter3.Supplement.floor_crossing_radius_zero
#print axioms Chapter3.Supplement.floor_crossing_uniform_zero
#print axioms Chapter3.Supplement.floor_crossing_data
#print axioms Chapter3.Supplement.floor_wide_uniform_zero
#print axioms Chapter3.Supplement.floor_wide_data
#print axioms Chapter3.Supplement.step_real_nonzero
#print axioms Chapter3.Supplement.step_lower_radius
#print axioms Chapter3.Supplement.step_point_radius
#print axioms Chapter3.Supplement.legal_iff_radius_bound
#print axioms Chapter3.Supplement.step_legal_radii
#print axioms Chapter3.Supplement.step_point_radius_positive
#print axioms Chapter3.Supplement.step_uniform_zero
#print axioms Chapter3.Supplement.zeroOne_cover_half
#print axioms Chapter3.Supplement.step_cover_counterexample
#print axioms Chapter3.Supplement.fourDomain
#print axioms Chapter3.Supplement.fourCenters
#print axioms Chapter3.Supplement.fourCenters_coe
#print axioms Chapter3.Supplement.fourCenters_card
#print axioms Chapter3.Supplement.four_nonempty
#print axioms Chapter3.Supplement.four_finite
#print axioms Chapter3.Supplement.separated_finite_cover
#print axioms Chapter3.Supplement.four_separated
#print axioms Chapter3.Supplement.four_cover_small
#print axioms Chapter3.Supplement.four_cover_le_two
#print axioms Chapter3.Supplement.four_cover_ge_two
#print axioms Chapter3.Supplement.four_cover_medium
#print axioms Chapter3.Supplement.four_cover_large
#print axioms Chapter3.Supplement.four_cover_all
#print axioms Chapter3.Supplement.three_halves_not_internal
#print axioms Chapter3.Supplement.fourIdentity
#print axioms Chapter3.Supplement.fourShuffle
#print axioms Chapter3.Supplement.fourIdentity_on_domain
#print axioms Chapter3.Supplement.four_operators_domains
#print axioms Chapter3.Supplement.four_images
#print axioms Chapter3.Supplement.same_image_entropy_difference
#print axioms Chapter3.Supplement.four_image_covers_and_differences
#print axioms Chapter3.Supplement.four_identity_lip
#print axioms Chapter3.Supplement.four_shuffle_lip
#print axioms Chapter3.Supplement.four_precision_comparison
#print axioms Chapter3.Supplement.translationDomain_image
#print axioms Chapter3.Supplement.translation_partition_equalities
#print axioms Chapter3.matrix_entry_lower
#print axioms Chapter3.matrix_colip_gap_point
#print axioms Chapter3.matrix_colip_gap_uniform
#print axioms formal_oet.vol_01.ch_01_foundations.InternalEpsilonNet
#print axioms formal_oet.vol_01.ch_01_foundations.covering_number
#print axioms formal_oet.vol_01.ch_01_foundations.covering_number_attained
#print axioms formal_oet.vol_01.ch_01_foundations.covering_number_eq_top_iff
#print axioms formal_oet.vol_01.ch_01_foundations.log2_ereal
#print axioms formal_oet.vol_01.ch_01_foundations.metric_entropy
#print axioms formal_oet.vol_01.ch_01_foundations.subfamily_pseudometric
#print axioms formal_oet.vol_01.ch_01_foundations.subfamily_metric_entropy
#print axioms formal_oet.vol_01.ch_01_foundations.subfamily_metric_entropy_eq_metric_entropy