{[{fact,[f10,f9,f8,f7,f6,f5,f4,f3,f2,f1]},{rule,[r10,r9,r8,r7,r6,r5,r4,r3,r2,r1]}],[fact,rule],[f1,f2,f3,f4,f5,f6,f7,f8,f9,f10,r1,r2,r3,r4,r5,r6,r7,r8,r9,r10]}.

{[ν̾,θʲ,,,Ǥθʿ,ݸ,ͥ,ǶΥХ󥹽Ż],[{ν̾,[[f9,f10]]},{θʲ,[[f10,f9]]},{,[[f7,f8],[r7,r3]]},{,[[f8,f7],[r3,r7]]},{Ǥθʿ,[[r8,r6]]},{ݸ,[[r6,r8]]},{ͥ,[[r10,r1]]},{ǶΥХ󥹽Ż,[[r1,r10]]}],[{ν̾,{f9,f10}},{θʲ,{f10,f9}},{,{f7,f8}},{,{r7,r3}},{,{f8,f7}},{,{r3,r7}},{Ǥθʿ,{r8,r6}},{ݸ,{r6,r8}},{ͥ,{r10,r1}},{ǶΥХ󥹽Ż,{r1,r10}}]}.

{{ν̾,θʲ,,,Ǥθʿ,ݸ,ͥ,ǶΥХ󥹽Ż},{f9,f10,f7,f8,r7,r3,r8,r6,r10,r1},[{0,[{{0,1},1}]},{1,[{{1,0},1}]},{2,[{{2,3},1},{{4,5},1}]},{3,[{{3,2},1},{{5,4},1}]},{4,[{{6,7},1}]},{5,[{{7,6},1}]},{6,[{{8,9},1}]},{7,[{{9,8},1}]}]}.

{[Ϳޤδ,ޤδ],[{Ϳޤδ,[ͥ,ν̾,Ǥθʿ,]},{ޤδ,[ǶΥХ󥹽Ż,θʲ,ݸ,]}]}.

{[{Ϳޤδ,{{10,"\000\002\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\001\000"},{10,{[],[0],[],[],[],[],[],[],[],[],[0],[],[],[],[],[],[],[],[],[],[],[],[],[2],[],[],[],[],[],[],[],[],[2],[],[],[],[],[],[],[],[],[],[],[],[],[2],[],[],[],[],[],[],[],[],[2],[],[],[],[],[],[],[],[],[],[],[],[],[4],[],[],[],[],[],[],[],[],[4],[],[],[],[],[],[],[],[],[],[],[],[],[6],[],[],[],[],[],[],[],[],[6],[]}},{ν̾,θʲ,,,Ǥθʿ,ݸ,ͥ,ǶΥХ󥹽Ż},{f9,f10,f7,f8,r7,r3,r8,r6,r10,r1}}},{ޤδ,{{10,"\000\001\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\002\000"},{10,{[],[1],[],[],[],[],[],[],[],[],[1],[],[],[],[],[],[],[],[],[],[],[],[],[3],[],[],[],[],[],[],[],[],[3],[],[],[],[],[],[],[],[],[],[],[],[],[3],[],[],[],[],[],[],[],[],[3],[],[],[],[],[],[],[],[],[],[],[],[],[5],[],[],[],[],[],[],[],[],[5],[],[],[],[],[],[],[],[],[],[],[],[],[7],[],[],[],[],[],[],[],[],[7],[]}},{ν̾,θʲ,,,Ǥθʿ,ݸ,ͥ,ǶΥХ󥹽Ż},{f9,f10,f7,f8,r7,r3,r8,r6,r10,r1}}}]}.

