🚀 go-pugleaf

$@>>K\!w:G=*HG(J

> |3.$@<B$O!">e$N#2$D$N$[$+$K(J1.$@!"(J2.$@$N$I$A$i$G$b$J$$!"$9$J$o$A!"(J
> |$@!!(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+$G$"$k$+!"$G$J$$$+$o$+$i$J$$(J
> |$@!!$H$$$&>l9g$,$"$k!#(J
> |$@!!$3$N>l9g(J
> |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
> |$@!!%b%G%k$K$h$C$F??56CM$O$3$H$J$k!#(J
> |
> |$@!!$@$+$i!"%b%G%k$K$h$C$F$O(J
> |$@!!(J3.$@$N$h$&$J(J x$@$K$D$$$F(J
> |$@!!??56CM$,#1$G$"$k$H$9$l$P(J
> | $@!V%?%/%5%s!W$"$k$h$&$K$_$($k!#(J

$@$H=q$-$^$7$?$,!"%b%G%k$NCf$G$O(J
$@Ey$7$$$H$bEy$7$/$J$$$HH=Dj$G$-$J$$$b$N$O(J
$@F1$8$b$N$H$b0c$&$b$N$H$b8@$($J$$$+$i(J
$@$d$O$j!JD>4Q<g5A$N%b%G%k>e$G$O!KItJ,=89g$N8D?t$O(J
$@!V?t$($i$l$J$$!W(J
$@$H9M$($k$7$+$J$$$h$&$G$9$M!#(J

> |$@!J$A$J$_$K(J3.$@$K$"$?$k(Jx$@$O8EE5=89gO@>e$G$OB8:_$7$J$$$b$N$G$"$k$+$i(J
> |$@!!6qBNE*$K$"$k(Jx$@$,$"$C$F!"$=$l$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$3$H$H(J
> |$@!!$O$A$g$C$H$3$H$J$k!#!K(J

$@#3(J.$@$,8EE5=89gO@$G$O!"B8:_$7$J$$$H$$$C$?$N$O!"(J
$@8EE5=89gO@$G$O(Jx$@$H(Jy$@$,(J{0,1}$@$NItJ,=89g$H$9$k$J$i$P(J
x=y$@$+Kt$O(JNot[x=y]$@$+H=Dj$G$-$k$H$$$&0UL#!#(J
($@$G!"(J=$@$GN`JL$9$l$P!"8D?t$,J,$+$k$G$7$g$&!#!K(J

$@D>4Q<g5A$G!"#3$KEv$?$k$N$O(J
$@GXM}K!$r$b$A$$$J$1$l$P!a$NH=Dj$,=PMh$J$$$h$&$J>l9g(J
$@$H$$$&$3$H$G$7$g$&$+!#(J

$@$d$O$j!"=89g$N!a$N301d@-(J

All x (x in A <-> x in B) -> A = B

$@$,7k9=!"6J<T$N$h$&$G$9!#(J

$@!t$A$J$_$K!"C]Fb@h@8$,$3$N$h$&$J%9%?%$%k$GD>4Q<g5A=89gO@$rD4$Y$?GX7J$K$O(J
$@!t&8$,0LAj6u4V!J$H$/$KB?MMBN!K$N3+=89g$N=89g$H$7$?$H$-$N!"4v2?3X$NDjM}$H(J
$@!t$N4X$o$j$K$D$$$FD4$Y$F$_$?$$$H$$$&$3$H$,$"$C$?$i$7$$!#AX$H$+%H%]%9$H$+(J
$@!t$H$$$&$N$O!"Be?t4v2?$G$b!"=P$F$/$k%O%J%7$N$h$&$@!#(J