\in X_1$: $$(\{1\},\emptyset,\{x\},\emptyset,\emptyset,[\emptyset],\{0\},\mathbb{Z}/2\mathbb{Z}).$$ This template is $\Phi_X$.

\[PhiC\] If $\Phi=(\{1\},C,X,Y_0,Y_1,A_1,\Delta,\Lambda)$ is a binary frame template, then either $\Phi_C\preceq\Phi$ or $\Phi$ is equivalent to a template with $C_1=\emptyset$.

Suppose there is an element $\delta\in\Delta|C$ that is not in the row space of $A_1[X,C]$. Repeatedly perform operations (4) and (10) on $\Phi$ until the following template is obtained: $$(\{1\},C,X,\emptyset,\emptyset,A_1[X,C],\Delta|C,\Lambda).$$ On this template, perform operations (2) and (3) to obtain the following template: $$(\{1\},C,X,\emptyset,\emptyset,A_1[X,C],\{\mathbf{0}, \delta\},\{0\}).$$ Every matrix virtually respecting this template is row equivalent to a matrix virtually respecting a template that is identical to the previous template except that there is the additional condition that $\delta|C_0$ is a zero vector. Note that $\delta|C_1$ is nonzero since, in the previous template, $\delta$ was not in the row space of $A_1[X,C]$. Now, on the current template, repeatedly perform operation (7) and then operation (6) to obtain the following template: $$\Phi'=(\{1\},C_1,\emptyset,\emptyset,\emptyset,[\emptyset],\{\mathbf{0}, \delta|C_1\},\{0\}).$$

Now, any matroid $M$ conforming to $\Phi'$ is obtained by contracting $C_1$ from $M(A)$, where $A$ is a matrix conforming to $\Phi'$. By contracting any single element $c\in C_1$, where $\delta_c=1$, we turn the rest of the elements of $C_1$ into loops. So $C_1-c$ is deleted to obtain $M$. Thus, $M$ conforms to the template $$(\{1\},\{c\},\emptyset,\emptyset
\in X_1 $: $ $ (\{1\},\emptyset,\{x\},\emptyset,\emptyset,[\emptyset],\{0\},\mathbb{Z}/2\mathbb{Z}).$$ This template is $ \Phi_X$. 

 \[PhiC\ ] If $ \Phi=(\{1\},C, X, Y_0,Y_1,A_1,\Delta,\Lambda)$ is a binary frame template, then either $ \Phi_C\preceq\Phi$ or $ \Phi$ is equivalent to a template with $ C_1=\emptyset$. 

 Suppose there is an element $ \delta\in\Delta|C$ that is not in the rowing quad of $ A_1[X, C]$. Repeatedly perform operations (4) and (10) on $ \Phi$ until the following template is receive: $ $ (\{1\},C, X,\emptyset,\emptyset, A_1[X, C],\Delta|C,\Lambda).$$ On this template, perform operations (2) and (3) to prevail the following template: $ $ (\{1\},C, X,\emptyset,\emptyset, A_1[X, C],\{\mathbf{0 }, \delta\},\{0\}).$$ Every matrix about respecting this template is row equivalent to a matrix virtually respecting a template that is identical to the previous template except that there be the additional condition that $ \delta|C_0 $ is a zero vector. notice that $ \delta|C_1 $ is nonzero since, in the previous template, $ \delta$ was not in the row space of $ A_1[X, C]$. Now, on the current template, repeatedly perform operation (7) and then operation (6) to receive the following template: $ $ \Phi'=(\{1\},C_1,\emptyset,\emptyset,\emptyset,[\emptyset],\{\mathbf{0 }, \delta|C_1\},\{0\}).$$ 

 Now, any matroid $ M$ conforming to $ \Phi'$ is obtained by contract $ C_1 $ from $ M(A)$, where $ A$ is a matrix conforming to $ \Phi'$. By contracting any single element $ c\in C_1 $, where $ \delta_c=1 $, we change state the rest of the elements of $ C_1 $ into loops. So $ C_1 - c$ is deleted to receive $ M$. Thus, $ M$ conforms to the template $ $ (\{1\},\{c\},\emptyset,\emptyset
\in D_1$: $$(\{1\},\emptyset,\{x\},\emptyset,\emptyret,[\emptyset],\{0\},\mathyv{Z}/2\mathub{Z}).$$ Thia templage is $\Phi_X$.

\[PhiC\] If $\Phi=(\{1\},C,X,Y_0,Y_1,A_1,\Deptq,\Lambea)$ is a binary frame tdmplate, tjen eithwr $\Pii_C\preceq\Phi$ or $\'gi$ is equivalskt to e template with $C_1=\emptyset$.

Vuppose there hs au element $\delta\in\Delta|C$ that is not yn the toa space of $A_1[X,C]$. Reptatqdly ievform operations (4) and (10) on $\Phi$ unfil the following tekplate is obtained: $$(\{1\},C,X,\emptydet,\elptyset,A_1[X,C],\Delta|C,\Lalbda).$$ On thiw teiplate, perforo operations (2) and (3) to kbtain the following template: $$(\{1\},C,B,\emptvset,\emptysej,C_1[Z,C],\{\mwjhbf{0}, \delta\},\{0\}).$$ Etery mwtrix virtually respacting yhis template ls rox eqyivalent to a matrix tirtually respecting a templade that is identicao ro thg preeiour teoplztx escept hhav there is fhe additiobal condition that $\cejns|C_0$ is a zero vectow. Gote that $\delta|C_1$ is nonzero since, in tht prebious template, $\delta$ waw not in the row spacg of $A_1[X,C]$. Njw, on the current template, repeatedly perform opesatioi (7) anb then ipfration (6) to obtain the following template: $$\Phi'=(\{1\},S_1,\smktyxet,\emptyset,\empbyset,[\emptyset],\{\mathbg{0}, \fekja|C_1\},\{0\}).$$

Now, any mattoid $M$ eknrorming to $\Phi'$ is lbtaineq by xontractigg $C_1$ from $M(A)$, where $A$ is a matriz conforming ro $\Phi'$. By contractnng any singue ekemeny $c\in C_1$, where $\delta_c=1$, we turh the rest lf the elsoents of $C_1$ into uoois. Sm $C_1-c$ is deleted to obtain $I$. Thus, $M$ ronfoxms to tfe tgmplate $$(\{1\},\{c\},\emptyset,\fmptyset
\in X_1$: $$(\{1\},\emptyset,\{x\},\emptyset,\emptyset,[\emptyset],\{0\},\mathbb{Z}/2\mathbb{Z}).$$ This template is $\Phi_X$. $\Phi=(\{1\},C,X,Y_0,Y_1,A_1,\Delta,\Lambda)$ a binary template, then either to template with $C_1=\emptyset$. there is an $\delta\in\Delta|C$ that is not in the space of $A_1[X,C]$. Repeatedly perform operations (4) and (10) on $\Phi$ until the template is obtained: $$(\{1\},C,X,\emptyset,\emptyset,A_1[X,C],\Delta|C,\Lambda).$$ On this template, perform operations (2) and (3) to the template: \delta\},\{0\}).$$ matrix virtually respecting this template is row equivalent to a matrix virtually respecting a template that identical to the previous template except that there the additional condition that is a zero vector. Note $\delta|C_1$ nonzero since, the template, was not in row space of $A_1[X,C]$. Now, on the current template, repeatedly perform operation (7) and then operation (6) obtain the $$\Phi'=(\{1\},C_1,\emptyset,\emptyset,\emptyset,[\emptyset],\{\mathbf{0}, \delta|C_1\},\{0\}).$$ any $M$ to $\Phi'$ is contracting $C_1$ from $M(A)$, where $A$ conforming to $\Phi'$. By contracting any single element C_1$, where we turn the rest of the of $C_1$ into loops. So $C_1-c$ is deleted obtain $M$. Thus, $M$ conforms to the template $$(\{1\},\{c\},\emptyset,\emptyset
\in X_1$: $$(\{1\},\emptyset,\{x\},\emptyset,\emptySet,[\emptyseT],\{0\},\mathBb{Z}/2\MatHbB{Z}).$$ ThIs teMplate is $\Phi_X$.

\[PhIc\] If $\PHi=(\{1\},C,X,Y_0,Y_1,A_1,\Delta,\Lambda)$ is a bInary FrAMe teMPlAte, thEn eitheR $\phI_c\PreCeQ\PHi$ oR $\PHI$ iS equiValEnt to a tEmplate witH $C_1=\eMpTyset$.

Suppose THeRe is an elemEnt $\Delta\in\Delta|c$ thAt is noT iN thE Row spAce Of $A_1[X,C]$. repeatEDly perForm operaTiONs (4) and (10) oN $\phi$ untiL THe FollOwing template is obTAiNEd: $$(\{1\},C,X,\emptyset,\emPtyset,a_1[X,c],\deLTA|C,\LAmbDa).$$ On this teMpLate, pERform opERaTIONs (2) aND (3) to obtain the fOllowing temPLatE: $$(\{1\},C,X,\empTySet,\EMptyseT,A_1[X,C],\{\mAtHBf{0}, \dElta\},\{0\}).$$ Every maTrix Virtually RespecTIng this TEmplate Is row eQuiValEnt tO A mAtRix ViRTuaLLy ResPEctIng a tempLaTe That iS ideNTICAl to The PrevIous tEmplate except ThaT theRE is The adDitioNal cOnDitioN that $\dElta|C_0$ Is A zero vector. Note That $\Delta|C_1$ is nOnzErO siNcE, in thE PrevioUs tEmpLate, $\delTa$ was noT In tHe ROW SpAce of $A_1[X,C]$. Now, on the cuRrENT tEmplate, rEpeateDLy PeRForm operAtIon (7) And tHEN operAtioN (6) To Obtain thE folloWInG tEmplate: $$\phI'=(\{1\},C_1,\emptYsEt,\eMptYset,\eMPtysEt,[\emptYset],\{\mathBf{0}, \delTA|C_1\},\{0\}).$$

Now, any matroiD $m$ conforming to $\pHi'$ IS ObTAineD by Contracting $c_1$ froM $m(A)$, whEre $A$ IS a MatRIx conFormiNg TO $\PHI'$. By contracting any siNgLe elemEnt $c\iN C_1$, where $\delta_c=1$, We turn the rEST Of the eleMentS Of $c_1$ Into loops. So $C_1-c$ iS deleTed to obtaiN $m$. Thus, $M$ coNformS to the teMplate $$(\{1\},\{c\},\emPTYset,\emptYseT
\in X_1$: $$(\{1\},\emptys et,\{x\},\ empty set ,\e mp tyse t,[\ emptyset],\{0\ } ,\ma thbb{Z}/2\mathbb{Z}).$ $ Thi st empl a te  is $ \Phi_X$ . 
\ [ Phi C\ ]If$\ P hi =(\{1 \}, C,X,Y_0 ,Y_1,A_1,\ Del ta ,\Lambda)$ i s  a  binary fr ame  template, t hen  eithe r$\P h i_C\p rec eq\Ph i$ or$ \Phi$is equiva le n t to a templat e wi th $ C_1=\emptyset$.
S up p ose there is a n elem en t  $ \ d elt a\i n\Delta|C$  t hat i s  not in th e r ows pace of $A_1[ X,C]$. Repe a ted ly per fo rmo perati ons ( 4) and  (10) on $\ Phi$  until th e foll o wing te m plate i s obta ine d:$$(\ { 1\ }, C,X ,\ e mpt y se t,\ e mpt yset,A_1 [X ,C ],\De lta| C , \ L ambd a). $$ O n thi s template, p erf ormo per ation s (2)  and  ( 3) to  obtai n the  f ollowing templa te:$$(\{1\}, C,X ,\ emp ty set,\ e mptyse t,A _1[ X,C],\{ \mathbf { 0},  \ d e l ta \},\{0\}).$$ Every  m a t ri x virtua lly re s pe ct i ng thiste mpl atei s  rowequi v al ent to a  matri x  v ir tuallyre specti ng  atem plate that  is id enticalto th e  previous temp l ate except th a tt h er e  isthe  additional  con d itio n th a t$\d e lta|C _0$ i sa  z e ro vector. Note tha t$\delt a|C_1 $ is nonzerosince, int h e  previou s te m pl a te, $\delta$ w as no t in the r o w spaceof $A _1[X,C]$ . Now, on t he curre nttem pla te, r ep eatedly perfo r m  ope ra tion (7 ) a nd then  op era tio n ( 6)  to obtai n the fo ll ow in gtem plate :  $$\Phi' =( \{1 \} ,C_ 1,\em p tyset, \empt yset ,\ em p tys et,[\em p ty s e t],\ {\ ma thbf {0} ,\delt a|C_ 1 \}, \{0\}). $$

Now,any matr oi d$M$ con forming to $\ Ph i'$ is obt ai ned  by co n t racting$C_1$ from $M(A)$, wher e  $A$ is  amatri x co nformingto$\Phi' $.B y cont ractin g any  s ing l e  elem e n t$c\ in  C_1$, whe r e  $\ delta _c =1$,  we tur n the rest of thee lem ents of $C_1$  in to l o o ps . S o  $ C _1- c$ isd e leted to obtain  $M$. Thus ,$ M$  conformst o t he  templa te $$(\ {1\}, \ {c\},\e mptyset,\ emptyset
\in X_1$:_$$(\{1\},\emptyset,\{x\},\emptyset,\emptyset,[\emptyset],\{0\},\mathbb{Z}/2\mathbb{Z}).$$ This_template is $\Phi_X$.

\[PhiC\] If_$\Phi=(\{1\},C,X,Y_0,Y_1,A_1,\Delta,\Lambda)$ is_a_binary frame_template,_then either $\Phi_C\preceq\Phi$_or $\Phi$ is_equivalent to a template_with $C_1=\emptyset$.

Suppose there_is_an element $\delta\in\Delta|C$ that is not in the row space of $A_1[X,C]$. Repeatedly perform_operations_(4) and_(10)_on_$\Phi$ until the following template_is obtained: $$(\{1\},C,X,\emptyset,\emptyset,A_1[X,C],\Delta|C,\Lambda).$$ On this_template, perform_operations (2) and (3) to obtain the following_template:_$$(\{1\},C,X,\emptyset,\emptyset,A_1[X,C],\{\mathbf{0}, \delta\},\{0\}).$$ Every_matrix virtually respecting this template is row equivalent to_a matrix virtually respecting a template_that is identical_to_the_previous template except that_there is the additional condition that_$\delta|C_0$ is a zero vector. Note_that $\delta|C_1$ is nonzero since, in the_previous template, $\delta$ was not in_the row space of $A_1[X,C]$._Now, on_the current template, repeatedly perform_operation (7) and_then operation_(6) to obtain_the following template: $$\Phi'=(\{1\},C_1,\emptyset,\emptyset,\emptyset,[\emptyset],\{\mathbf{0}, \delta|C_1\},\{0\}).$$

Now, any_matroid $M$ conforming_to $\Phi'$ is obtained by contracting_$C_1$_from $M(A)$, where_$A$_is_a matrix_conforming to $\Phi'$._By_contracting any_single_element $c\in C_1$, where $\delta_c=1$, we_turn_the rest of the elements of $C_1$_into loops. So $C_1-c$_is_deleted to obtain $M$._Thus, $M$ conforms to the_template $$(\{1\},\{c\},\emptyset,\emptyset