>>648
>>649の
>0:=Φ、
>1:={Φ}、
>2:={ Φ、{Φ} }、
>3:={ Φ、{Φ}、{Φ、{Φ} }、
>……
は
>0:=Φ、
>1:={Φ}、
>2:={ {Φ} }、
>3:={ { {Φ} } }、
>……
に変更。