@ceccec/millennium-solutions 9.0.8 → 9.0.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (10) hide show
  1. package/CHALLENGES.md +19 -12
  2. package/README.md +13 -13
  3. package/forensic.md +6 -6
  4. package/index.md +13 -13
  5. package/package.json +1 -1
  6. package/paper.md +43 -40
  7. package/src/proof/coin.lean +5 -1
  8. package/src/proof/discovered.json +40 -5
  9. package/src/proof/split.lean +20 -9
  10. package/src/proof/trial-all.json +30 -0
package/paper.md CHANGED
@@ -8,7 +8,7 @@ aside: false
8
8
  <div class="paper-masthead">
9
9
  <h1 class="paper-title">The collected theorems of the ℤ/9 vortex framework</h1>
10
10
  <div class="paper-byline">Rouschev, T. · <em>Millennium Solutions</em> · DOI <a href="https://doi.org/10.5281/zenodo.21819217">10.5281/zenodo.21819217</a> · CC BY-NC-ND 4.0</div>
11
- <div class="paper-addr">619 theorems + 9 rfl declarations · 32 sources · content-address <code>7ea14891-1f1d-86ae-a7f1-4bf884be414a</code></div>
11
+ <div class="paper-addr">619 theorems + 9 rfl declarations · 32 sources · content-address <code>3f36c16c-649f-8b24-854a-300285d91e87</code></div>
12
12
  </div>
13
13
 
14
14
  <h2 class="paper-h">Abstract</h2>
@@ -17,10 +17,10 @@ This document collects the 628 declarations of the ℤ/9 vortex framework that t
17
17
 
18
18
  <h2 class="paper-h">The size of what was checked</h2>
19
19
 
20
- The domains sum to 156,871,526,576 cases, and that total should not be read as the weight of this work: **one theorem carries 97.257% of it**. The median theorem walks **7** cases, and **242** of 628 walk a single point — a check by evaluation, not by exhaustion. The honest summary is a distribution, not a sum, so it is drawn below rather than reported as one number.
20
+ The domains sum to 156,871,526,687 cases, and that total should not be read as the weight of this work: **one theorem carries 97.257% of it**. The median theorem walks **7** cases, and **238** of 628 walk a single point — a check by evaluation, not by exhaustion. The honest summary is a distribution, not a sum, so it is drawn below rather than reported as one number.
21
21
 
22
22
  <figure class="paper-fig">
23
- <svg viewBox="0 0 1203 415" role="img" class="fig" xmlns="http://www.w3.org/2000/svg" aria-label="every theorem placed by the size of the domain its proof exhausted"><title>Figure 1 — all 628 declarations by domain size</title><rect x="6.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_is_sixteen_bytes — 1 cases</title></rect><rect x="14.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_bytes_are_bytes — 1 cases</title></rect><rect x="23.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>version_nibble_is_forced — 1 cases</title></rect><rect x="31.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>variant_bits_are_forced — 1 cases</title></rect><rect x="40.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_deterministic — 1 cases</title></rect><rect x="49.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>distinct_seeds_give_distinct_addresses — 1 cases</title></rect><rect x="57.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_not_the_identity — 1 cases</title></rect><rect x="66.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_not_constant — 1 cases</title></rect><rect x="74.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_four_seeds_are_distinct — 1 cases</title></rect><rect x="6.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_settles_its_range — 1 cases</title></rect><rect x="14.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_order_sensitive — 4 cases</title></rect><rect x="23.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_reflection_is_an_involution — 1 cases</title></rect><rect x="31.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>one_side_is_reflected_onto_itself — 1 cases</title></rect><rect x="40.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_other_two_swap — 1 cases</title></rect><rect x="49.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>exactly_one_digit_is_unmoved — 1 cases</title></rect><rect x="57.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>exactly_one_digit_reflects_out_of_range — 1 cases</title></rect><rect x="66.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_classes_partition_the_nine — 1 cases</title></rect><rect x="74.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_digit_is_sorted_exactly_once — 1 cases</title></rect><rect x="6.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fall_fixes_every_digit_but_the_void — 1 cases</title></rect><rect x="14.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fall_and_the_reflection_share_one_exceptional_digit — 1 cases</title></rect><rect x="23.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>on_the_fixed_points_the_reflection_never_leaves — 1 cases</title></rect><rect x="31.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>what_escapes_falls_back_inside — 1 cases</title></rect><rect x="40.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digits_are_ten — 1 cases</title></rect><rect x="49.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>factorial_seven_is_five_thousand_and_forty — 1 cases</title></rect><rect x="57.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>picks_theorem_holds_for_every_lattice_triangle_in_the_four_grid — 1 cases</title></rect><rect x="66.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_latin_squares_of_order_four_number_five_hundred_and_seventy_six — 1 cases</title></rect><rect x="74.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>euclids_form_is_perfect_at_every_mersenne_prime_to_seven — 4 cases</title></rect><rect x="6.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_mersenne_hypothesis_is_real_at_eleven — 1 cases</title></rect><rect x="14.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_amicable_pair_is_mutual_and_neither_is_perfect — 1 cases</title></rect><rect x="23.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_primitive_roots_mod_nine_are_exactly_two_and_five — 2 cases</title></rect><rect x="31.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_of_z9_form_three_pairs_summing_to_nine — 1 cases</title></rect><rect x="40.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_multiplication_table_of_the_z9_units_is_a_latin_square — 1 cases</title></rect><rect x="49.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_is_a_primitive_root_mod_seven_and_seven_is_six_plus_one — 7 cases</title></rect><rect x="57.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_z9_unit_group_splits_as_reflection_times_trinity — 1 cases</title></rect><rect x="66.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_inverse_map_permutes_the_units_and_is_an_involution — 1 cases</title></rect><rect x="74.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>consecutive_farey_neighbours_have_unit_determinant_and_bracket_their_mediant — 1 cases</title></rect><rect x="6.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_are_three_regular_under_doubling_halving_and_reflection — 1 cases</title></rect><rect x="14.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>a_knight_has_exactly_eight_leaps_and_every_one_flips_the_colour — 1 cases</title></rect><rect x="23.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_partition_and_bell_numbers_count_what_they_claim_to_count — 6 cases</title></rect><rect x="31.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_unit_graph_is_complete_bipartite_between_the_two_tetrahedra — 1 cases</title></rect><rect x="40.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>elementary_settles_its_range — 1 cases</title></rect><rect x="49.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_loop_returns_less_than_it_took — 1 cases</title></rect><rect x="57.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>as_a_purifier_the_loop_costs_a_thousandfold — 1 cases</title></rect><rect x="66.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_equation_balances_by_mass — 1 cases</title></rect><rect x="74.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_equation_balances_by_atom_count — 1 cases</title></rect><rect x="6.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gases_are_two_to_one_and_consume_each_other_exactly — 1 cases</title></rect><rect x="14.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hydrogen_is_a_ninth_of_the_mass_and_oxygen_the_rest — 1 cases</title></rect><rect x="23.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>one_litre_split_returns_one_litre_burnt — 1 cases</title></rect><rect x="31.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>only_oxy_hydrogen_burns_without_admitting_nitrogen — 1 cases</title></rect><rect x="40.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_ideal_round_trip_is_exactly_zero — 1 cases</title></rect><rect x="49.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gases_are_eighteen_hundred_times_the_water_they_came_from — 1 cases</title></rect><rect x="57.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>two_thirds_of_the_volume_carries_a_ninth_of_the_mass — 1 cases</title></rect><rect x="66.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>uncompressed_hydrogen_is_three_thousandfold_worse_by_volume — 1 cases</title></rect><rect x="74.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>even_at_seven_hundred_bar_it_is_sevenfold_worse_by_volume — 1 cases</title></rect><rect x="6.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>each_delivered_kilowatt_hour_costs_four_and_cycles_a_litre — 1 cases</title></rect><rect x="14.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>three_quarters_of_the_input_leaves_as_heat — 1 cases</title></rect><rect x="23.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>what_the_feedwater_leaves_behind_decides_the_maintenance — 1 cases</title></rect><rect x="31.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>flt_all_primes_under_thirty — 1 cases</title></rect><rect x="40.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>wilson_all_primes_under_thirty — 1 cases</title></rect><rect x="49.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>xor_is_parity_up_to_eight_bits — 8 cases</title></rect><rect x="57.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>nat_div_is_a_total_function_returning_zero_at_a_zero_divisor — 1 cases</title></rect><rect x="66.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>at_a_zero_divisor_the_identity_is_carried_by_the_remainder — 1 cases</title></rect><rect x="74.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>demorgan_holds_at_every_arity_to_eight — 7 cases</title></rect><rect x="6.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>multiplication_permutes_z9_at_exactly_the_units — 8 cases</title></rect><rect x="14.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addition_generates_z9_at_exactly_the_units — 8 cases</title></rect><rect x="23.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>an_inverse_mod_nine_exists_at_exactly_the_units — 9 cases</title></rect><rect x="31.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_inverse_of_a_unit_mod_nine_is_its_fifth_power — 1 cases</title></rect><rect x="40.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>and_the_converse_fails_at_six — 1 cases</title></rect><rect x="49.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_order_of_every_unit_mod_nine_divides_six — 1 cases</title></rect><rect x="57.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>there_are_exactly_five_platonic_solids_and_each_satisfies_eulers_formula — 1 cases</title></rect><rect x="66.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_involutions_are_counted_by_the_telephone_numbers — 6 cases</title></rect><rect x="74.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>families_settle_their_ranges — 1 cases</title></rect><rect x="6.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_a_seed_zero — 1 cases</title></rect><rect x="14.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_ab_seed_zero — 2 cases</title></rect><rect x="23.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_a_seed_golden — 1 cases</title></rect><rect x="31.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_uuidna_seed_zero — 6 cases</title></rect><rect x="40.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_not_the_identity — 1 cases</title></rect><rect x="49.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_not_constant — 1 cases</title></rect><rect x="57.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fnv_settles_its_range — 1 cases</title></rect><rect x="66.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_hash_is_order_sensitive — 4 cases</title></rect><rect x="74.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_empty_input_is_still_mixed — 1 cases</title></rect><rect x="6.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>demorgan_all_widths — 7 cases</title></rect><rect x="14.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>invpow_is_fifth_power_all_units — 6 cases</title></rect><rect x="23.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cyclic_units_have_a_primitive_root — 6 cases</title></rect><rect x="31.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>decimal_period_is_the_order_of_ten — 8 cases</title></rect><rect x="40.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_double — 9 cases</title></rect><rect x="49.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_triple — 9 cases</title></rect><rect x="57.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_quadruple — 9 cases</title></rect><rect x="66.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_quadruple — 9 cases</title></rect><rect x="74.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetB_is_closed_under_quadruple — 9 cases</title></rect><rect x="6.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_negate — 9 cases</title></rect><rect x="14.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_negate — 9 cases</title></rect><rect x="23.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_square — 9 cases</title></rect><rect x="31.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_square — 9 cases</title></rect><rect x="40.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_fourth — 9 cases</title></rect><rect x="49.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_fourth — 9 cases</title></rect><rect x="57.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_fourth — 9 cases</title></rect><rect x="66.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_sixth — 9 cases</title></rect><rect x="74.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_sixth — 9 cases</title></rect><rect x="6.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_sixth — 9 cases</title></rect><rect x="14.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_quintuple — 9 cases</title></rect><rect x="23.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_sextuple — 9 cases</title></rect><rect x="31.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_septuple — 9 cases</title></rect><rect x="40.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_septuple — 9 cases</title></rect><rect x="49.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetB_is_closed_under_septuple — 9 cases</title></rect><rect x="57.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_octuple — 9 cases</title></rect><rect x="66.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_octuple — 9 cases</title></rect><rect x="74.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_is_involutive_on_triad — 3 cases</title></rect><rect x="6.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_is_involutive_on_triad — 3 cases</title></rect><rect x="14.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_is_involutive_on_tetA — 3 cases</title></rect><rect x="23.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_is_involutive_on_squares — 4 cases</title></rect><rect x="31.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_is_involutive_on_cubes — 3 cases</title></rect><rect x="40.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_is_involutive_on_tetA — 3 cases</title></rect><rect x="49.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_is_involutive_on_squares — 4 cases</title></rect><rect x="57.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_units — 6 cases</title></rect><rect x="66.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_orbit — 6 cases</title></rect><rect x="74.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_tetA — 3 cases</title></rect><rect x="6.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_tetB — 3 cases</title></rect><rect x="14.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_squares — 4 cases</title></rect><rect x="23.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_cubes — 3 cases</title></rect><rect x="31.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_is_involutive_on_triad — 3 cases</title></rect><rect x="40.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_is_involutive_on_triad — 3 cases</title></rect><rect x="49.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_triad_to_one_value — 3 cases</title></rect><rect x="57.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="66.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="74.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_triad_to_one_value — 3 cases</title></rect><rect x="6.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="14.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="23.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="31.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="40.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_units_to_one_value — 6 cases</title></rect><rect x="49.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="57.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_orbit_to_one_value — 6 cases</title></rect><rect x="66.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="74.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="6.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_triad_to_one_value — 3 cases</title></rect><rect x="14.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="23.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="31.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>yang_mills_spectral_gap — 6 cases</title></rect><rect x="40.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>birch_swinnerton_dyer_vanishing — 9 cases</title></rect><rect x="49.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_sequence_is_its_named_parts_and_closes — 3 cases</title></rect><rect x="57.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>there_are_2620_involutions_of_nine — 1 cases</title></rect><rect x="66.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fuel_was_not_the_limit — 1 cases</title></rect><rect x="74.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_involution_fixes_at_least_one_point — 1 cases</title></rect><rect x="6.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fixed_points_are_always_odd — 1 cases</title></rect><rect x="14.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_single_point_is_fixed_by_all — 1 cases</title></rect><rect x="23.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_constant_sum_is_rare — 1 cases</title></rect><rect x="31.8" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>so_involutions_are_not_all_harmonic_in_that_sense — 1 cases</title></rect><rect x="40.4" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_coins_reflection_is_harmonic_and_is_one_of_the_ninety — 1 cases</title></rect><rect x="49.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_seal_is_128_bits — 1 cases</title></rect><rect x="57.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>membership_grows_by_one_seal_per_doubling — 1 cases</title></rect><rect x="66.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>membership_is_logarithmic_not_linear — 1 cases</title></rect><rect x="74.8" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_967_receipt_case — 1 cases</title></rect><rect x="6.0" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_si_fixes_exactly_seven_constants — 1 cases</title></rect><rect x="14.6" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>travel_at_one_returns_the_defined_constant — 1 cases</title></rect><rect x="23.2" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>travel_and_periods_at_one_return_their_constants — 1 cases</title></rect><rect x="31.8" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_roots_of_the_seven — 7 cases</title></rect><rect x="40.4" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_root_moves_with_the_unit_so_it_is_not_about_light — 1 cases</title></rect><rect x="49.0" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_definitions_are_seven_and_travel_fixes_zero — 1 cases</title></rect><rect x="57.6" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_demorgan1 — 4 cases</title></rect><rect x="66.2" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_demorgan2 — 4 cases</title></rect><rect x="74.8" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_distributivity — 8 cases</title></rect><rect x="6.0" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_absorption — 4 cases</title></rect><rect x="14.6" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>merkaba_cube_q3 — 1 cases</title></rect><rect x="23.2" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cover_rotation_full_circle — 9 cases</title></rect><rect x="31.8" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>fib_trinity_horizon — 1 cases</title></rect><rect x="40.4" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>arts_nine_hues_distinct — 9 cases</title></rect><rect x="49.0" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_units_group — 6 cases</title></rect><rect x="57.6" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_zero_divisors — 1 cases</title></rect><rect x="66.2" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_zero_no_inverse — 9 cases</title></rect><rect x="74.8" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>chess_diagonals_15 — 1 cases</title></rect><rect x="6.0" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_78_cards — 1 cases</title></rect><rect x="14.6" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_minor_4x14 — 1 cases</title></rect><rect x="23.2" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_digital_roots — 1 cases</title></rect><rect x="31.8" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>gf4_size — 4 cases</title></rect><rect x="40.4" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_digital_root — 6 cases</title></rect><rect x="49.0" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>harmonic_octave_2_1 — 1 cases</title></rect><rect x="57.6" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>harmonic_pythagorean_comma — 1 cases</title></rect><rect x="66.2" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_seven — 1 cases</title></rect><rect x="74.8" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_eight — 1 cases</title></rect><rect x="6.0" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_creation_week — 1 cases</title></rect><rect x="14.6" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_moduli_dimensions_are_three_g_minus_three_and_six_g_minus_six — 1 cases</title></rect><rect x="23.2" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_moduli_dim — 1 cases</title></rect><rect x="31.8" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_hyperelliptic — 1 cases</title></rect><rect x="40.4" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_h1_symplectic — 1 cases</title></rect><rect x="49.0" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_seven_is_six_plus_one — 6 cases</title></rect><rect x="57.6" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_units_sum_and_product — 6 cases</title></rect><rect x="66.2" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_432_factors — 1 cases</title></rect><rect x="74.8" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_triangular_45_is_base — 9 cases</title></rect><rect x="6.0" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>kaprekar_constants_digitroot_nine — 1 cases</title></rect><rect x="14.6" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_three_four_five_right_triangle_is_the_first_pythagorean_triple — 1 cases</title></rect><rect x="23.2" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_pentagon_angles_are_the_heart_seventy_two_and_hundred_eight — 1 cases</title></rect><rect x="31.8" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cyclic_number_142857_is_the_repetend_of_one_seventh — 1 cases</title></rect><rect x="40.4" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>_142857_times_seven_is_six_nines — 1 cases</title></rect><rect x="49.0" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>midy_the_two_halves_of_142857_sum_to_nines — 1 cases</title></rect><rect x="57.6" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_digital_root_of_seven_to_the_k_has_period_three — 1 cases</title></rect><rect x="66.2" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>seven_divides_the_repunit_of_length_six — 1 cases</title></rect><rect x="74.8" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_to_the_eighth_is_two_hundred_fifty_six_a_byte — 1 cases</title></rect><rect x="6.0" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_to_the_tenth_is_1024_the_harmonic_ledger — 1 cases</title></rect><rect x="14.6" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_nonagon_exterior_angle_is_the_a432_step — 1 cases</title></rect><rect x="23.2" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_digits_one_to_nine_sum_to_forty_five_rooting_to_nine — 9 cases</title></rect><rect x="31.8" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>nine_is_the_base_and_the_trinity_squared — 1 cases</title></rect><rect x="40.4" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>six_is_the_third_triangular_number — 3 cases</title></rect><rect x="49.0" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_hexagon_exterior_angle_is_the_gold_string — 1 cases</title></rect><rect x="57.6" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_doubling_orbit_reflection_pairs_sum_to_nine — 1 cases</title></rect><rect x="66.2" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>five_is_the_inverse_of_two_so_halving_reverses_the_orbit — 1 cases</title></rect><rect x="74.8" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>dna_is_the_version_itself — 1 cases</title></rect><rect x="6.0" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>contribute_two_to_save_sixty_four — 6 cases</title></rect><rect x="14.6" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genetic_code_is_the_octave_squared — 1 cases</title></rect><rect x="23.2" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>sixty_one_sense_three_stop_codons — 1 cases</title></rect><rect x="31.8" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>six_reading_frames — 1 cases</title></rect><rect x="40.4" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_1_the_unit — 9 cases</title></rect><rect x="49.0" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_8_the_octave — 1 cases</title></rect><rect x="57.6" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_64_the_codon — 1 cases</title></rect><rect x="66.2" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>diamond_fixed_point_is_zero_entropy — 1 cases</title></rect><rect x="74.8" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_address_is_shipped_not_the_payload — 1 cases</title></rect><rect x="6.0" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_harmonic_band_thirty_to_ninety — 1 cases</title></rect><rect x="14.6" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>sixty_and_ninety_partition_the_quadrant — 1 cases</title></rect><rect x="23.2" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_hexagon_and_the_square_metrics — 1 cases</title></rect><rect x="31.8" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_theorem_responds_in_a_receipt — 1 cases</title></rect><rect x="40.4" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>involution_negation — 1 cases</title></rect><rect x="49.0" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a432_factors_as_two_to_the_fourth_times_three_cubed — 1 cases</title></rect><rect x="57.6" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a432_octave_doubling — 1 cases</title></rect><rect x="66.2" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_bits_thrice_make_the_codon — 1 cases</title></rect><rect x="74.8" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_skipper_navigates_by_angle — 1 cases</title></rect><rect x="6.0" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cheap_to_factor_easy_to_verify — 1 cases</title></rect><rect x="14.6" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cell_is_determined_by_content — 1 cases</title></rect><rect x="23.2" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>present_by_reference_fits_a_tiny_budget — 1 cases</title></rect><rect x="31.8" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_cached_address_is_never_recomputed — 1 cases</title></rect><rect x="40.4" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_decidable_domain_is_finite_and_coverable — 9 cases</title></rect><rect x="49.0" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_more_developed_the_more_cross_domain_reach — 1 cases</title></rect><rect x="57.6" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_full_superposition_has_nine_states — 9 cases</title></rect><rect x="66.2" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>forward_is_the_deterministic_compute — 1 cases</title></rect><rect x="74.8" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cardinality_claims_hold_of_any_four_symbol_alphabet — 1 cases</title></rect><rect x="6.0" y="144.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_reflexive_address_claim_holds_for_a_constant_function — 1 cases</title></rect><rect x="14.6" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_three_classes_partition_z9 — 9 cases</title></rect><rect x="23.2" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_axis_is_closed_under_doubling — 1 cases</title></rect><rect x="31.8" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_counter_rotates_the_two_tetrahedra — 1 cases</title></rect><rect x="40.4" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_counter_rotation_has_period_two — 1 cases</title></rect><rect x="49.0" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_tetrahedra_residue_sums_cancel — 1 cases</title></rect><rect x="57.6" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>one_tetrahedron_covers_half_the_units — 1 cases</title></rect><rect x="66.2" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_cube_and_the_tetrahedron_count_out — 1 cases</title></rect><rect x="74.8" y="144.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>singleton_fold_is_the_leaf — 1 cases</title></rect><rect x="6.0" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_fold_of_any_single_leaf_is_that_leaf — 1 cases</title></rect><rect x="14.6" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_two — 1 cases</title></rect><rect x="23.2" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merge_is_order_sensitive — 1 cases</title></rect><rect x="31.8" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>sorting_is_what_makes_the_fold_order_free — 1 cases</title></rect><rect x="40.4" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merkle_settles_its_range — 1 cases</title></rect><rect x="49.0" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_permutation_generator_is_complete — 1 cases</title></rect><rect x="57.6" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_four — 1 cases</title></rect><rect x="66.2" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_three — 1 cases</title></rect><rect x="74.8" y="135.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_two_heaps_lost_iff_xor_zero — 1 cases</title></rect><rect x="6.0" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_lost_iff_heaps_equal — 1 cases</title></rect><rect x="14.6" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>lost_positions_are_exactly_the_diagonal — 1 cases</title></rect><rect x="23.2" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>grundy_of_a_single_heap_is_its_size — 1 cases</title></rect><rect x="31.8" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>grundy_of_two_heaps_is_the_xor — 1 cases</title></rect><rect x="40.4" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>every_phenomenon_is_definitional_or_credited — 1 cases</title></rect><rect x="49.0" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>seven_definitional_and_two_credited — 1 cases</title></rect><rect x="57.6" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_definitional_half_is_the_whole_si — 1 cases</title></rect><rect x="66.2" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_table_is_closed_and_that_is_all_this_file_decides — 1 cases</title></rect><rect x="74.8" y="126.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>novelty_is_claimed_only_where_a_search_was_performed — 1 cases</title></rect><rect x="6.0" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>this_deposit_claims_no_novelty_today — 1 cases</title></rect><rect x="14.6" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_restated_sources_are_named_and_claim_nothing — 1 cases</title></rect><rect x="23.2" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>an_unsearched_source_claims_nothing — 1 cases</title></rect><rect x="31.8" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>every_source_is_classified — 1 cases</title></rect><rect x="40.4" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_kinds_cover_every_source — 1 cases</title></rect><rect x="49.0" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>some_sources_are_unsearched — 1 cases</title></rect><rect x="57.6" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>zero_claims_is_not_full_attribution — 1 cases</title></rect><rect x="66.2" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>novelty_is_claimed_of_no_source — 1 cases</title></rect><rect x="74.8" y="118.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>perms_of_four_is_factorial — 4 cases</title></rect><rect x="6.0" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>superposition_collapses_to_one — 4 cases</title></rect><rect x="14.6" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_receipt_is_not_injective — 1 cases</title></rect><rect x="23.2" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_uncanonicalised_fold_gives_many_answers — 4 cases</title></rect><rect x="31.8" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>quantum_settles_its_domain_totally — 1 cases</title></rect><rect x="40.4" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_ghz_x_support_is_exactly_the_even_parity_strings — 8 cases</title></rect><rect x="49.0" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>it_is_half_of_the_eight — 8 cases</title></rect><rect x="57.6" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>exhaustion_never_reaches_its_own_bound — 1 cases</title></rect><rect x="66.2" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_successor_of_every_bound_lies_outside — 1 cases</title></rect><rect x="74.8" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>doubling_the_domain_leaves_the_same_hole — 1 cases</title></rect><rect x="6.0" y="101.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>even_the_largest_domain_here_has_an_outside — 1 cases</title></rect><rect x="14.6" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>units_sum_zero — 1 cases</title></rect><rect x="23.2" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>triad_nilpotent — 1 cases</title></rect><rect x="31.8" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>triad_sum_zero — 1 cases</title></rect><rect x="40.4" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>units_product_neg1 — 1 cases</title></rect><rect x="49.0" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>order_of_2_is_6 — 5 cases</title></rect><rect x="57.6" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k6 — 1 cases</title></rect><rect x="66.2" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k12 — 1 cases</title></rect><rect x="74.8" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k18 — 1 cases</title></rect><rect x="6.0" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>powperm_k5 — 1 cases</title></rect><rect x="14.6" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>powperm_k7 — 1 cases</title></rect><rect x="23.2" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>qr_u1 — 9 cases</title></rect><rect x="31.8" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>qr_u4 — 9 cases</title></rect><rect x="40.4" y="92.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_ledger_reversal_cases — 1 cases</title></rect><rect x="49.0" y="92.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_settles_its_range — 1 cases</title></rect><rect x="57.6" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>claims_exactly_what_arises_without_formality — 1 cases</title></rect><rect x="66.2" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_claimed_are_copyright_moral_rights_and_the_database — 3 cases</title></rect><rect x="74.8" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_claimed_set_is_exactly_those_three_and_the_unregistered_mark — 4 cases</title></rect><rect x="6.0" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_unclaimed_are_the_registry_the_excluded_and_the_unownable — 4 cases</title></rect><rect x="14.6" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>no_right_that_needs_a_registry_act_is_claimed — 1 cases</title></rect><rect x="23.2" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>no_excluded_subject_matter_is_claimed — 1 cases</title></rect><rect x="31.8" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>nothing_incapable_of_ownership_is_claimed — 1 cases</title></rect><rect x="40.4" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_enumeration_is_complete_and_unduplicated — 9 cases</title></rect><rect x="49.0" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>rights_settles_its_range — 1 cases</title></rect><rect x="57.6" y="83.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_five_eight_are_consecutive — 1 cases</title></rect><rect x="66.2" y="83.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_verify_path_is_the_exponent — 1 cases</title></rect><rect x="74.8" y="83.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gap_widens_with_every_doubling — 1 cases</title></rect><rect x="6.0" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>no_constant_factor_accounts_for_the_gap — 1 cases</title></rect><rect x="14.6" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_measured_ratio_at_a_million_leaves — 1 cases</title></rect><rect x="23.2" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_verify_is_thirty_eight_thousand_nanoseconds_not_one — 1 cases</title></rect><rect x="31.8" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_advantage_is_the_count_not_the_operation — 1 cases</title></rect><rect x="40.4" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_break_even_is_the_ratio_of_verifications — 1 cases</title></rect><rect x="49.0" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hexbits_are_shorter_than_hex — 1 cases</title></rect><rect x="57.6" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hexbits_are_slower_than_hex — 1 cases</title></rect><rect x="66.2" y="75.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>each_pair_is_two_consecutive_units — 1 cases</title></rect><rect x="74.8" y="75.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_token_is_a_multiple_of_three — 1 cases</title></rect><rect x="6.0" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_tokens_are_three_times_these — 7 cases</title></rect><rect x="14.6" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addition_and_multiplication_stay_inside — 1 cases</title></rect><rect x="23.2" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>subtraction_stays_inside — 1 cases</title></rect><rect x="31.8" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>division_is_the_operation_that_leaves — 1 cases</title></rect><rect x="40.4" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_roots_are_the_singles — 7 cases</title></rect><rect x="49.0" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_root_is_a_single — 1 cases</title></rect><rect x="57.6" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_coin_step_is_three_times_the_two_coins — 1 cases</title></rect><rect x="66.2" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>accounting_the_coins_on_the_last_pair — 1 cases</title></rect><rect x="74.8" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_exhaustible_tokens_are_those_six_divides — 4 cases</title></rect><rect x="6.0" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_rest_halt_on_the_generator — 3 cases</title></rect><rect x="14.6" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_token_is_void_bound_or_halts_on_three — 1 cases</title></rect><rect x="23.2" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>inside_this_ideal_the_bare_coin_sorts_as_the_scaled_one — 1 cases</title></rect><rect x="31.8" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_seal_affords_sixty_four_payments_of_two — 1 cases</title></rect><rect x="40.4" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_budget_and_the_period_are_one_turn — 1 cases</title></rect><rect x="49.0" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_are_six — 6 cases</title></rect><rect x="57.6" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_count — 1 cases</title></rect><rect x="66.2" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>hasinv_units — 1 cases</title></rect><rect x="74.8" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>hasinv_triad_not — 3 cases</title></rect><rect x="6.0" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>selfinv_exactly_one_and_eight — 2 cases</title></rect><rect x="14.6" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>euler_units_pow_six — 1 cases</title></rect><rect x="23.2" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>invpow_is_u_to_the_fifth — 1 cases</title></rect><rect x="31.8" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>powsum_zero_at_six — 1 cases</title></rect><rect x="40.4" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>powsum_zero_at_one — 1 cases</title></rect><rect x="49.0" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>mulperm_iff_unit — 1 cases</title></rect><rect x="57.6" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addgen_iff_coprime — 1 cases</title></rect><rect x="66.2" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>selfneg_only_zero — 1 cases</title></rect><rect x="74.8" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_closes — 1 cases</title></rect><rect x="6.0" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_distinct — 6 cases</title></rect><rect x="14.6" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_covers_units — 6 cases</title></rect><rect x="23.2" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>triad_squares_vanish — 1 cases</title></rect><rect x="31.8" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>add_group — 1 cases</title></rect><rect x="40.4" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>neg_involution — 1 cases</title></rect><rect x="49.0" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>z9_settles_its_domain_totally — 1 cases</title></rect><rect x="57.6" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>five_is_not_a_square_mod_nine — 1 cases</title></rect><rect x="66.2" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cubes_land_exactly_in_zero_one_eight — 9 cases</title></rect><rect x="74.8" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primitive_roots_are_exactly_two_and_five — 2 cases</title></rect><rect x="6.0" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primitive_root_iff_generates_the_units — 2 cases</title></rect><rect x="14.6" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_orders_of_the_units_are_exact — 1 cases</title></rect><rect x="23.2" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_reflected_orbit_covers_the_whole_triad — 3 cases</title></rect><rect x="31.8" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_splits_the_orbit_in_half — 9 cases</title></rect><rect x="40.4" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_crossing_pairs_are_one_four_seven — 9 cases</title></rect><rect x="49.0" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_is_injective_on_the_orbit — 1 cases</title></rect><rect x="57.6" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_alone_reaches_only_two — 1 cases</title></rect><rect x="66.2" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_and_reflection_together_reach_every_residue — 1 cases</title></rect><rect x="74.8" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_residue_is_reachable_from_one — 9 cases</title></rect><rect x="6.0" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_diameter_is_exactly_four — 1 cases</title></rect><rect x="14.6" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_frontier_grows_by_two_each_round — 1 cases</title></rect><rect x="23.2" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>product_of_the_units_is_minus_one — 6 cases</title></rect><rect x="31.8" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_five_eight_are_consecutive_fibonacci — 1 cases</title></rect><rect x="40.4" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_and_triad_partition_the_ring — 1 cases</title></rect><rect x="49.0" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>both_parts_sum_to_zero — 1 cases</title></rect><text x="42.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">1</text><text x="42.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">366</text><rect x="105.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>raw_bytes_of_a — 16 cases</title></rect><rect x="114.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>to_uuid_bytes_of_a — 16 cases</title></rect><rect x="122.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>to_uuid_bytes_of_uuidna — 16 cases</title></rect><rect x="131.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_injective_on_single_characters — 24 cases</title></rect><rect x="139.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_not_the_payload — 36 cases</title></rect><rect x="148.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_mobius_divisor_sum_is_the_identity — 30 cases</title></rect><rect x="157.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_derangement_recurrence_holds — 11 cases</title></rect><rect x="165.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>mantels_bound_is_n_squared_over_four — 20 cases</title></rect><rect x="174.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>every_number_is_a_sum_of_four_squares — 60 cases</title></rect><rect x="105.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_cantor_pairing_is_injective_and_covers_an_initial_segment — 36 cases</title></rect><rect x="114.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_euler_characteristic_of_a_genus_g_surface — 12 cases</title></rect><rect x="122.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_eisenstein_units_are_exactly_six — 49 cases</title></rect><rect x="131.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_count_of_primitive_roots_is_phi_of_phi — 59 cases</title></rect><rect x="139.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_order_spectrum_of_the_z9_units_realises_gauss_divisor_sum — 36 cases</title></rect><rect x="148.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_product_of_the_units_is_minus_one_exactly_where_gauss_says — 59 cases</title></rect><rect x="157.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>eight_times_a_triangular_number_plus_one_is_an_odd_square — 60 cases</title></rect><rect x="165.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_lucas_numbers_follow_their_recurrence_and_reach_their_named_values — 28 cases</title></rect><rect x="174.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_lucas_numbers_are_the_sum_of_the_neighbouring_fibonaccis — 28 cases</title></rect><rect x="105.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pell_numbers_follow_their_recurrence_and_reach_their_named_values — 24 cases</title></rect><rect x="114.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_interior_and_exterior_angles_are_n_straight_angles — 30 cases</title></rect><rect x="122.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_golden_beatty_identity_holds_across_the_range — 40 cases</title></rect><rect x="131.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>wilson_fails_at_composites — 20 cases</title></rect><rect x="139.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_rows_sum_to_powers_of_two — 12 cases</title></rect><rect x="148.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_alternating_sums_vanish — 11 cases</title></rect><rect x="157.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>totient_at_prime_powers — 12 cases</title></rect><rect x="165.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>geometric_series_all_bases — 40 cases</title></rect><rect x="174.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>division_identity_holds_across_the_range — 13 cases</title></rect><rect x="105.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primality_is_decided_across_the_range — 17 cases</title></rect><rect x="114.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_are_cyclic_at_exactly_the_gauss_moduli — 17 cases</title></rect><rect x="122.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>geometric_series_across_bases_and_exponents — 77 cases</title></rect><rect x="131.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>totient_at_prime_powers_through_thirteen — 18 cases</title></rect><rect x="139.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_a_unit_sum_to_zero_when_g_minus_one_is_invertible — 19 cases</title></rect><rect x="148.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_two_sum_to_one_less_than_the_next — 41 cases</title></rect><rect x="157.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_squares_of_a_pascal_row_sum_to_the_central_binomial — 13 cases</title></rect><rect x="165.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassinis_identity_holds_across_the_range — 30 cases</title></rect><rect x="174.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_golden_convergents_are_fibonacci_ratios_with_unit_determinant — 25 cases</title></rect><rect x="105.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_catalan_recurrence_matches_the_binomial_formula — 13 cases</title></rect><rect x="114.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pisano_period_of_nine_is_twenty_four_and_every_modulus_to_twelve_has_one — 11 cases</title></rect><rect x="122.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_deterministic — 32 cases</title></rect><rect x="131.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_injective_on_single_characters — 64 cases</title></rect><rect x="139.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_seed_separates — 16 cases</title></rect><rect x="148.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_thirty_two_bit — 40 cases</title></rect><rect x="157.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>powsum_zero_odd_exponents — 54 cases</title></rect><rect x="165.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>powsum_nonzero_at_even_exponents — 18 cases</title></rect><rect x="174.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>mulperm_fails_at_the_triad — 18 cases</title></rect><rect x="105.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>power_sum_closed_forms — 30 cases</title></rect><rect x="114.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>invpow_fails_off_the_units — 18 cases</title></rect><rect x="122.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_double — 36 cases</title></rect><rect x="131.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_double — 36 cases</title></rect><rect x="139.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_double — 81 cases</title></rect><rect x="148.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_triple — 81 cases</title></rect><rect x="157.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_quadruple — 36 cases</title></rect><rect x="165.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_quadruple — 36 cases</title></rect><rect x="174.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_quadruple — 81 cases</title></rect><rect x="105.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_quadruple — 16 cases</title></rect><rect x="114.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_negate — 36 cases</title></rect><rect x="122.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_negate — 81 cases</title></rect><rect x="131.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_square — 36 cases</title></rect><rect x="139.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_square — 36 cases</title></rect><rect x="148.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_square — 81 cases</title></rect><rect x="157.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_square — 16 cases</title></rect><rect x="165.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_fourth — 36 cases</title></rect><rect x="174.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_fourth — 36 cases</title></rect><rect x="105.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_fourth — 81 cases</title></rect><rect x="114.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_fourth — 16 cases</title></rect><rect x="122.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_sixth — 36 cases</title></rect><rect x="131.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_sixth — 36 cases</title></rect><rect x="139.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_sixth — 81 cases</title></rect><rect x="148.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_sixth — 16 cases</title></rect><rect x="157.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_quintuple — 36 cases</title></rect><rect x="165.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_quintuple — 36 cases</title></rect><rect x="174.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_quintuple — 81 cases</title></rect><rect x="105.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_sextuple — 81 cases</title></rect><rect x="114.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_septuple — 36 cases</title></rect><rect x="122.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_septuple — 36 cases</title></rect><rect x="131.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_septuple — 81 cases</title></rect><rect x="139.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_septuple — 16 cases</title></rect><rect x="148.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_octuple — 36 cases</title></rect><rect x="157.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_octuple — 36 cases</title></rect><rect x="165.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_octuple — 81 cases</title></rect><rect x="174.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_carries_cubes_onto_triad — 27 cases</title></rect><rect x="105.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="114.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="122.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="131.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="139.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="148.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="157.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_carries_cubes_onto_triad — 27 cases</title></rect><rect x="165.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="174.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="105.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>p_vs_np_inverse_is_unique — 81 cases</title></rect><rect x="114.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hodge_span_is_the_units — 81 cases</title></rect><rect x="122.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>poincare_single_closed_loop — 36 cases</title></rect><rect x="131.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_seven_rest_on_one_finite_structure — 81 cases</title></rect><rect x="139.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_origin_annihilates_and_never_joins_the_circuit — 81 cases</title></rect><rect x="148.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>more_payloads_than_addresses_must_collide — 17 cases</title></rect><rect x="157.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>three_on_the_triad_and_four_on_the_units — 18 cases</title></rect><rect x="165.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_seven_roots_miss_four_residues — 36 cases</title></rect><rect x="174.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_absent_residues_are_the_primes_below_nine — 36 cases</title></rect><rect x="105.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>and_a_change_of_unit_destroys_it — 36 cases</title></rect><rect x="114.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>add_group — 81 cases</title></rect><rect x="122.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>nopayload_avalanche — 64 cases</title></rect><rect x="131.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>chess_board_64 — 64 cases</title></rect><rect x="139.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_major_0_21 — 22 cases</title></rect><rect x="148.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>repeated_doubling_is_the_power_of_two — 21 cases</title></rect><rect x="157.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_nine_times_table_always_digital_roots_to_nine — 60 cases</title></rect><rect x="165.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>collapse_selects_one_state_deterministically — 16 cases</title></rect><rect x="174.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>generation_is_deterministic — 16 cases</title></rect><rect x="105.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>stacked_triangles_are_tetrahedral — 40 cases</title></rect><rect x="114.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merge_agrees — 16 cases</title></rect><rect x="122.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>empty_fold_agrees — 16 cases</title></rect><rect x="131.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>pair_fold_agrees — 16 cases</title></rect><rect x="139.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_zero_is_identity — 32 cases</title></rect><rect x="148.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_holds_at_every_heap_size_to_six — 49 cases</title></rect><rect x="157.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>receipt_is_order_invariant — 16 cases</title></rect><rect x="165.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>receipt_order_invariant_on_the_orbit — 36 cases</title></rect><rect x="174.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>naive_fold_is_not_order_invariant — 16 cases</title></rect><rect x="105.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_invariance_is_canonicalisation_not_physics — 16 cases</title></rect><rect x="114.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>a_classical_mixture_reaches_the_parity_ghz_never_does — 64 cases</title></rect><rect x="122.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>self_inverse_1_8 — 18 cases</title></rect><rect x="131.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>sum_1_to_9_zero — 81 cases</title></rect><rect x="139.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>doubling_digitroot_period6 — 36 cases</title></rect><rect x="148.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_is_not_the_identity — 90 cases</title></rect><rect x="157.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>palindromes_are_the_fixed_points — 90 cases</title></rect><rect x="165.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>emirps_exist_below_one_hundred — 90 cases</title></rect><rect x="174.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_does_not_preserve_primality — 90 cases</title></rect><rect x="105.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_at_even_indices — 20 cases</title></rect><rect x="114.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_at_odd_indices — 20 cases</title></rect><rect x="122.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_deviation_is_exactly_one — 20 cases</title></rect><rect x="131.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>lucas_mod_two_is_the_and_rule — 14 cases</title></rect><rect x="139.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pisano_twentyfour_is_four_sixes — 30 cases</title></rect><rect x="148.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>verification_grows_it_is_not_constant — 10 cases</title></rect><rect x="157.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pairs_are_exactly_the_units_in_order — 60 cases</title></rect><rect x="165.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_centre_is_five — 10 cases</title></rect><rect x="174.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_pairs_sum_to_ten — 11 cases</title></rect><rect x="105.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_is_not_an_involution_above_ten — 10 cases</title></rect><rect x="114.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_z9_reflection_permutes_the_units — 36 cases</title></rect><rect x="122.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_millennium_reflection_escapes_the_units — 36 cases</title></rect><rect x="131.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_is_the_vortex_reflection_shifted — 10 cases</title></rect><rect x="139.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_is_the_six — 36 cases</title></rect><rect x="148.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>triad_never_reaches_one — 12 cases</title></rect><rect x="157.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>squares_land_exactly_in_zero_one_four_seven — 16 cases</title></rect><rect x="165.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_has_period_six — 30 cases</title></rect><rect x="174.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_period_smaller_than_six — 60 cases</title></rect><rect x="105.4" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_digital_roots_have_period_six — 24 cases</title></rect><rect x="114.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pisano_period_mod_nine_is_twenty_four — 30 cases</title></rect><rect x="122.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>fibonacci_recurrence_holds — 20 cases</title></rect><rect x="131.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>consecutive_fibonacci_are_coprime — 25 cases</title></rect><text x="142.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10+</text><text x="142.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">148</text><rect x="204.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>distinct_inputs_give_distinct_addresses — 336 cases</title></rect><rect x="213.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>fibonacci_gcd_is_the_fibonacci_of_the_gcd — 196 cases</title></rect><rect x="222.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>legendres_three_square_theorem — 200 cases</title></rect><rect x="230.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>five_six_one_is_the_smallest_carmichael_number — 559 cases</title></rect><rect x="239.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_sum_of_fifth_powers_has_the_closed_form_asked_for — 380 cases</title></rect><rect x="247.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>wilsons_theorem_and_its_converse — 270 cases</title></rect><rect x="256.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>repunit_divisibility_by_three_and_seven — 324 cases</title></rect><rect x="265.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>odd_divisor_count_iff_perfect_square — 120 cases</title></rect><rect x="273.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_subtraction_game_loses_exactly_at_the_multiples_of_four — 369 cases</title></rect><rect x="204.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>an_odd_prime_is_a_sum_of_two_squares_exactly_when_it_is_one_mod_four — 197 cases</title></rect><rect x="213.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_hockey_stick_identity_holds_across_the_range — 209 cases</title></rect><rect x="222.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_two_to_one_is_forced_by_the_oxygen — 729 cases</title></rect><rect x="230.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>power_sums_match_their_closed_forms — 205 cases</title></rect><rect x="239.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_first_n_odd_numbers_sum_to_n_squared — 201 cases</title></rect><rect x="247.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_sums_of_triangular_numbers_are_the_tetrahedral_numbers — 101 cases</title></rect><rect x="256.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>polygonal_closed_forms_match_their_recurrences — 408 cases</title></rect><rect x="265.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digit_square_iteration_reaches_one_or_four — 200 cases</title></rect><rect x="273.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>a_number_is_a_sum_of_two_squares_exactly_when_fermats_condition_holds — 200 cases</title></rect><rect x="204.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_first_three_power_sums_hold_to_two_hundred — 603 cases</title></rect><rect x="213.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>mulperm_iff_unit_all — 324 cases</title></rect><rect x="222.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>addgen_iff_coprime_all — 486 cases</title></rect><rect x="230.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>hasinv_iff_unit_all — 486 cases</title></rect><rect x="239.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>primality_agrees_with_trial_division — 520 cases</title></rect><rect x="247.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_carries_units_onto_orbit — 216 cases</title></rect><rect x="256.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_carries_orbit_onto_units — 216 cases</title></rect><rect x="265.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_carries_all_onto_triad — 243 cases</title></rect><rect x="273.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_carries_units_onto_orbit — 216 cases</title></rect><rect x="204.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_carries_orbit_onto_units — 216 cases</title></rect><rect x="213.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_orbit_onto_units — 216 cases</title></rect><rect x="222.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_units_onto_tetA — 108 cases</title></rect><rect x="230.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_orbit_onto_tetA — 108 cases</title></rect><rect x="239.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_all_onto_squares — 324 cases</title></rect><rect x="247.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_carries_all_onto_cubes — 243 cases</title></rect><rect x="256.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_units_onto_tetA — 108 cases</title></rect><rect x="265.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_orbit_onto_tetA — 108 cases</title></rect><rect x="273.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_all_onto_squares — 324 cases</title></rect><rect x="204.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_carries_units_onto_orbit — 216 cases</title></rect><rect x="213.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_carries_orbit_onto_units — 216 cases</title></rect><rect x="222.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="230.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="239.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_carries_all_onto_triad — 243 cases</title></rect><rect x="247.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="256.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="265.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="273.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="204.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>riemann_reflection_and_heart — 100 cases</title></rect><rect x="213.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_does_not_determine_the_payload — 289 cases</title></rect><rect x="222.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_proof_is_smaller_than_its_set_across_the_octave — 255 cases</title></rect><rect x="230.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_chain_scales — 121 cases</title></rect><rect x="239.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_digitroot_is_residue_mod9 — 200 cases</title></rect><rect x="247.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>there_are_infinitely_many_pythagorean_triples — 100 cases</title></rect><rect x="256.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_difference_of_consecutive_squares_is_the_odd_numbers — 501 cases</title></rect><rect x="265.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_product_of_any_three_consecutive_integers_is_divisible_by_six — 500 cases</title></rect><rect x="273.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_wave_is_a_local_pure_derivation — 576 cases</title></rect><rect x="204.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>vitepress_hosts_the_content_address — 144 cases</title></rect><rect x="213.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_content_address_detects_any_change — 256 cases</title></rect><rect x="222.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_is_its_own_inverse — 256 cases</title></rect><rect x="230.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_is_commutative — 256 cases</title></rect><rect x="239.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_preserves_digit_sum — 300 cases</title></rect><rect x="247.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>digital_root_is_invariant_under_reversal — 300 cases</title></rect><rect x="256.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_is_involutive_exactly_off_the_trailing_zeros — 300 cases</title></rect><rect x="265.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_has_both_parities — 196 cases</title></rect><rect x="273.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>thue_morse_doubling_recurrence — 200 cases</title></rect><rect x="204.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_preserves_the_parity_of_the_bits — 200 cases</title></rect><rect x="213.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_odd_step_sets_exactly_one_further_bit — 200 cases</title></rect><rect x="222.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_singles_are_exactly_the_non_units — 160 cases</title></rect><rect x="230.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>sixty_four_is_where_the_doubling_returns — 180 cases</title></rect><rect x="239.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_involution — 110 cases</title></rect><rect x="247.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_reverses_the_domain — 121 cases</title></rect><rect x="256.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>digital_root_agrees_with_the_residue — 300 cases</title></rect><rect x="265.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>digital_root_is_the_digit_sum_residue — 300 cases</title></rect><rect x="273.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reversal_cannot_change_the_digital_root — 300 cases</title></rect><rect x="204.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_orbit_never_meets_the_triad — 120 cases</title></rect><rect x="213.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_alone_reaches_only_the_units — 432 cases</title></rect><rect x="222.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_proper_divisor_of_twenty_four_is_a_period — 182 cases</title></rect><text x="241.5" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">100+</text><text x="241.5" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">75</text><rect x="304.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_sixteen_bytes_whatever_the_input_length — 4,368 cases</title></rect><rect x="312.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_parity_of_popcount_is_the_xor_of_the_bits — 1,024 cases</title></rect><rect x="321.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_chinese_remainder_theorem_holds_exactly_when_the_moduli_are_coprime — 8,505 cases</title></rect><rect x="330.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>eight_and_nine_are_the_only_consecutive_perfect_powers_below_two_thousand — 1,999 cases</title></rect><rect x="338.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>havel_hakimi_decides_graphical_sequences — 1,200 cases</title></rect><rect x="347.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_is_the_only_prime_one_less_than_a_square_in_this_range — 1,560 cases</title></rect><rect x="355.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_whole_ring_is_not_regular_and_the_triad_is_why — 1,458 cases</title></rect><rect x="364.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>navier_stokes_flow_is_bounded — 2,304 cases</title></rect><rect x="373.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_saving_never_exceeds_its_value — 1,600 cases</title></rect><rect x="304.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>content_address_is_keyless_integrity — 1,512 cases</title></rect><rect x="312.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>casting_out_nines_is_multiplicative — 3,481 cases</title></rect><rect x="321.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_sensor_reading_addresses_to_a_uuid — 6,561 cases</title></rect><rect x="330.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_fusion_of_site_and_user_is_deterministic — 2,401 cases</title></rect><rect x="338.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>sums_of_two_squares_are_closed — 4,096 cases</title></rect><rect x="347.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_unit_table_is_a_latin_square — 1,296 cases</title></rect><text x="340.9" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">1,000+</text><text x="340.9" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">15</text><rect x="403.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>nicomachus_sum_of_cubes_is_the_square_of_the_triangular_number — 30,400 cases</title></rect><rect x="412.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>two_twenty_and_two_eighty_four_are_the_smallest_amicable_pair — 95,048 cases</title></rect><rect x="420.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_area_of_an_integer_right_triangle_is_a_multiple_of_six — 96,000 cases</title></rect><rect x="429.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_two_mod_nine_and_of_three_mod_seven_are_isomorphic — 46,656 cases</title></rect><rect x="438.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>a_chain_of_efficiencies_can_only_lose — 10,201 cases</title></rect><rect x="446.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>mass_is_conserved_at_every_scale_so_the_loop_cannot_make_water — 10,000 cases</title></rect><rect x="455.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digital_root_is_invariant_under_digit_reversal — 10,000 cases</title></rect><rect x="463.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digit_sum_rules_for_three_and_nine_hold_below_ten_thousand — 10,000 cases</title></rect><rect x="472.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_three_non_units_are_exactly_the_unreachable — 19,683 cases</title></rect><rect x="403.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_superposition_collapse — 10,000 cases</title></rect><rect x="412.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_url_path — 14,641 cases</title></rect><rect x="420.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_perspective_is_a_distinct_file — 28,561 cases</title></rect><rect x="429.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>intentions_are_shown_by_receipts_not_role — 10,404 cases</title></rect><rect x="438.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_theorem_is_a_superposition_of_readings — 22,308 cases</title></rect><rect x="446.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_theorems_are_the_hull_and_hardware — 41,160 cases</title></rect><rect x="455.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_intention_is_a_computable_deed_receipt — 23,104 cases</title></rect><rect x="463.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>every_error_is_a_receipted_trial_event — 15,876 cases</title></rect><rect x="472.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>every_warning_is_a_receipted_trial_event — 12,138 cases</title></rect><rect x="403.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_suggested_next_is_content_addressed — 10,000 cases</title></rect><rect x="412.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_rejected_command_gets_a_receipt — 44,100 cases</title></rect><rect x="420.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_sequence_takes_both_values — 40,000 cases</title></rect><text x="440.3" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10,000+</text><text x="440.3" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">21</text><text x="539.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">100,000+</text><text x="539.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="602.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>gravity_holds_prose_code_and_paths — 7,529,536 cases</title></rect><text x="639.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^6</text><text x="639.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="738.5" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^7</text><text x="738.5" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><text x="837.9" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^8</text><text x="837.9" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="900.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_nim_sum_is_a_gf2_vector_addition — 4,294,967,296 cases</title></rect><text x="937.3" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^9</text><text x="937.3" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="1036.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^10</text><text x="1036.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="1099.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>bezouts_identity_is_attained_and_no_smaller_combination_exists — 152,568,360,000 cases</title></rect><text x="1136.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^11</text><text x="1136.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="6" y="13" font-size="12" fill="currentColor" opacity="0.65">cases the kernel exhausted, per theorem (log₁₀ buckets) — one square is one theorem</text></svg>
23
+ <svg viewBox="0 0 1203 415" role="img" class="fig" xmlns="http://www.w3.org/2000/svg" aria-label="every theorem placed by the size of the domain its proof exhausted"><title>Figure 1 — all 628 declarations by domain size</title><rect x="6.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_is_sixteen_bytes — 1 cases</title></rect><rect x="14.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_bytes_are_bytes — 1 cases</title></rect><rect x="23.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>version_nibble_is_forced — 1 cases</title></rect><rect x="31.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>variant_bits_are_forced — 1 cases</title></rect><rect x="40.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_deterministic — 1 cases</title></rect><rect x="49.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>distinct_seeds_give_distinct_addresses — 1 cases</title></rect><rect x="57.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_not_the_identity — 1 cases</title></rect><rect x="66.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_not_constant — 1 cases</title></rect><rect x="74.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_four_seeds_are_distinct — 1 cases</title></rect><rect x="6.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>address_settles_its_range — 1 cases</title></rect><rect x="14.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_order_sensitive — 4 cases</title></rect><rect x="23.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_reflection_is_an_involution — 1 cases</title></rect><rect x="31.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>one_side_is_reflected_onto_itself — 1 cases</title></rect><rect x="40.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_other_two_swap — 1 cases</title></rect><rect x="49.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>exactly_one_digit_is_unmoved — 1 cases</title></rect><rect x="57.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>exactly_one_digit_reflects_out_of_range — 1 cases</title></rect><rect x="66.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_classes_partition_the_nine — 1 cases</title></rect><rect x="74.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_digit_is_sorted_exactly_once — 1 cases</title></rect><rect x="6.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fall_fixes_every_digit_but_the_void — 1 cases</title></rect><rect x="14.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fall_and_the_reflection_share_one_exceptional_digit — 1 cases</title></rect><rect x="23.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>on_the_fixed_points_the_reflection_never_leaves — 1 cases</title></rect><rect x="31.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>what_escapes_falls_back_inside — 1 cases</title></rect><rect x="40.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_nines_complement_pairs_the_ten_digits — 1 cases</title></rect><rect x="49.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>factorial_seven_is_five_thousand_and_forty — 1 cases</title></rect><rect x="57.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>picks_theorem_holds_for_every_lattice_triangle_in_the_four_grid — 1 cases</title></rect><rect x="66.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_latin_squares_of_order_four_number_five_hundred_and_seventy_six — 1 cases</title></rect><rect x="74.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>euclids_form_is_perfect_at_every_mersenne_prime_to_seven — 4 cases</title></rect><rect x="6.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_mersenne_hypothesis_is_real_at_eleven — 1 cases</title></rect><rect x="14.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_amicable_pair_is_mutual_and_neither_is_perfect — 1 cases</title></rect><rect x="23.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_primitive_roots_mod_nine_are_exactly_two_and_five — 2 cases</title></rect><rect x="31.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_of_z9_form_three_pairs_summing_to_nine — 1 cases</title></rect><rect x="40.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_multiplication_table_of_the_z9_units_is_a_latin_square — 1 cases</title></rect><rect x="49.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_is_a_primitive_root_mod_seven_and_seven_is_six_plus_one — 7 cases</title></rect><rect x="57.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_z9_unit_group_splits_as_reflection_times_trinity — 1 cases</title></rect><rect x="66.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_inverse_map_permutes_the_units_and_is_an_involution — 1 cases</title></rect><rect x="74.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>consecutive_farey_neighbours_have_unit_determinant_and_bracket_their_mediant — 1 cases</title></rect><rect x="6.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_are_three_regular_under_doubling_halving_and_reflection — 1 cases</title></rect><rect x="14.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>a_knight_has_exactly_eight_leaps_and_every_one_flips_the_colour — 1 cases</title></rect><rect x="23.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_partition_and_bell_numbers_count_what_they_claim_to_count — 6 cases</title></rect><rect x="31.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_unit_graph_is_complete_bipartite_between_the_two_tetrahedra — 1 cases</title></rect><rect x="40.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>elementary_settles_its_range — 1 cases</title></rect><rect x="49.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_loop_returns_less_than_it_took — 1 cases</title></rect><rect x="57.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>as_a_purifier_the_loop_costs_a_thousandfold — 1 cases</title></rect><rect x="66.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_equation_balances_by_mass — 1 cases</title></rect><rect x="74.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_equation_balances_by_atom_count — 1 cases</title></rect><rect x="6.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gases_are_two_to_one_and_consume_each_other_exactly — 1 cases</title></rect><rect x="14.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hydrogen_is_a_ninth_of_the_mass_and_oxygen_the_rest — 1 cases</title></rect><rect x="23.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>one_litre_split_returns_one_litre_burnt — 1 cases</title></rect><rect x="31.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>only_oxy_hydrogen_burns_without_admitting_nitrogen — 1 cases</title></rect><rect x="40.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_ideal_round_trip_is_exactly_zero — 1 cases</title></rect><rect x="49.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gases_are_eighteen_hundred_times_the_water_they_came_from — 1 cases</title></rect><rect x="57.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>two_thirds_of_the_volume_carries_a_ninth_of_the_mass — 1 cases</title></rect><rect x="66.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>uncompressed_hydrogen_is_three_thousandfold_worse_by_volume — 1 cases</title></rect><rect x="74.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>even_at_seven_hundred_bar_it_is_sevenfold_worse_by_volume — 1 cases</title></rect><rect x="6.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>each_delivered_kilowatt_hour_costs_four_and_cycles_a_litre — 1 cases</title></rect><rect x="14.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>three_quarters_of_the_input_leaves_as_heat — 1 cases</title></rect><rect x="23.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>what_the_feedwater_leaves_behind_decides_the_maintenance — 1 cases</title></rect><rect x="31.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>flt_all_primes_under_thirty — 1 cases</title></rect><rect x="40.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>wilson_all_primes_under_thirty — 1 cases</title></rect><rect x="49.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>xor_is_parity_up_to_eight_bits — 8 cases</title></rect><rect x="57.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>nat_div_is_a_total_function_returning_zero_at_a_zero_divisor — 1 cases</title></rect><rect x="66.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>at_a_zero_divisor_the_identity_is_carried_by_the_remainder — 1 cases</title></rect><rect x="74.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>demorgan_holds_at_every_arity_to_eight — 7 cases</title></rect><rect x="6.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>multiplication_permutes_z9_at_exactly_the_units — 8 cases</title></rect><rect x="14.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addition_generates_z9_at_exactly_the_units — 8 cases</title></rect><rect x="23.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>an_inverse_mod_nine_exists_at_exactly_the_units — 9 cases</title></rect><rect x="31.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_inverse_of_a_unit_mod_nine_is_its_fifth_power — 1 cases</title></rect><rect x="40.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>and_the_converse_fails_at_six — 1 cases</title></rect><rect x="49.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_order_of_every_unit_mod_nine_divides_six — 1 cases</title></rect><rect x="57.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>there_are_exactly_five_platonic_solids_and_each_satisfies_eulers_formula — 1 cases</title></rect><rect x="66.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_involutions_are_counted_by_the_telephone_numbers — 6 cases</title></rect><rect x="74.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>families_settle_their_ranges — 1 cases</title></rect><rect x="6.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_a_seed_zero — 1 cases</title></rect><rect x="14.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_ab_seed_zero — 2 cases</title></rect><rect x="23.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_a_seed_golden — 1 cases</title></rect><rect x="31.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_uuidna_seed_zero — 6 cases</title></rect><rect x="40.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_not_the_identity — 1 cases</title></rect><rect x="49.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_not_constant — 1 cases</title></rect><rect x="57.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fnv_settles_its_range — 1 cases</title></rect><rect x="66.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_hash_is_order_sensitive — 4 cases</title></rect><rect x="74.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_empty_input_is_still_mixed — 1 cases</title></rect><rect x="6.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>demorgan_all_widths — 7 cases</title></rect><rect x="14.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>invpow_is_fifth_power_all_units — 6 cases</title></rect><rect x="23.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cyclic_units_have_a_primitive_root — 6 cases</title></rect><rect x="31.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>decimal_period_is_the_order_of_ten — 8 cases</title></rect><rect x="40.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_double — 9 cases</title></rect><rect x="49.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_triple — 9 cases</title></rect><rect x="57.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_quadruple — 9 cases</title></rect><rect x="66.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_quadruple — 9 cases</title></rect><rect x="74.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetB_is_closed_under_quadruple — 9 cases</title></rect><rect x="6.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_negate — 9 cases</title></rect><rect x="14.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_negate — 9 cases</title></rect><rect x="23.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_square — 9 cases</title></rect><rect x="31.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_square — 9 cases</title></rect><rect x="40.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_fourth — 9 cases</title></rect><rect x="49.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_fourth — 9 cases</title></rect><rect x="57.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_fourth — 9 cases</title></rect><rect x="66.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_sixth — 9 cases</title></rect><rect x="74.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_sixth — 9 cases</title></rect><rect x="6.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_sixth — 9 cases</title></rect><rect x="14.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_quintuple — 9 cases</title></rect><rect x="23.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_sextuple — 9 cases</title></rect><rect x="31.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_septuple — 9 cases</title></rect><rect x="40.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetA_is_closed_under_septuple — 9 cases</title></rect><rect x="49.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>tetB_is_closed_under_septuple — 9 cases</title></rect><rect x="57.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triad_is_closed_under_octuple — 9 cases</title></rect><rect x="66.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cubes_is_closed_under_octuple — 9 cases</title></rect><rect x="74.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_is_involutive_on_triad — 3 cases</title></rect><rect x="6.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_is_involutive_on_triad — 3 cases</title></rect><rect x="14.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_is_involutive_on_tetA — 3 cases</title></rect><rect x="23.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_is_involutive_on_squares — 4 cases</title></rect><rect x="31.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_is_involutive_on_cubes — 3 cases</title></rect><rect x="40.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_is_involutive_on_tetA — 3 cases</title></rect><rect x="49.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_is_involutive_on_squares — 4 cases</title></rect><rect x="57.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_units — 6 cases</title></rect><rect x="66.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_orbit — 6 cases</title></rect><rect x="74.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_tetA — 3 cases</title></rect><rect x="6.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_tetB — 3 cases</title></rect><rect x="14.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_squares — 4 cases</title></rect><rect x="23.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_is_involutive_on_cubes — 3 cases</title></rect><rect x="31.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_is_involutive_on_triad — 3 cases</title></rect><rect x="40.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_is_involutive_on_triad — 3 cases</title></rect><rect x="49.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_triad_to_one_value — 3 cases</title></rect><rect x="57.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="66.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="74.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_triad_to_one_value — 3 cases</title></rect><rect x="6.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="14.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="23.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="31.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="40.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_units_to_one_value — 6 cases</title></rect><rect x="49.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_triad_to_one_value — 3 cases</title></rect><rect x="57.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_orbit_to_one_value — 6 cases</title></rect><rect x="66.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="74.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sixth_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="6.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_triad_to_one_value — 3 cases</title></rect><rect x="14.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_tetA_to_one_value — 3 cases</title></rect><rect x="23.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_collapses_tetB_to_one_value — 3 cases</title></rect><rect x="31.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>yang_mills_spectral_gap — 6 cases</title></rect><rect x="40.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>birch_swinnerton_dyer_vanishing — 9 cases</title></rect><rect x="49.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_sequence_is_its_named_parts_and_closes — 3 cases</title></rect><rect x="57.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>there_are_2620_involutions_of_nine — 1 cases</title></rect><rect x="66.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fuel_was_not_the_limit — 1 cases</title></rect><rect x="74.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_involution_fixes_at_least_one_point — 1 cases</title></rect><rect x="6.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_fixed_points_are_always_odd — 1 cases</title></rect><rect x="14.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_single_point_is_fixed_by_all — 1 cases</title></rect><rect x="23.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_constant_sum_is_rare — 1 cases</title></rect><rect x="31.8" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>so_involutions_are_not_all_harmonic_in_that_sense — 1 cases</title></rect><rect x="40.4" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_coins_reflection_is_harmonic_and_is_one_of_the_ninety — 1 cases</title></rect><rect x="49.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_seal_is_128_bits — 1 cases</title></rect><rect x="57.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>membership_grows_by_one_seal_per_doubling — 1 cases</title></rect><rect x="66.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>membership_is_logarithmic_not_linear — 1 cases</title></rect><rect x="74.8" y="230.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_967_receipt_case — 1 cases</title></rect><rect x="6.0" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_si_fixes_exactly_seven_constants — 1 cases</title></rect><rect x="14.6" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>travel_at_one_returns_the_defined_constant — 1 cases</title></rect><rect x="23.2" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>travel_and_periods_at_one_return_their_constants — 1 cases</title></rect><rect x="31.8" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_roots_of_the_seven — 7 cases</title></rect><rect x="40.4" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_root_moves_with_the_unit_so_it_is_not_about_light — 1 cases</title></rect><rect x="49.0" y="221.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_definitions_are_seven_and_travel_fixes_zero — 1 cases</title></rect><rect x="57.6" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_demorgan1 — 4 cases</title></rect><rect x="66.2" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_demorgan2 — 4 cases</title></rect><rect x="74.8" y="221.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_distributivity — 8 cases</title></rect><rect x="6.0" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bool_absorption — 4 cases</title></rect><rect x="14.6" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>merkaba_cube_q3 — 1 cases</title></rect><rect x="23.2" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cover_rotation_full_circle — 9 cases</title></rect><rect x="31.8" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>fib_trinity_horizon — 1 cases</title></rect><rect x="40.4" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>arts_nine_hues_distinct — 9 cases</title></rect><rect x="49.0" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_units_group — 6 cases</title></rect><rect x="57.6" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_zero_divisors — 1 cases</title></rect><rect x="66.2" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>trial_zero_no_inverse — 9 cases</title></rect><rect x="74.8" y="212.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>chess_diagonals_15 — 1 cases</title></rect><rect x="6.0" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_78_cards — 1 cases</title></rect><rect x="14.6" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_minor_4x14 — 1 cases</title></rect><rect x="23.2" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_digital_roots — 1 cases</title></rect><rect x="31.8" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>gf4_size — 4 cases</title></rect><rect x="40.4" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_digital_root — 6 cases</title></rect><rect x="49.0" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>harmonic_octave_2_1 — 1 cases</title></rect><rect x="57.6" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>harmonic_pythagorean_comma — 1 cases</title></rect><rect x="66.2" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_seven — 1 cases</title></rect><rect x="74.8" y="204.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_eight — 1 cases</title></rect><rect x="6.0" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_creation_week — 1 cases</title></rect><rect x="14.6" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_moduli_dimensions_are_three_g_minus_three_and_six_g_minus_six — 1 cases</title></rect><rect x="23.2" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_moduli_dim — 1 cases</title></rect><rect x="31.8" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_hyperelliptic — 1 cases</title></rect><rect x="40.4" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genus2_h1_symplectic — 1 cases</title></rect><rect x="49.0" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_seven_is_six_plus_one — 6 cases</title></rect><rect x="57.6" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_units_sum_and_product — 6 cases</title></rect><rect x="66.2" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_432_factors — 1 cases</title></rect><rect x="74.8" y="195.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_triangular_45_is_base — 9 cases</title></rect><rect x="6.0" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>kaprekar_constants_digitroot_nine — 1 cases</title></rect><rect x="14.6" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_three_four_five_right_triangle_is_the_first_pythagorean_triple — 1 cases</title></rect><rect x="23.2" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_pentagon_angles_are_the_heart_seventy_two_and_hundred_eight — 1 cases</title></rect><rect x="31.8" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cyclic_number_142857_is_the_repetend_of_one_seventh — 1 cases</title></rect><rect x="40.4" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>_142857_times_seven_is_six_nines — 1 cases</title></rect><rect x="49.0" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>midy_the_two_halves_of_142857_sum_to_nines — 1 cases</title></rect><rect x="57.6" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_digital_root_of_seven_to_the_k_has_period_three — 1 cases</title></rect><rect x="66.2" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>seven_divides_the_repunit_of_length_six — 1 cases</title></rect><rect x="74.8" y="187.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_to_the_eighth_is_two_hundred_fifty_six_a_byte — 1 cases</title></rect><rect x="6.0" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_to_the_tenth_is_1024_the_harmonic_ledger — 1 cases</title></rect><rect x="14.6" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_nonagon_exterior_angle_is_the_a432_step — 1 cases</title></rect><rect x="23.2" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_digits_one_to_nine_sum_to_forty_five_rooting_to_nine — 9 cases</title></rect><rect x="31.8" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>nine_is_the_base_and_the_trinity_squared — 1 cases</title></rect><rect x="40.4" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>six_is_the_third_triangular_number — 3 cases</title></rect><rect x="49.0" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_regular_hexagon_exterior_angle_is_the_gold_string — 1 cases</title></rect><rect x="57.6" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_doubling_orbit_reflection_pairs_sum_to_nine — 1 cases</title></rect><rect x="66.2" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>five_is_the_inverse_of_two_so_halving_reverses_the_orbit — 1 cases</title></rect><rect x="74.8" y="178.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>dna_is_the_version_itself — 1 cases</title></rect><rect x="6.0" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>contribute_two_to_save_sixty_four — 6 cases</title></rect><rect x="14.6" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genetic_code_is_the_octave_squared — 1 cases</title></rect><rect x="23.2" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>sixty_one_sense_three_stop_codons — 1 cases</title></rect><rect x="31.8" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>six_reading_frames — 1 cases</title></rect><rect x="40.4" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_1_the_unit — 9 cases</title></rect><rect x="49.0" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_8_the_octave — 1 cases</title></rect><rect x="57.6" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>genesis_64_the_codon — 1 cases</title></rect><rect x="66.2" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>diamond_fixed_point_is_zero_entropy — 1 cases</title></rect><rect x="74.8" y="169.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_address_is_shipped_not_the_payload — 1 cases</title></rect><rect x="6.0" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_harmonic_band_thirty_to_ninety — 1 cases</title></rect><rect x="14.6" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>sixty_and_ninety_partition_the_quadrant — 1 cases</title></rect><rect x="23.2" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_hexagon_and_the_square_metrics — 1 cases</title></rect><rect x="31.8" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_theorem_responds_in_a_receipt — 1 cases</title></rect><rect x="40.4" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>involution_negation — 1 cases</title></rect><rect x="49.0" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a432_factors_as_two_to_the_fourth_times_three_cubed — 1 cases</title></rect><rect x="57.6" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a432_octave_doubling — 1 cases</title></rect><rect x="66.2" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>two_bits_thrice_make_the_codon — 1 cases</title></rect><rect x="74.8" y="161.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_skipper_navigates_by_angle — 1 cases</title></rect><rect x="6.0" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>cheap_to_factor_easy_to_verify — 1 cases</title></rect><rect x="14.6" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cell_is_determined_by_content — 1 cases</title></rect><rect x="23.2" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>present_by_reference_fits_a_tiny_budget — 1 cases</title></rect><rect x="31.8" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_cached_address_is_never_recomputed — 1 cases</title></rect><rect x="40.4" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_decidable_domain_is_finite_and_coverable — 9 cases</title></rect><rect x="49.0" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_more_developed_the_more_cross_domain_reach — 1 cases</title></rect><rect x="57.6" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_full_superposition_has_nine_states — 9 cases</title></rect><rect x="66.2" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>forward_is_the_deterministic_compute — 1 cases</title></rect><rect x="74.8" y="152.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_cardinality_claims_hold_of_any_four_symbol_alphabet — 1 cases</title></rect><rect x="6.0" y="144.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_reflexive_address_claim_holds_for_a_constant_function — 1 cases</title></rect><rect x="14.6" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_three_classes_partition_z9 — 9 cases</title></rect><rect x="23.2" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_axis_is_closed_under_doubling — 1 cases</title></rect><rect x="31.8" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_counter_rotates_the_two_tetrahedra — 1 cases</title></rect><rect x="40.4" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_counter_rotation_has_period_two — 1 cases</title></rect><rect x="49.0" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_tetrahedra_residue_sums_cancel — 1 cases</title></rect><rect x="57.6" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>one_tetrahedron_covers_half_the_units — 1 cases</title></rect><rect x="66.2" y="144.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_cube_and_the_tetrahedron_count_out — 1 cases</title></rect><rect x="74.8" y="144.0" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>singleton_fold_is_the_leaf — 1 cases</title></rect><rect x="6.0" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_fold_of_any_single_leaf_is_that_leaf — 1 cases</title></rect><rect x="14.6" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_two — 1 cases</title></rect><rect x="23.2" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merge_is_order_sensitive — 1 cases</title></rect><rect x="31.8" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>sorting_is_what_makes_the_fold_order_free — 1 cases</title></rect><rect x="40.4" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merkle_settles_its_range — 1 cases</title></rect><rect x="49.0" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_permutation_generator_is_complete — 1 cases</title></rect><rect x="57.6" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_four — 1 cases</title></rect><rect x="66.2" y="135.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>fold_is_order_independent_on_three — 1 cases</title></rect><rect x="74.8" y="135.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_two_heaps_lost_iff_xor_zero — 1 cases</title></rect><rect x="6.0" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_lost_iff_heaps_equal — 1 cases</title></rect><rect x="14.6" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>lost_positions_are_exactly_the_diagonal — 1 cases</title></rect><rect x="23.2" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>grundy_of_a_single_heap_is_its_size — 1 cases</title></rect><rect x="31.8" y="126.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>grundy_of_two_heaps_is_the_xor — 1 cases</title></rect><rect x="40.4" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>every_phenomenon_is_definitional_or_credited — 1 cases</title></rect><rect x="49.0" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>seven_definitional_and_two_credited — 1 cases</title></rect><rect x="57.6" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_definitional_half_is_the_whole_si — 1 cases</title></rect><rect x="66.2" y="126.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_table_is_closed_and_that_is_all_this_file_decides — 1 cases</title></rect><rect x="74.8" y="126.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>novelty_is_claimed_only_where_a_search_was_performed — 1 cases</title></rect><rect x="6.0" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>this_deposit_claims_no_novelty_today — 1 cases</title></rect><rect x="14.6" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_restated_sources_are_named_and_claim_nothing — 1 cases</title></rect><rect x="23.2" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>an_unsearched_source_claims_nothing — 1 cases</title></rect><rect x="31.8" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>every_source_is_classified — 1 cases</title></rect><rect x="40.4" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_kinds_cover_every_source — 1 cases</title></rect><rect x="49.0" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>some_sources_are_unsearched — 1 cases</title></rect><rect x="57.6" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>zero_claims_is_not_full_attribution — 1 cases</title></rect><rect x="66.2" y="118.2" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>novelty_is_claimed_of_no_source — 1 cases</title></rect><rect x="74.8" y="118.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>perms_of_four_is_factorial — 4 cases</title></rect><rect x="6.0" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>superposition_collapses_to_one — 4 cases</title></rect><rect x="14.6" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_receipt_is_not_injective — 1 cases</title></rect><rect x="23.2" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_uncanonicalised_fold_gives_many_answers — 4 cases</title></rect><rect x="31.8" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>quantum_settles_its_domain_totally — 1 cases</title></rect><rect x="40.4" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_ghz_x_support_is_exactly_the_even_parity_strings — 8 cases</title></rect><rect x="49.0" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>it_is_half_of_the_eight — 8 cases</title></rect><rect x="57.6" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>exhaustion_never_reaches_its_own_bound — 1 cases</title></rect><rect x="66.2" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_successor_of_every_bound_lies_outside — 1 cases</title></rect><rect x="74.8" y="109.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>doubling_the_domain_leaves_the_same_hole — 1 cases</title></rect><rect x="6.0" y="101.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>even_the_largest_domain_here_has_an_outside — 1 cases</title></rect><rect x="14.6" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>units_sum_zero — 1 cases</title></rect><rect x="23.2" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>triad_nilpotent — 1 cases</title></rect><rect x="31.8" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>triad_sum_zero — 1 cases</title></rect><rect x="40.4" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>units_product_neg1 — 1 cases</title></rect><rect x="49.0" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>order_of_2_is_6 — 5 cases</title></rect><rect x="57.6" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k6 — 1 cases</title></rect><rect x="66.2" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k12 — 1 cases</title></rect><rect x="74.8" y="101.0" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>unit_exp_id_k18 — 1 cases</title></rect><rect x="6.0" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>powperm_k5 — 1 cases</title></rect><rect x="14.6" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>powperm_k7 — 1 cases</title></rect><rect x="23.2" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>qr_u1 — 9 cases</title></rect><rect x="31.8" y="92.4" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>qr_u4 — 9 cases</title></rect><rect x="40.4" y="92.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_ledger_reversal_cases — 1 cases</title></rect><rect x="49.0" y="92.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_settles_its_range — 1 cases</title></rect><rect x="57.6" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>claims_exactly_what_arises_without_formality — 1 cases</title></rect><rect x="66.2" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_claimed_are_copyright_moral_rights_and_the_database — 3 cases</title></rect><rect x="74.8" y="92.4" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_claimed_set_is_exactly_those_three_and_the_unregistered_mark — 4 cases</title></rect><rect x="6.0" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_unclaimed_are_the_registry_the_excluded_and_the_unownable — 4 cases</title></rect><rect x="14.6" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>no_right_that_needs_a_registry_act_is_claimed — 1 cases</title></rect><rect x="23.2" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>no_excluded_subject_matter_is_claimed — 1 cases</title></rect><rect x="31.8" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>nothing_incapable_of_ownership_is_claimed — 1 cases</title></rect><rect x="40.4" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>the_enumeration_is_complete_and_unduplicated — 9 cases</title></rect><rect x="49.0" y="83.8" width="7" height="7" rx="1.2" fill="hsl(40 62% 52%)"><title>rights_settles_its_range — 1 cases</title></rect><rect x="57.6" y="83.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_five_eight_are_consecutive — 1 cases</title></rect><rect x="66.2" y="83.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_verify_path_is_the_exponent — 1 cases</title></rect><rect x="74.8" y="83.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_gap_widens_with_every_doubling — 1 cases</title></rect><rect x="6.0" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>no_constant_factor_accounts_for_the_gap — 1 cases</title></rect><rect x="14.6" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_measured_ratio_at_a_million_leaves — 1 cases</title></rect><rect x="23.2" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_verify_is_thirty_eight_thousand_nanoseconds_not_one — 1 cases</title></rect><rect x="31.8" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_advantage_is_the_count_not_the_operation — 1 cases</title></rect><rect x="40.4" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_break_even_is_the_ratio_of_verifications — 1 cases</title></rect><rect x="49.0" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hexbits_are_shorter_than_hex — 1 cases</title></rect><rect x="57.6" y="75.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hexbits_are_slower_than_hex — 1 cases</title></rect><rect x="66.2" y="75.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>each_pair_is_two_consecutive_units — 1 cases</title></rect><rect x="74.8" y="75.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_token_is_a_multiple_of_three — 1 cases</title></rect><rect x="6.0" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_tokens_are_three_times_these — 7 cases</title></rect><rect x="14.6" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addition_and_multiplication_stay_inside — 1 cases</title></rect><rect x="23.2" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>subtraction_stays_inside — 1 cases</title></rect><rect x="31.8" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>division_is_the_operation_that_leaves — 1 cases</title></rect><rect x="40.4" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_roots_are_the_singles — 7 cases</title></rect><rect x="49.0" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_root_is_a_single — 1 cases</title></rect><rect x="57.6" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_exhaustible_tokens_are_those_six_divides — 4 cases</title></rect><rect x="66.2" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_rest_halt_on_the_generator — 3 cases</title></rect><rect x="74.8" y="66.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_token_is_void_bound_or_halts_on_three — 1 cases</title></rect><rect x="6.0" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>inside_this_ideal_the_bare_coin_sorts_as_the_scaled_one — 1 cases</title></rect><rect x="14.6" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>a_seal_divides_into_payments_and_multiplies_back — 8 cases</title></rect><rect x="23.2" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_are_six — 6 cases</title></rect><rect x="31.8" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_count — 1 cases</title></rect><rect x="40.4" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>hasinv_units — 1 cases</title></rect><rect x="49.0" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>hasinv_triad_not — 3 cases</title></rect><rect x="57.6" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>selfinv_exactly_one_and_eight — 2 cases</title></rect><rect x="66.2" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>euler_units_pow_six — 1 cases</title></rect><rect x="74.8" y="58.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>invpow_is_u_to_the_fifth — 1 cases</title></rect><rect x="6.0" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>powsum_zero_at_six — 1 cases</title></rect><rect x="14.6" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>powsum_zero_at_one — 1 cases</title></rect><rect x="23.2" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>mulperm_iff_unit — 1 cases</title></rect><rect x="31.8" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>addgen_iff_coprime — 1 cases</title></rect><rect x="40.4" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>selfneg_only_zero — 1 cases</title></rect><rect x="49.0" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_closes — 1 cases</title></rect><rect x="57.6" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_distinct — 6 cases</title></rect><rect x="66.2" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_covers_units — 6 cases</title></rect><rect x="74.8" y="49.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>triad_squares_vanish — 1 cases</title></rect><rect x="6.0" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>add_group — 1 cases</title></rect><rect x="14.6" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>neg_involution — 1 cases</title></rect><rect x="23.2" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>z9_settles_its_domain_totally — 1 cases</title></rect><rect x="31.8" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>five_is_not_a_square_mod_nine — 1 cases</title></rect><rect x="40.4" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cubes_land_exactly_in_zero_one_eight — 9 cases</title></rect><rect x="49.0" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primitive_roots_are_exactly_two_and_five — 2 cases</title></rect><rect x="57.6" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primitive_root_iff_generates_the_units — 2 cases</title></rect><rect x="66.2" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_orders_of_the_units_are_exact — 1 cases</title></rect><rect x="74.8" y="40.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_reflected_orbit_covers_the_whole_triad — 3 cases</title></rect><rect x="6.0" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_splits_the_orbit_in_half — 9 cases</title></rect><rect x="14.6" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_crossing_pairs_are_one_four_seven — 9 cases</title></rect><rect x="23.2" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_is_injective_on_the_orbit — 1 cases</title></rect><rect x="31.8" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reflection_alone_reaches_only_two — 1 cases</title></rect><rect x="40.4" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_and_reflection_together_reach_every_residue — 1 cases</title></rect><rect x="49.0" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>every_residue_is_reachable_from_one — 9 cases</title></rect><rect x="57.6" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_diameter_is_exactly_four — 1 cases</title></rect><rect x="66.2" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_frontier_grows_by_two_each_round — 1 cases</title></rect><rect x="74.8" y="32.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>product_of_the_units_is_minus_one — 6 cases</title></rect><rect x="6.0" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_five_eight_are_consecutive_fibonacci — 1 cases</title></rect><rect x="14.6" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>units_and_triad_partition_the_ring — 1 cases</title></rect><rect x="23.2" y="23.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>both_parts_sum_to_zero — 1 cases</title></rect><text x="42.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">1</text><text x="42.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">363</text><rect x="105.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>raw_bytes_of_a — 16 cases</title></rect><rect x="114.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>to_uuid_bytes_of_a — 16 cases</title></rect><rect x="122.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>to_uuid_bytes_of_uuidna — 16 cases</title></rect><rect x="131.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>addressing_is_injective_on_single_characters — 24 cases</title></rect><rect x="139.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_not_the_payload — 36 cases</title></rect><rect x="148.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_mobius_divisor_sum_is_the_identity — 30 cases</title></rect><rect x="157.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_derangement_recurrence_holds — 11 cases</title></rect><rect x="165.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>mantels_bound_is_n_squared_over_four — 20 cases</title></rect><rect x="174.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>every_number_is_a_sum_of_four_squares — 60 cases</title></rect><rect x="105.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_cantor_pairing_is_injective_and_covers_an_initial_segment — 36 cases</title></rect><rect x="114.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_euler_characteristic_of_a_genus_g_surface — 12 cases</title></rect><rect x="122.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_eisenstein_units_are_exactly_six — 49 cases</title></rect><rect x="131.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_count_of_primitive_roots_is_phi_of_phi — 59 cases</title></rect><rect x="139.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_order_spectrum_of_the_z9_units_realises_gauss_divisor_sum — 36 cases</title></rect><rect x="148.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_product_of_the_units_is_minus_one_exactly_where_gauss_says — 59 cases</title></rect><rect x="157.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>eight_times_a_triangular_number_plus_one_is_an_odd_square — 60 cases</title></rect><rect x="165.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_lucas_numbers_follow_their_recurrence_and_reach_their_named_values — 28 cases</title></rect><rect x="174.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_lucas_numbers_are_the_sum_of_the_neighbouring_fibonaccis — 28 cases</title></rect><rect x="105.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pell_numbers_follow_their_recurrence_and_reach_their_named_values — 24 cases</title></rect><rect x="114.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_interior_and_exterior_angles_are_n_straight_angles — 30 cases</title></rect><rect x="122.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_golden_beatty_identity_holds_across_the_range — 40 cases</title></rect><rect x="131.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>wilson_fails_at_composites — 20 cases</title></rect><rect x="139.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_rows_sum_to_powers_of_two — 12 cases</title></rect><rect x="148.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_alternating_sums_vanish — 11 cases</title></rect><rect x="157.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>totient_at_prime_powers — 12 cases</title></rect><rect x="165.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>geometric_series_all_bases — 40 cases</title></rect><rect x="174.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>division_identity_holds_across_the_range — 13 cases</title></rect><rect x="105.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>primality_is_decided_across_the_range — 17 cases</title></rect><rect x="114.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_units_are_cyclic_at_exactly_the_gauss_moduli — 17 cases</title></rect><rect x="122.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>geometric_series_across_bases_and_exponents — 77 cases</title></rect><rect x="131.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>totient_at_prime_powers_through_thirteen — 18 cases</title></rect><rect x="139.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_a_unit_sum_to_zero_when_g_minus_one_is_invertible — 19 cases</title></rect><rect x="148.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_two_sum_to_one_less_than_the_next — 41 cases</title></rect><rect x="157.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_squares_of_a_pascal_row_sum_to_the_central_binomial — 13 cases</title></rect><rect x="165.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassinis_identity_holds_across_the_range — 30 cases</title></rect><rect x="174.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_golden_convergents_are_fibonacci_ratios_with_unit_determinant — 25 cases</title></rect><rect x="105.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_catalan_recurrence_matches_the_binomial_formula — 13 cases</title></rect><rect x="114.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pisano_period_of_nine_is_twenty_four_and_every_modulus_to_twelve_has_one — 11 cases</title></rect><rect x="122.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_deterministic — 32 cases</title></rect><rect x="131.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_injective_on_single_characters — 64 cases</title></rect><rect x="139.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_seed_separates — 16 cases</title></rect><rect x="148.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>hash_is_thirty_two_bit — 40 cases</title></rect><rect x="157.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>powsum_zero_odd_exponents — 54 cases</title></rect><rect x="165.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>powsum_nonzero_at_even_exponents — 18 cases</title></rect><rect x="174.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>mulperm_fails_at_the_triad — 18 cases</title></rect><rect x="105.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>power_sum_closed_forms — 30 cases</title></rect><rect x="114.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>invpow_fails_off_the_units — 18 cases</title></rect><rect x="122.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_double — 36 cases</title></rect><rect x="131.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_double — 36 cases</title></rect><rect x="139.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_double — 81 cases</title></rect><rect x="148.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_triple — 81 cases</title></rect><rect x="157.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_quadruple — 36 cases</title></rect><rect x="165.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_quadruple — 36 cases</title></rect><rect x="174.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_quadruple — 81 cases</title></rect><rect x="105.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_quadruple — 16 cases</title></rect><rect x="114.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_negate — 36 cases</title></rect><rect x="122.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_negate — 81 cases</title></rect><rect x="131.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_square — 36 cases</title></rect><rect x="139.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_square — 36 cases</title></rect><rect x="148.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_square — 81 cases</title></rect><rect x="157.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_square — 16 cases</title></rect><rect x="165.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_fourth — 36 cases</title></rect><rect x="174.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_fourth — 36 cases</title></rect><rect x="105.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_fourth — 81 cases</title></rect><rect x="114.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_fourth — 16 cases</title></rect><rect x="122.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_sixth — 36 cases</title></rect><rect x="131.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_sixth — 36 cases</title></rect><rect x="139.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_sixth — 81 cases</title></rect><rect x="148.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_sixth — 16 cases</title></rect><rect x="157.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_quintuple — 36 cases</title></rect><rect x="165.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_quintuple — 36 cases</title></rect><rect x="174.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_quintuple — 81 cases</title></rect><rect x="105.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_sextuple — 81 cases</title></rect><rect x="114.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_septuple — 36 cases</title></rect><rect x="122.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_septuple — 36 cases</title></rect><rect x="131.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_septuple — 81 cases</title></rect><rect x="139.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>squares_is_closed_under_septuple — 16 cases</title></rect><rect x="148.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>units_is_closed_under_octuple — 36 cases</title></rect><rect x="157.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>orbit_is_closed_under_octuple — 36 cases</title></rect><rect x="165.6" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>all_is_closed_under_octuple — 81 cases</title></rect><rect x="174.2" y="298.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_carries_cubes_onto_triad — 27 cases</title></rect><rect x="105.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="114.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="122.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="131.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="139.8" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="148.4" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="157.0" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_carries_cubes_onto_triad — 27 cases</title></rect><rect x="165.6" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_tetA_onto_tetB — 27 cases</title></rect><rect x="174.2" y="290.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_tetB_onto_tetA — 27 cases</title></rect><rect x="105.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>p_vs_np_inverse_is_unique — 81 cases</title></rect><rect x="114.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>hodge_span_is_the_units — 81 cases</title></rect><rect x="122.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>poincare_single_closed_loop — 36 cases</title></rect><rect x="131.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_seven_rest_on_one_finite_structure — 81 cases</title></rect><rect x="139.8" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_origin_annihilates_and_never_joins_the_circuit — 81 cases</title></rect><rect x="148.4" y="281.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>more_payloads_than_addresses_must_collide — 17 cases</title></rect><rect x="157.0" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>three_on_the_triad_and_four_on_the_units — 18 cases</title></rect><rect x="165.6" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_seven_roots_miss_four_residues — 36 cases</title></rect><rect x="174.2" y="281.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_absent_residues_are_the_primes_below_nine — 36 cases</title></rect><rect x="105.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>and_a_change_of_unit_destroys_it — 36 cases</title></rect><rect x="114.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>add_group — 81 cases</title></rect><rect x="122.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>nopayload_avalanche — 64 cases</title></rect><rect x="131.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>chess_board_64 — 64 cases</title></rect><rect x="139.8" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>tarot_major_0_21 — 22 cases</title></rect><rect x="148.4" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>repeated_doubling_is_the_power_of_two — 21 cases</title></rect><rect x="157.0" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_nine_times_table_always_digital_roots_to_nine — 60 cases</title></rect><rect x="165.6" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>collapse_selects_one_state_deterministically — 16 cases</title></rect><rect x="174.2" y="273.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>generation_is_deterministic — 16 cases</title></rect><rect x="105.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>stacked_triangles_are_tetrahedral — 40 cases</title></rect><rect x="114.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>merge_agrees — 16 cases</title></rect><rect x="122.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>empty_fold_agrees — 16 cases</title></rect><rect x="131.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>pair_fold_agrees — 16 cases</title></rect><rect x="139.8" y="264.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_zero_is_identity — 32 cases</title></rect><rect x="148.4" y="264.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>bouton_holds_at_every_heap_size_to_six — 49 cases</title></rect><rect x="157.0" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>receipt_is_order_invariant — 16 cases</title></rect><rect x="165.6" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>receipt_order_invariant_on_the_orbit — 36 cases</title></rect><rect x="174.2" y="264.4" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>naive_fold_is_not_order_invariant — 16 cases</title></rect><rect x="105.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_invariance_is_canonicalisation_not_physics — 16 cases</title></rect><rect x="114.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>a_classical_mixture_reaches_the_parity_ghz_never_does — 64 cases</title></rect><rect x="122.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>self_inverse_1_8 — 18 cases</title></rect><rect x="131.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>sum_1_to_9_zero — 81 cases</title></rect><rect x="139.8" y="255.8" width="7" height="7" rx="1.2" fill="hsl(80 62% 52%)"><title>doubling_digitroot_period6 — 36 cases</title></rect><rect x="148.4" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_is_not_the_identity — 90 cases</title></rect><rect x="157.0" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>palindromes_are_the_fixed_points — 90 cases</title></rect><rect x="165.6" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>emirps_exist_below_one_hundred — 90 cases</title></rect><rect x="174.2" y="255.8" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_does_not_preserve_primality — 90 cases</title></rect><rect x="105.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_at_even_indices — 20 cases</title></rect><rect x="114.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_at_odd_indices — 20 cases</title></rect><rect x="122.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>cassini_deviation_is_exactly_one — 20 cases</title></rect><rect x="131.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>lucas_mod_two_is_the_and_rule — 14 cases</title></rect><rect x="139.8" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pisano_twentyfour_is_four_sixes — 30 cases</title></rect><rect x="148.4" y="247.2" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>verification_grows_it_is_not_constant — 10 cases</title></rect><rect x="157.0" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_pairs_are_exactly_the_units_in_order — 60 cases</title></rect><rect x="165.6" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_coin_step_and_the_coins_are_inverse — 20 cases</title></rect><rect x="174.2" y="247.2" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>paying_and_refunding_coins_on_the_last_pair_round_trips — 27 cases</title></rect><rect x="105.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_orbit_turns_once_per_budget — 60 cases</title></rect><rect x="114.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_centre_is_five — 10 cases</title></rect><rect x="122.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_pairs_sum_to_ten — 11 cases</title></rect><rect x="131.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_is_not_an_involution_above_ten — 10 cases</title></rect><rect x="139.8" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_z9_reflection_permutes_the_units — 36 cases</title></rect><rect x="148.4" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_millennium_reflection_escapes_the_units — 36 cases</title></rect><rect x="157.0" y="238.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_is_the_vortex_reflection_shifted — 10 cases</title></rect><rect x="165.6" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_is_the_six — 36 cases</title></rect><rect x="174.2" y="238.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>triad_never_reaches_one — 12 cases</title></rect><rect x="105.4" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>squares_land_exactly_in_zero_one_four_seven — 16 cases</title></rect><rect x="114.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_has_period_six — 30 cases</title></rect><rect x="122.6" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_period_smaller_than_six — 60 cases</title></rect><rect x="131.2" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>orbit_digital_roots_have_period_six — 24 cases</title></rect><rect x="139.8" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pisano_period_mod_nine_is_twenty_four — 30 cases</title></rect><rect x="148.4" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>fibonacci_recurrence_holds — 20 cases</title></rect><rect x="157.0" y="230.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>consecutive_fibonacci_are_coprime — 25 cases</title></rect><text x="142.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10+</text><text x="142.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">151</text><rect x="204.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>distinct_inputs_give_distinct_addresses — 336 cases</title></rect><rect x="213.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>fibonacci_gcd_is_the_fibonacci_of_the_gcd — 196 cases</title></rect><rect x="222.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>legendres_three_square_theorem — 200 cases</title></rect><rect x="230.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>five_six_one_is_the_smallest_carmichael_number — 559 cases</title></rect><rect x="239.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_sum_of_fifth_powers_has_the_closed_form_asked_for — 380 cases</title></rect><rect x="247.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>wilsons_theorem_and_its_converse — 270 cases</title></rect><rect x="256.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>repunit_divisibility_by_three_and_seven — 324 cases</title></rect><rect x="265.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>odd_divisor_count_iff_perfect_square — 120 cases</title></rect><rect x="273.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_subtraction_game_loses_exactly_at_the_multiples_of_four — 369 cases</title></rect><rect x="204.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>an_odd_prime_is_a_sum_of_two_squares_exactly_when_it_is_one_mod_four — 197 cases</title></rect><rect x="213.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_hockey_stick_identity_holds_across_the_range — 209 cases</title></rect><rect x="222.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_two_to_one_is_forced_by_the_oxygen — 729 cases</title></rect><rect x="230.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>power_sums_match_their_closed_forms — 205 cases</title></rect><rect x="239.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_first_n_odd_numbers_sum_to_n_squared — 201 cases</title></rect><rect x="247.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_sums_of_triangular_numbers_are_the_tetrahedral_numbers — 101 cases</title></rect><rect x="256.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>polygonal_closed_forms_match_their_recurrences — 408 cases</title></rect><rect x="265.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digit_square_iteration_reaches_one_or_four — 200 cases</title></rect><rect x="273.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>a_number_is_a_sum_of_two_squares_exactly_when_fermats_condition_holds — 200 cases</title></rect><rect x="204.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_first_three_power_sums_hold_to_two_hundred — 603 cases</title></rect><rect x="213.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>mulperm_iff_unit_all — 324 cases</title></rect><rect x="222.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>addgen_iff_coprime_all — 486 cases</title></rect><rect x="230.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>hasinv_iff_unit_all — 486 cases</title></rect><rect x="239.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>primality_agrees_with_trial_division — 520 cases</title></rect><rect x="247.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_carries_units_onto_orbit — 216 cases</title></rect><rect x="256.4" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>double_carries_orbit_onto_units — 216 cases</title></rect><rect x="265.0" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>triple_carries_all_onto_triad — 243 cases</title></rect><rect x="273.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_carries_units_onto_orbit — 216 cases</title></rect><rect x="204.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quadruple_carries_orbit_onto_units — 216 cases</title></rect><rect x="213.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>negate_carries_orbit_onto_units — 216 cases</title></rect><rect x="222.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_units_onto_tetA — 108 cases</title></rect><rect x="230.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_orbit_onto_tetA — 108 cases</title></rect><rect x="239.2" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>square_carries_all_onto_squares — 324 cases</title></rect><rect x="247.8" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>cube_carries_all_onto_cubes — 243 cases</title></rect><rect x="256.4" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_units_onto_tetA — 108 cases</title></rect><rect x="265.0" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_orbit_onto_tetA — 108 cases</title></rect><rect x="273.6" y="341.8" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fourth_carries_all_onto_squares — 324 cases</title></rect><rect x="204.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_carries_units_onto_orbit — 216 cases</title></rect><rect x="213.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>fifth_carries_orbit_onto_units — 216 cases</title></rect><rect x="222.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="230.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>quintuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="239.2" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>sextuple_carries_all_onto_triad — 243 cases</title></rect><rect x="247.8" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="256.4" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>septuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="265.0" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_units_onto_orbit — 216 cases</title></rect><rect x="273.6" y="333.2" width="7" height="7" rx="1.2" fill="hsl(0 62% 52%)"><title>octuple_carries_orbit_onto_units — 216 cases</title></rect><rect x="204.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>riemann_reflection_and_heart — 100 cases</title></rect><rect x="213.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_does_not_determine_the_payload — 289 cases</title></rect><rect x="222.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_proof_is_smaller_than_its_set_across_the_octave — 255 cases</title></rect><rect x="230.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_chain_scales — 121 cases</title></rect><rect x="239.2" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_digitroot_is_residue_mod9 — 200 cases</title></rect><rect x="247.8" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>there_are_infinitely_many_pythagorean_triples — 100 cases</title></rect><rect x="256.4" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_difference_of_consecutive_squares_is_the_odd_numbers — 501 cases</title></rect><rect x="265.0" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_product_of_any_three_consecutive_integers_is_divisible_by_six — 500 cases</title></rect><rect x="273.6" y="324.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_wave_is_a_local_pure_derivation — 576 cases</title></rect><rect x="204.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>vitepress_hosts_the_content_address — 144 cases</title></rect><rect x="213.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_content_address_detects_any_change — 256 cases</title></rect><rect x="222.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_is_its_own_inverse — 256 cases</title></rect><rect x="230.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>xor_is_commutative — 256 cases</title></rect><rect x="239.2" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_preserves_digit_sum — 300 cases</title></rect><rect x="247.8" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>digital_root_is_invariant_under_reversal — 300 cases</title></rect><rect x="256.4" y="316.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>reversal_is_involutive_exactly_off_the_trailing_zeros — 300 cases</title></rect><rect x="265.0" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>pascal_has_both_parities — 196 cases</title></rect><rect x="273.6" y="316.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>thue_morse_doubling_recurrence — 200 cases</title></rect><rect x="204.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_preserves_the_parity_of_the_bits — 200 cases</title></rect><rect x="213.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_odd_step_sets_exactly_one_further_bit — 200 cases</title></rect><rect x="222.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_singles_are_exactly_the_non_units — 160 cases</title></rect><rect x="230.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>sixty_four_is_where_the_doubling_returns — 180 cases</title></rect><rect x="239.2" y="307.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_involution — 110 cases</title></rect><rect x="247.8" y="307.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>universal_reflection_reverses_the_domain — 121 cases</title></rect><rect x="256.4" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>digital_root_agrees_with_the_residue — 300 cases</title></rect><rect x="265.0" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>digital_root_is_the_digit_sum_residue — 300 cases</title></rect><rect x="273.6" y="307.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>reversal_cannot_change_the_digital_root — 300 cases</title></rect><rect x="204.8" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_orbit_never_meets_the_triad — 120 cases</title></rect><rect x="213.4" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>doubling_alone_reaches_only_the_units — 432 cases</title></rect><rect x="222.0" y="298.8" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>no_proper_divisor_of_twenty_four_is_a_period — 182 cases</title></rect><text x="241.5" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">100+</text><text x="241.5" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">75</text><rect x="304.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>the_address_is_sixteen_bytes_whatever_the_input_length — 4,368 cases</title></rect><rect x="312.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_parity_of_popcount_is_the_xor_of_the_bits — 1,024 cases</title></rect><rect x="321.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_chinese_remainder_theorem_holds_exactly_when_the_moduli_are_coprime — 8,505 cases</title></rect><rect x="330.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>eight_and_nine_are_the_only_consecutive_perfect_powers_below_two_thousand — 1,999 cases</title></rect><rect x="338.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>havel_hakimi_decides_graphical_sequences — 1,200 cases</title></rect><rect x="347.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>three_is_the_only_prime_one_less_than_a_square_in_this_range — 1,560 cases</title></rect><rect x="355.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_whole_ring_is_not_regular_and_the_triad_is_why — 1,458 cases</title></rect><rect x="364.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>navier_stokes_flow_is_bounded — 2,304 cases</title></rect><rect x="373.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(200 62% 52%)"><title>a_saving_never_exceeds_its_value — 1,600 cases</title></rect><rect x="304.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>content_address_is_keyless_integrity — 1,512 cases</title></rect><rect x="312.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>casting_out_nines_is_multiplicative — 3,481 cases</title></rect><rect x="321.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>a_sensor_reading_addresses_to_a_uuid — 6,561 cases</title></rect><rect x="330.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_fusion_of_site_and_user_is_deterministic — 2,401 cases</title></rect><rect x="338.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>sums_of_two_squares_are_closed — 4,096 cases</title></rect><rect x="347.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_unit_table_is_a_latin_square — 1,296 cases</title></rect><text x="340.9" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">1,000+</text><text x="340.9" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">15</text><rect x="403.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>nicomachus_sum_of_cubes_is_the_square_of_the_triangular_number — 30,400 cases</title></rect><rect x="412.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>two_twenty_and_two_eighty_four_are_the_smallest_amicable_pair — 95,048 cases</title></rect><rect x="420.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_area_of_an_integer_right_triangle_is_a_multiple_of_six — 96,000 cases</title></rect><rect x="429.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_powers_of_two_mod_nine_and_of_three_mod_seven_are_isomorphic — 46,656 cases</title></rect><rect x="438.0" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>a_chain_of_efficiencies_can_only_lose — 10,201 cases</title></rect><rect x="446.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>mass_is_conserved_at_every_scale_so_the_loop_cannot_make_water — 10,000 cases</title></rect><rect x="455.2" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digital_root_is_invariant_under_digit_reversal — 10,000 cases</title></rect><rect x="463.8" y="367.6" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_digit_sum_rules_for_three_and_nine_hold_below_ten_thousand — 10,000 cases</title></rect><rect x="472.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>the_three_non_units_are_exactly_the_unreachable — 19,683 cases</title></rect><rect x="403.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_superposition_collapse — 10,000 cases</title></rect><rect x="412.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>relation_url_path — 14,641 cases</title></rect><rect x="420.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_perspective_is_a_distinct_file — 28,561 cases</title></rect><rect x="429.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>intentions_are_shown_by_receipts_not_role — 10,404 cases</title></rect><rect x="438.0" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_theorem_is_a_superposition_of_readings — 22,308 cases</title></rect><rect x="446.6" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_theorems_are_the_hull_and_hardware — 41,160 cases</title></rect><rect x="455.2" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_intention_is_a_computable_deed_receipt — 23,104 cases</title></rect><rect x="463.8" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>every_error_is_a_receipted_trial_event — 15,876 cases</title></rect><rect x="472.4" y="359.0" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>every_warning_is_a_receipted_trial_event — 12,138 cases</title></rect><rect x="403.6" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>each_suggested_next_is_content_addressed — 10,000 cases</title></rect><rect x="412.2" y="350.4" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_rejected_command_gets_a_receipt — 44,100 cases</title></rect><rect x="420.8" y="350.4" width="7" height="7" rx="1.2" fill="hsl(240 62% 52%)"><title>the_sequence_takes_both_values — 40,000 cases</title></rect><text x="440.3" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10,000+</text><text x="440.3" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">21</text><text x="539.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">100,000+</text><text x="539.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="602.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>gravity_holds_prose_code_and_paths — 7,529,536 cases</title></rect><text x="639.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^6</text><text x="639.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="738.5" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^7</text><text x="738.5" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><text x="837.9" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^8</text><text x="837.9" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="900.6" y="367.6" width="7" height="7" rx="1.2" fill="hsl(320 62% 52%)"><title>the_nim_sum_is_a_gf2_vector_addition — 4,294,967,296 cases</title></rect><text x="937.3" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^9</text><text x="937.3" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="1036.7" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^10</text><text x="1036.7" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">0</text><rect x="1099.4" y="367.6" width="7" height="7" rx="1.2" fill="hsl(280 62% 52%)"><title>bezouts_identity_is_attained_and_no_smaller_combination_exists — 152,568,360,000 cases</title></rect><text x="1136.1" y="386.59999999999997" font-size="13" text-anchor="middle" fill="currentColor" opacity="0.8">10^11</text><text x="1136.1" y="401.59999999999997" font-size="12" text-anchor="middle" fill="currentColor" opacity="0.5">1</text><text x="6" y="13" font-size="12" fill="currentColor" opacity="0.65">cases the kernel exhausted, per theorem (log₁₀ buckets) — one square is one theorem</text></svg>
24
24
  <figcaption><strong>Figure 1.</strong> All 628 declarations, one square each, placed by the size of the domain its proof exhausted (log₁₀ buckets). Colour is the wing. The right-hand tail is a single theorem; the mass is at nine cases.</figcaption>
25
25
  </figure>
26
26
 
@@ -35,7 +35,7 @@ Each theorem is a proposition over a finite domain, discharged by exhaustion: th
35
35
 
36
36
  <h2 class="paper-h">How to read this document</h2>
37
37
 
38
- Sections are the Lean source files, ordered by the wing each declares in its own frontmatter; the prose under a section heading is that file's own header comment, and the remark under a theorem is the comment written above it in the source. Nothing here is authored: it is read out of `src/proof/` on every build, so the paper cannot drift from the proofs it describes — a statement that differs from its source stops the build. A remark under a theorem is printed only when the source comment is that theorem's own: **460** of 628 have one. A comment that belongs to the enclosing section is not repeated under each theorem it precedes, because it is context for the section and not a statement about any one of them. Integrity, not truth. 0/7.
38
+ Sections are the Lean source files, ordered by the wing each declares in its own frontmatter; the prose under a section heading is that file's own header comment, and the remark under a theorem is the comment written above it in the source. Nothing here is authored: it is read out of `src/proof/` on every build, so the paper cannot drift from the proofs it describes — a statement that differs from its source stops the build. A remark under a theorem is printed only when the source comment is that theorem's own: **463** of 628 have one. A comment that belongs to the enclosing section is not repeated under each theorem it precedes, because it is context for the section and not a statement about any one of them. Integrity, not truth. 0/7.
39
39
 
40
40
  <h2 class="paper-h">Contents</h2>
41
41
 
@@ -760,13 +760,13 @@ nonzero := [1, 2, 3, 4, 5, 6, 7, 8, 9]</code></pre>
760
760
  <p class="thm-remark">And what does escape falls straight back in, so the coin has no outside.</p>
761
761
  <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
762
762
 
763
- <div class="thm" id="thm-coin-the_digits_are_ten">
764
- <p class="thm-label"><strong>Theorem 63</strong> (<code>the_digits_are_ten</code>)<a class="thm-cite" href="/theorem/lean_coin_the_digits_are_ten">sealed</a>.</p>
765
- <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mo>|</mo><mi>digits</mi><mo>|</mo></mrow><mo>=</mo><mn>10</mn></mrow></math></div>
766
- <pre class="thm-statement"><code>digits.length = 10</code></pre>
767
- <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\left|\mathrm{digits}\right| = 10</code></pre></details>
763
+ <div class="thm" id="thm-coin-the_nines_complement_pairs_the_ten_digits">
764
+ <p class="thm-label"><strong>Theorem 63</strong> (<code>the_nines_complement_pairs_the_ten_digits</code>)<a class="thm-cite" href="/theorem/lean_coin_the_nines_complement_pairs_the_ten_digits">sealed</a>.</p>
765
+ <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mo>∀</mo><mi>d</mi><mo>∈</mo><mi>digits</mi><mo>,</mo><mrow><mrow><mrow><mrow><mn>9</mn><mo>-</mo><mi>d</mi></mrow><mo>∈</mo><mi>digits</mi></mrow><mo>∧</mo><mrow><mrow><mn>9</mn><mo>-</mo><mrow><mn>9</mn><mo>-</mo><mi>d</mi></mrow></mrow><mo>=</mo><mi>d</mi></mrow></mrow><mo>∧</mo><mrow><mrow><mn>9</mn><mo>-</mo><mi>d</mi></mrow><mo>≠</mo><mi>d</mi></mrow></mrow></mrow><mo>∧</mo><mrow><mrow><mrow><mo>|</mo><mrow><mo>{</mo><mi>d</mi><mo>∈</mo><mi>digits</mi><mo>∣</mo><mrow><mi>d</mi><mo>&lt;</mo><mrow><mn>9</mn><mo>-</mo><mi>d</mi></mrow></mrow><mo>}</mo></mrow><mo>|</mo></mrow><mo>⋅</mo><mn>2</mn></mrow><mo>=</mo><mrow><mo>|</mo><mi>digits</mi><mo>|</mo></mrow></mrow></mrow></math></div>
766
+ <pre class="thm-statement"><code>digits.all (fun d =&gt; digits.contains (9 - d) &amp;&amp; 9 - (9 - d) == d &amp;&amp; 9 - d != d) ∧ (digits.filter (fun d =&gt; d &lt; 9 - d)).length * 2 = digits.length</code></pre>
767
+ <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\forall d \in \mathrm{digits},\; 9 - d \in \mathrm{digits} \land 9 - 9 - d = d \land 9 - d \neq d \land \left|\{\, d \in \mathrm{digits} \mid d &lt; 9 - d \,\}\right| \cdot 2 = \left|\mathrm{digits}\right|</code></pre></details>
768
768
  </div>
769
- <p class="thm-remark">── THE REFUSAL, as a theorem so it is checked and not merely written ──────────────────────────────────── The count of ASTROPHYSICAL claims this file makes. Gravity here is the fall to a fixed point, decided above; a black hole is not, and no proposition in this file mentions one. and the words that would make it one appear in the header as the thing being refused, never in a proposition. This file carries NO marker either way. It decides a reflection on ten digits; there is no physical claim available to make boldly and none to refuse — inventing one in either direction would be the numerology priorart.lean refuses elsewhere. A file with nothing to claim says nothing, which is not the same as a file that claims nothing. There was a `def physicalClaims : Nat := 0` here, decided against its own literal. The comment beside it argued that "written as one it would be equally green" — which is the proof that it certified nothing in EITHER direction: the number was zero because it was typed as zero, and would stay zero while the file filled with claims about the sky. Whether a proposition names a physical quantity is a fact about this file's TEXT, and Lean cannot read its own text. The refusal now lives in `contradictions.ts`, which reads the propositions and can go red. What is kept here is the conjunct that was always read off a real list.</p>
769
+ <p class="thm-remark">── THE REFUSAL, as a theorem so it is checked and not merely written ──────────────────────────────────── The count of ASTROPHYSICAL claims this file makes. Gravity here is the fall to a fixed point, decided above; a black hole is not, and no proposition in this file mentions one. and the words that would make it one appear in the header as the thing being refused, never in a proposition. This file carries NO marker either way. It decides a reflection on ten digits; there is no physical claim available to make boldly and none to refuse — inventing one in either direction would be the numerology priorart.lean refuses elsewhere. A file with nothing to claim says nothing, which is not the same as a file that claims nothing. There was a `def physicalClaims : Nat := 0` here, decided against its own literal. The comment beside it argued that "written as one it would be equally green" — which is the proof that it certified nothing in EITHER direction: the number was zero because it was typed as zero, and would stay zero while the file filled with claims about the sky. Whether a proposition names a physical quantity is a fact about this file's TEXT, and Lean cannot read its own text. The refusal now lives in `contradictions.ts`, which reads the propositions and can go red. What is kept here is the conjunct that was always read off a real list. The nines complement pairs the ten digits: d ↦ 9 − d maps them onto themselves, undoes itself and fixes none, so they fall into five pairs — the ten is the size of the pairing, not a length typed beside it.</p>
770
770
  <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
771
771
 
772
772
 
@@ -1891,21 +1891,23 @@ sealBits := 128</code></pre>
1891
1891
  </div>
1892
1892
  <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1893
1893
 
1894
- <div class="thm" id="thm-split-the_coin_step_is_three_times_the_two_coins">
1895
- <p class="thm-label"><strong>Theorem 175</strong> (<code>the_coin_step_is_three_times_the_two_coins</code>)<a class="thm-cite" href="/theorem/lean_split_the_coin_step_is_three_times_the_two_coins">sealed</a>.</p>
1896
- <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mrow><mi>coins</mi><mo>=</mo><mn>2</mn></mrow><mo>∧</mo><mrow><mi>coinStep</mi><mo>=</mo><mn>6</mn></mrow></mrow><mo>∧</mo><mrow><mi>coinStep</mi><mo>=</mo><mrow><mn>3</mn><mo>⋅</mo><mn>2</mn></mrow></mrow></mrow></math></div>
1897
- <pre class="thm-statement"><code>coins = 2 ∧ coinStep = 6 ∧ coinStep = 3 * 2</code></pre>
1898
- <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\mathrm{coins} = 2 \land \mathrm{coinStep} = 6 \land \mathrm{coinStep} = 3 \cdot 2</code></pre></details>
1894
+ <div class="thm" id="thm-split-the_coin_step_and_the_coins_are_inverse">
1895
+ <p class="thm-label"><strong>Theorem 175</strong> (<code>the_coin_step_and_the_coins_are_inverse</code>)<a class="thm-cite" href="/theorem/lean_split_the_coin_step_and_the_coins_are_inverse">sealed</a>.</p>
1896
+ <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mrow><mo>∀</mo><mi>c</mi><mo>∈</mo><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mo>…</mo><mo>,</mo><mn>19</mn><mo>}</mo></mrow><mo>,</mo><mrow><mrow><mfrac><mrow><mn>3</mn><mo>⋅</mo><mi>c</mi></mrow><mn>3</mn></mfrac><mo>=</mo><mi>c</mi></mrow><mo>∧</mo><mrow><mrow><mrow><mn>3</mn><mo>⋅</mo><mi>c</mi></mrow><mo>mod</mo><mn>3</mn></mrow><mo>=</mo><mn>0</mn></mrow></mrow></mrow><mo>∧</mo><mrow><mi>coinStep</mi><mo>=</mo><mrow><mn>3</mn><mo>⋅</mo><mi>coins</mi></mrow></mrow></mrow><mo>∧</mo><mrow><mfrac><mi>coinStep</mi><mn>3</mn></mfrac><mo>=</mo><mi>coins</mi></mrow></mrow></math></div>
1897
+ <pre class="thm-statement"><code>((List.range 20).all (fun c =&gt; 3 * c / 3 == c &amp;&amp; (3 * c) % 3 == 0)) ∧ coinStep = 3 * coins ∧ coinStep / 3 = coins</code></pre>
1898
+ <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\forall c \in \{0,\dots,19\},\; \frac{3 \cdot c}{3} = c \land 3 \cdot c \bmod 3 = 0 \land \mathrm{coinStep} = 3 \cdot \mathrm{coins} \land \frac{\mathrm{coinStep}}{3} = \mathrm{coins}</code></pre></details>
1899
1899
  </div>
1900
- <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1900
+ <p class="thm-remark">The coin step and the coins are INVERSE: tripling and dividing by three undo each other at every count below twenty, and the step is the instance at the two coins — derived by the law, not typed beside it.</p>
1901
+ <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — exhausting 20 cases. <span class="qed">□</span></p>
1901
1902
 
1902
- <div class="thm" id="thm-split-accounting_the_coins_on_the_last_pair">
1903
- <p class="thm-label"><strong>Theorem 176</strong> (<code>accounting_the_coins_on_the_last_pair</code>)<a class="thm-cite" href="/theorem/lean_split_accounting_the_coins_on_the_last_pair">sealed</a>.</p>
1904
- <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mrow><mn>78</mn><mo>=</mo><mrow><mn>3</mn><mo>⋅</mo><mn>26</mn></mrow></mrow><mo>∧</mo><mrow><mrow><mn>3</mn><mo>⋅</mo><mrow><mn>26</mn><mo>-</mo><mi>coins</mi></mrow></mrow><mo>=</mo><mn>72</mn></mrow></mrow><mo>∧</mo><mrow><mn>72</mn><mo>=</mo><mrow><mn>8</mn><mo>⋅</mo><mn>9</mn></mrow></mrow></mrow></math></div>
1905
- <pre class="thm-statement"><code>78 = 3 * 26 ∧ 3 * (26 - coins) = 72 ∧ 72 = 8 * 9</code></pre>
1906
- <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>78 = 3 \cdot 26 \land 3 \cdot 26 - \mathrm{coins} = 72 \land 72 = 8 \cdot 9</code></pre></details>
1903
+ <div class="thm" id="thm-split-paying_and_refunding_coins_on_the_last_pair_round_trips">
1904
+ <p class="thm-label"><strong>Theorem 176</strong> (<code>paying_and_refunding_coins_on_the_last_pair_round_trips</code>)<a class="thm-cite" href="/theorem/lean_split_paying_and_refunding_coins_on_the_last_pair_round_trips">sealed</a>.</p>
1905
+ <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mrow><mo>∀</mo><mi>k</mi><mo>∈</mo><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mo>…</mo><mo>,</mo><mn>26</mn><mo>}</mo></mrow><mo>,</mo><mrow><mrow><mrow><mn>3</mn><mo>⋅</mo><mrow><mn>26</mn><mo>-</mo><mi>k</mi></mrow></mrow><mo>+</mo><mrow><mn>3</mn><mo>⋅</mo><mi>k</mi></mrow></mrow><mo>=</mo><mn>78</mn></mrow></mrow><mo>∧</mo><mrow><mrow><mn>3</mn><mo>⋅</mo><mrow><mn>26</mn><mo>-</mo><mi>coins</mi></mrow></mrow><mo>=</mo><mn>72</mn></mrow></mrow><mo>∧</mo><mrow><mn>72</mn><mo>=</mo><mrow><mn>8</mn><mo>⋅</mo><mn>9</mn></mrow></mrow></mrow></math></div>
1906
+ <pre class="thm-statement"><code>((List.range 27).all (fun k =&gt; 3 * (26 - k) + 3 * k == 78)) ∧ 3 * (26 - coins) = 72 ∧ 72 = 8 * 9</code></pre>
1907
+ <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\forall k \in \{0,\dots,26\},\; 3 \cdot 26 - k + 3 \cdot k = 78 \land 3 \cdot 26 - \mathrm{coins} = 72 \land 72 = 8 \cdot 9</code></pre></details>
1907
1908
  </div>
1908
- <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1909
+ <p class="thm-remark">Paying and refunding round-trip on the last pair: whatever k of its 26 coins are paid, the paid part and the rest recombine to 78 = 3 · 26; the two coins are the instance, leaving 72 = 8 · 9.</p>
1910
+ <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — exhausting 27 cases. <span class="qed">□</span></p>
1909
1911
 
1910
1912
  <div class="thm" id="thm-split-the_exhaustible_tokens_are_those_six_divides">
1911
1913
  <p class="thm-label"><strong>Theorem 177</strong> (<code>the_exhaustible_tokens_are_those_six_divides</code>)<a class="thm-cite" href="/theorem/lean_split_the_exhaustible_tokens_are_those_six_divides">sealed</a>.</p>
@@ -1942,13 +1944,14 @@ sealBits := 128</code></pre>
1942
1944
  <p class="thm-remark">I tried to write the opposite of this and the kernel refused it. The claim was that a bare step of 2 sorts the seven differently from the coin step of 3·2 — that the scaling into the ideal is what does the work. It is FALSE, and the reason is the better fact: every token is already a multiple of three, so 2 ∣ t and 6 ∣ t are the SAME condition here. The coin does not need to be scaled to sort them; the ideal has already done that half of the work.</p>
1943
1945
  <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1944
1946
 
1945
- <div class="thm" id="thm-split-the_seal_affords_sixty_four_payments_of_two">
1946
- <p class="thm-label"><strong>Theorem 181</strong> (<code>the_seal_affords_sixty_four_payments_of_two</code>)<a class="thm-cite" href="/theorem/lean_split_the_seal_affords_sixty_four_payments_of_two">sealed</a>.</p>
1947
- <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mrow><mfrac><mi>sealBits</mi><mi>coins</mi></mfrac><mo>=</mo><mn>64</mn></mrow><mo>∧</mo><mrow><mn>64</mn><mo>=</mo><msup><mn>2</mn><mn>6</mn></msup></mrow></mrow><mo>∧</mo><mrow><mi>sealBits</mi><mo>=</mo><mrow><mn>64</mn><mo>⋅</mo><mi>coins</mi></mrow></mrow></mrow></math></div>
1948
- <pre class="thm-statement"><code>sealBits / coins = 64 ∧ 64 = 2 ^ 6 ∧ sealBits = 64 * coins</code></pre>
1949
- <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\frac{\mathrm{sealBits}}{\mathrm{coins}} = 64 \land 64 = 2^{6} \land \mathrm{sealBits} = 64 \cdot \mathrm{coins}</code></pre></details>
1947
+ <div class="thm" id="thm-split-a_seal_divides_into_payments_and_multiplies_back">
1948
+ <p class="thm-label"><strong>Theorem 181</strong> (<code>a_seal_divides_into_payments_and_multiplies_back</code>)<a class="thm-cite" href="/theorem/lean_split_a_seal_divides_into_payments_and_multiplies_back">sealed</a>.</p>
1949
+ <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mo>∀</mo><mi>c</mi><mo>∈</mo><mrow><mo>[</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mn>4</mn><mo>,</mo><mn>8</mn><mo>,</mo><mn>16</mn><mo>,</mo><mn>32</mn><mo>,</mo><mn>64</mn><mo>,</mo><mn>128</mn><mo>]</mo></mrow><mo>,</mo><mrow><mrow><mrow><mfrac><mi>sealBits</mi><mi>c</mi></mfrac><mo>⋅</mo><mi>c</mi></mrow><mo>=</mo><mi>sealBits</mi></mrow><mo>∧</mo><mrow><mfrac><mi>sealBits</mi><mfrac><mi>sealBits</mi><mi>c</mi></mfrac></mfrac><mo>=</mo><mi>c</mi></mrow></mrow></mrow><mo>∧</mo><mrow><mfrac><mi>sealBits</mi><mi>coins</mi></mfrac><mo>=</mo><msup><mn>2</mn><mn>6</mn></msup></mrow></mrow></math></div>
1950
+ <pre class="thm-statement"><code>([1, 2, 4, 8, 16, 32, 64, 128].all (fun c =&gt; (sealBits / c) * c == sealBits &amp;&amp; sealBits / (sealBits / c) == c)) ∧ sealBits / coins = 2 ^ 6</code></pre>
1951
+ <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\forall c \in [1,\,2,\,4,\,8,\,16,\,32,\,64,\,128],\; \frac{\mathrm{sealBits}}{c} \cdot c = \mathrm{sealBits} \land \frac{\mathrm{sealBits}}{\frac{\mathrm{sealBits}}{c}} = c \land \frac{\mathrm{sealBits}}{\mathrm{coins}} = 2^{6}</code></pre></details>
1950
1952
  </div>
1951
- <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1953
+ <p class="thm-remark">A seal divides into payments and multiplies back: for every power of two up to the seal, splitting the seal into that many parts and recombining them returns it; the two coins are the instance, 64 = 2 ^ 6 payments.</p>
1954
+ <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — exhausting 8 cases. <span class="qed">□</span></p>
1952
1955
 
1953
1956
  <div class="thm" id="thm-split-sixty_four_is_where_the_doubling_returns">
1954
1957
  <p class="thm-label"><strong>Theorem 182</strong> (<code>sixty_four_is_where_the_doubling_returns</code>)<a class="thm-cite" href="/theorem/lean_split_sixty_four_is_where_the_doubling_returns">sealed</a>.</p>
@@ -1958,14 +1961,14 @@ sealBits := 128</code></pre>
1958
1961
  </div>
1959
1962
  <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — exhausting 180 cases. <span class="qed">□</span></p>
1960
1963
 
1961
- <div class="thm" id="thm-split-the_budget_and_the_period_are_one_turn">
1962
- <p class="thm-label"><strong>Theorem 183</strong> (<code>the_budget_and_the_period_are_one_turn</code>)<a class="thm-cite" href="/theorem/lean_split_the_budget_and_the_period_are_one_turn">sealed</a>.</p>
1963
- <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mfrac><mi>sealBits</mi><mi>coins</mi></mfrac><mo>=</mo><msup><mn>2</mn><mn>6</mn></msup></mrow><mo>∧</mo><mrow><mrow><msup><mn>2</mn><mn>6</mn></msup><mo>mod</mo><mn>9</mn></mrow><mo>=</mo><mn>1</mn></mrow></mrow></math></div>
1964
- <pre class="thm-statement"><code>sealBits / coins = 2 ^ 6 ∧ (2 ^ 6) % 9 = 1</code></pre>
1965
- <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\frac{\mathrm{sealBits}}{\mathrm{coins}} = 2^{6} \land 2^{6} \bmod 9 = 1</code></pre></details>
1964
+ <div class="thm" id="thm-split-the_orbit_turns_once_per_budget">
1965
+ <p class="thm-label"><strong>Theorem 183</strong> (<code>the_orbit_turns_once_per_budget</code>)<a class="thm-cite" href="/theorem/lean_split_the_orbit_turns_once_per_budget">sealed</a>.</p>
1966
+ <div class="thm-math" role="math" aria-label="the statement, typeset"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mrow><mo>∀</mo><mi>n</mi><mo>∈</mo><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mo>…</mo><mo>,</mo><mn>59</mn><mo>}</mo></mrow><mo>,</mo><mrow><mrow><msup><mn>2</mn><mrow><mi>n</mi><mo>+</mo><mn>6</mn></mrow></msup><mo>mod</mo><mn>9</mn></mrow><mo>=</mo><mrow><msup><mn>2</mn><mi>n</mi></msup><mo>mod</mo><mn>9</mn></mrow></mrow></mrow><mo>∧</mo><mrow><msup><mn>2</mn><mn>6</mn></msup><mo>=</mo><mfrac><mi>sealBits</mi><mi>coins</mi></mfrac></mrow></mrow></math></div>
1967
+ <pre class="thm-statement"><code>((List.range 60).all (fun n =&gt; 2 ^ (n + 6) % 9 == 2 ^ n % 9)) ∧ 2 ^ 6 = sealBits / coins</code></pre>
1968
+ <details class="thm-tex"><summary>LaTeX source</summary><pre class="thm-latex"><code>\forall n \in \{0,\dots,59\},\; 2^{n + 6} \bmod 9 = 2^{n} \bmod 9 \land 2^{6} = \frac{\mathrm{sealBits}}{\mathrm{coins}}</code></pre></details>
1966
1969
  </div>
1967
- <p class="thm-remark">The two readings meet: the budget a seal affords and the period of the orbit are the same six.</p>
1968
- <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — by evaluation; no domain is walked. <span class="qed">□</span></p>
1970
+ <p class="thm-remark">The two readings meet: the budget a seal affords and the period of the orbit are the same six. The orbit turns once per budget: doubling returns to the same residue after six steps at every one of the first sixty, and the budget a seal affords is two to that six.</p>
1971
+ <p class="thm-proof"><em>Proof.</em> <code>by decide</code> — exhausting 60 cases. <span class="qed">□</span></p>
1969
1972
 
1970
1973
 
1971
1974
  ### The ring ℤ/9 {#z9}
@@ -6556,12 +6559,12 @@ triad := [3, 6, 9]</code></pre>
6556
6559
  <a href="#thm-ledgerclaims-a_proof_is_smaller_than_its_set_across_the_octave"><code>a_proof_is_smaller_than_its_set_across_the_octave</code> <span>ledgerclaims.lean</span></a>
6557
6560
  <a href="#thm-mechanical-a_reflexive_address_claim_holds_for_a_constant_function"><code>a_reflexive_address_claim_holds_for_a_constant_function</code> <span>mechanical.lean</span></a>
6558
6561
  <a href="#thm-ledgerclaims-a_saving_never_exceeds_its_value"><code>a_saving_never_exceeds_its_value</code> <span>ledgerclaims.lean</span></a>
6562
+ <a href="#thm-split-a_seal_divides_into_payments_and_multiplies_back"><code>a_seal_divides_into_payments_and_multiplies_back</code> <span>split.lean</span></a>
6559
6563
  <a href="#thm-ledgerclaims-a_seal_is_128_bits"><code>a_seal_is_128_bits</code> <span>ledgerclaims.lean</span></a>
6560
6564
  <a href="#thm-mechanical-a_sensor_reading_addresses_to_a_uuid"><code>a_sensor_reading_addresses_to_a_uuid</code> <span>mechanical.lean</span></a>
6561
6565
  <a href="#thm-mechanical-a_theorem_responds_in_a_receipt"><code>a_theorem_responds_in_a_receipt</code> <span>mechanical.lean</span></a>
6562
6566
  <a href="#thm-mechanical-a432_factors_as_two_to_the_fourth_times_three_cubed"><code>a432_factors_as_two_to_the_fourth_times_three_cubed</code> <span>mechanical.lean</span></a>
6563
6567
  <a href="#thm-mechanical-a432_octave_doubling"><code>a432_octave_doubling</code> <span>mechanical.lean</span></a>
6564
- <a href="#thm-split-accounting_the_coins_on_the_last_pair"><code>accounting_the_coins_on_the_last_pair</code> <span>split.lean</span></a>
6565
6568
  <a href="#thm-mechanical-add_group"><code>add_group</code> <span>mechanical.lean</span></a>
6566
6569
  <a href="#thm-z9-add_group"><code>add_group</code> <span>z9.lean</span></a>
6567
6570
  <a href="#thm-z9-addgen_iff_coprime"><code>addgen_iff_coprime</code> <span>z9.lean</span></a>
@@ -6820,6 +6823,7 @@ triad := [3, 6, 9]</code></pre>
6820
6823
  <a href="#thm-families-pascal_alternating_sums_vanish"><code>pascal_alternating_sums_vanish</code> <span>families.lean</span></a>
6821
6824
  <a href="#thm-sequences-pascal_has_both_parities"><code>pascal_has_both_parities</code> <span>sequences.lean</span></a>
6822
6825
  <a href="#thm-families-pascal_rows_sum_to_powers_of_two"><code>pascal_rows_sum_to_powers_of_two</code> <span>families.lean</span></a>
6826
+ <a href="#thm-split-paying_and_refunding_coins_on_the_last_pair_round_trips"><code>paying_and_refunding_coins_on_the_last_pair_round_trips</code> <span>split.lean</span></a>
6823
6827
  <a href="#thm-quantum-perms_of_four_is_factorial"><code>perms_of_four_is_factorial</code> <span>quantum.lean</span></a>
6824
6828
  <a href="#thm-demand2-picks_theorem_holds_for_every_lattice_triangle_in_the_four_grid"><code>picks_theorem_holds_for_every_lattice_triangle_in_the_four_grid</code> <span>demand2.lean</span></a>
6825
6829
  <a href="#thm-z9plus-pisano_period_mod_nine_is_twenty_four"><code>pisano_period_mod_nine_is_twenty_four</code> <span>z9plus.lean</span></a>
@@ -6945,7 +6949,6 @@ triad := [3, 6, 9]</code></pre>
6945
6949
  <a href="#thm-elementary-the_area_of_an_integer_right_triangle_is_a_multiple_of_six"><code>the_area_of_an_integer_right_triangle_is_a_multiple_of_six</code> <span>elementary.lean</span></a>
6946
6950
  <a href="#thm-merkaba-the_axis_is_closed_under_doubling"><code>the_axis_is_closed_under_doubling</code> <span>merkaba.lean</span></a>
6947
6951
  <a href="#thm-speed-the_break_even_is_the_ratio_of_verifications"><code>the_break_even_is_the_ratio_of_verifications</code> <span>speed.lean</span></a>
6948
- <a href="#thm-split-the_budget_and_the_period_are_one_turn"><code>the_budget_and_the_period_are_one_turn</code> <span>split.lean</span></a>
6949
6952
  <a href="#thm-demand3-the_cantor_pairing_is_injective_and_covers_an_initial_segment"><code>the_cantor_pairing_is_injective_and_covers_an_initial_segment</code> <span>demand3.lean</span></a>
6950
6953
  <a href="#thm-mechanical-the_cardinality_claims_hold_of_any_four_symbol_alphabet"><code>the_cardinality_claims_hold_of_any_four_symbol_alphabet</code> <span>mechanical.lean</span></a>
6951
6954
  <a href="#thm-families-the_catalan_recurrence_matches_the_binomial_formula"><code>the_catalan_recurrence_matches_the_binomial_formula</code> <span>families.lean</span></a>
@@ -6955,7 +6958,7 @@ triad := [3, 6, 9]</code></pre>
6955
6958
  <a href="#thm-rights-the_claimed_are_copyright_moral_rights_and_the_database"><code>the_claimed_are_copyright_moral_rights_and_the_database</code> <span>rights.lean</span></a>
6956
6959
  <a href="#thm-rights-the_claimed_set_is_exactly_those_three_and_the_unregistered_mark"><code>the_claimed_set_is_exactly_those_three_and_the_unregistered_mark</code> <span>rights.lean</span></a>
6957
6960
  <a href="#thm-coin-the_classes_partition_the_nine"><code>the_classes_partition_the_nine</code> <span>coin.lean</span></a>
6958
- <a href="#thm-split-the_coin_step_is_three_times_the_two_coins"><code>the_coin_step_is_three_times_the_two_coins</code> <span>split.lean</span></a>
6961
+ <a href="#thm-split-the_coin_step_and_the_coins_are_inverse"><code>the_coin_step_and_the_coins_are_inverse</code> <span>split.lean</span></a>
6959
6962
  <a href="#thm-involution-the_coins_reflection_is_harmonic_and_is_one_of_the_ninety"><code>the_coins_reflection_is_harmonic_and_is_one_of_the_ninety</code> <span>involution.lean</span></a>
6960
6963
  <a href="#thm-involution-the_constant_sum_is_rare"><code>the_constant_sum_is_rare</code> <span>involution.lean</span></a>
6961
6964
  <a href="#thm-elementary-the_count_of_primitive_roots_is_phi_of_phi"><code>the_count_of_primitive_roots_is_phi_of_phi</code> <span>elementary.lean</span></a>
@@ -6972,7 +6975,6 @@ triad := [3, 6, 9]</code></pre>
6972
6975
  <a href="#thm-families-the_digit_sum_rules_for_three_and_nine_hold_below_ten_thousand"><code>the_digit_sum_rules_for_three_and_nine_hold_below_ten_thousand</code> <span>families.lean</span></a>
6973
6976
  <a href="#thm-families-the_digital_root_is_invariant_under_digit_reversal"><code>the_digital_root_is_invariant_under_digit_reversal</code> <span>families.lean</span></a>
6974
6977
  <a href="#thm-mechanical-the_digital_root_of_seven_to_the_k_has_period_three"><code>the_digital_root_of_seven_to_the_k_has_period_three</code> <span>mechanical.lean</span></a>
6975
- <a href="#thm-coin-the_digits_are_ten"><code>the_digits_are_ten</code> <span>coin.lean</span></a>
6976
6978
  <a href="#thm-mechanical-the_digits_one_to_nine_sum_to_forty_five_rooting_to_nine"><code>the_digits_one_to_nine_sum_to_forty_five_rooting_to_nine</code> <span>mechanical.lean</span></a>
6977
6979
  <a href="#thm-mechanical-the_doubling_orbit_reflection_pairs_sum_to_nine"><code>the_doubling_orbit_reflection_pairs_sum_to_nine</code> <span>mechanical.lean</span></a>
6978
6980
  <a href="#thm-elementary-the_eisenstein_units_are_exactly_six"><code>the_eisenstein_units_are_exactly_six</code> <span>elementary.lean</span></a>
@@ -7024,8 +7026,10 @@ triad := [3, 6, 9]</code></pre>
7024
7026
  <a href="#thm-elementary-the_multiplication_table_of_the_z9_units_is_a_latin_square"><code>the_multiplication_table_of_the_z9_units_is_a_latin_square</code> <span>elementary.lean</span></a>
7025
7027
  <a href="#thm-nim-the_nim_sum_is_a_gf2_vector_addition"><code>the_nim_sum_is_a_gf2_vector_addition</code> <span>nim.lean</span></a>
7026
7028
  <a href="#thm-mechanical-the_nine_times_table_always_digital_roots_to_nine"><code>the_nine_times_table_always_digital_roots_to_nine</code> <span>mechanical.lean</span></a>
7029
+ <a href="#thm-coin-the_nines_complement_pairs_the_ten_digits"><code>the_nines_complement_pairs_the_ten_digits</code> <span>coin.lean</span></a>
7027
7030
  <a href="#thm-sequences-the_odd_step_sets_exactly_one_further_bit"><code>the_odd_step_sets_exactly_one_further_bit</code> <span>sequences.lean</span></a>
7028
7031
  <a href="#thm-z9plus-the_orbit_never_meets_the_triad"><code>the_orbit_never_meets_the_triad</code> <span>z9plus.lean</span></a>
7032
+ <a href="#thm-split-the_orbit_turns_once_per_budget"><code>the_orbit_turns_once_per_budget</code> <span>split.lean</span></a>
7029
7033
  <a href="#thm-families-the_order_of_every_unit_mod_nine_divides_six"><code>the_order_of_every_unit_mod_nine_divides_six</code> <span>families.lean</span></a>
7030
7034
  <a href="#thm-elementary-the_order_spectrum_of_the_z9_units_realises_gauss_divisor_sum"><code>the_order_spectrum_of_the_z9_units_realises_gauss_divisor_sum</code> <span>elementary.lean</span></a>
7031
7035
  <a href="#thm-z9plus-the_orders_of_the_units_are_exact"><code>the_orders_of_the_units_are_exact</code> <span>z9plus.lean</span></a>
@@ -7055,7 +7059,6 @@ triad := [3, 6, 9]</code></pre>
7055
7059
  <a href="#thm-light-the_root_moves_with_the_unit_so_it_is_not_about_light"><code>the_root_moves_with_the_unit_so_it_is_not_about_light</code> <span>light.lean</span></a>
7056
7060
  <a href="#thm-split-the_roots_are_the_singles"><code>the_roots_are_the_singles</code> <span>split.lean</span></a>
7057
7061
  <a href="#thm-light-the_roots_of_the_seven"><code>the_roots_of_the_seven</code> <span>light.lean</span></a>
7058
- <a href="#thm-split-the_seal_affords_sixty_four_payments_of_two"><code>the_seal_affords_sixty_four_payments_of_two</code> <span>split.lean</span></a>
7059
7062
  <a href="#thm-fnv-the_seed_separates"><code>the_seed_separates</code> <span>fnv.lean</span></a>
7060
7063
  <a href="#thm-index-the_sequence_is_its_named_parts_and_closes"><code>the_sequence_is_its_named_parts_and_closes</code> <span>index.lean</span></a>
7061
7064
  <a href="#thm-sequences-the_sequence_takes_both_values"><code>the_sequence_takes_both_values</code> <span>sequences.lean</span></a>