theory Scratch
  imports Pure
begin

section \<open>\<open>A\<^sub>1\<close>\<close>
section \<open>\<open>A\<^sub>1\<close>\<close>
section \<open>\<open>A\<^sub>1\<close>\<close>
section \<open>\<open>A\<^sub>1\<close>\<close>
section \<open>\<open>A\<^sub>1\<close>\<close>

end