Skip to content

Instantly share code, notes, and snippets.

@nishio

nishio/gist:1156669

Created August 19, 2011 12:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save nishio/1156669 to your computer and use it in GitHub Desktop.
Save nishio/1156669 to your computer and use it in GitHub Desktop.
Download ZIP
#spcamp 2011 感想文
Raw
gistfile1.lisp
(K0((+I(UU))(+K(U(U(I))))(+S(UK))(+4(S(SSI)I))(0(((11)1)(4((UK(SSI)I)((11)(4((11
)1)))))))(0(1(4((UK(SSI)I)((UK(SSI)I)(11))))))(0((11)((S(UKSI)I)((11)(4((S(UKSI)
I)(11)))))))(0(((11)1)(4(1(4((11)(4((11)1))))))))(0((11)(4(1((S(SSI)I)(1((UK(SSI
)I)(11))))))))(0((11)((S(SSI)I)(4(((11)1)((S(SSI)I)(11)))))))(0(((11)1)(4((UK(SS
I)I)((11)((S(SSI)I)((11)1)))))))(0((11)(4(4((S(UKSI)I)(11))))))(0((UK(SSI)I)(((1
1)1)((S(SSI)I)(4(11))))))(0((11)(4(1((S(UKSI)I)((11)(4((11)1))))))))(0(((11)1)((
S(UKSI)I)(1((S(UKSI)I)((11)(4(11))))))))(0((S(UKSI)I)((11)(4(1((UK(SSI)I)(11))))
)))(0(((11)1)(4((S(UKSI)I)((11)(4((11)1)))))))(0(1(4(4((S(SSI)I)(11))))))(0(((11
)1)(4(1((UK(SSI)I)((11)(4(11))))))))(0(((11)1)(4((S(SSI)I)((11)((UK(SSI)I)((11)1
)))))))(0(1((UK(SSI)I)(4(4(11))))))(0(((11)1)((S(SSI)I)(1(4(1((UK(SSI)I)(11)))))
)))(0(((11)1)((UK(SSI)I)((S(UKSI)I)((11)(4((11)1)))))))(0(1(4(4(4(11))))))(0(((1
1)1)((S(UKSI)I)(((11)1)(4(1(4(11))))))))(0(((11)1)((UK(SSI)I)(4((11)(4((11)1))))
)))(0((S(SSI)I)((UK(SSI)I)(4(11)))))(0((11)((UK(SSI)I)(4((UK(SSI)I)(11))))))(0(4
(1(4((11)((S(UKSI)I)((11)1)))))))(0(((11)1)((S(SSI)I)((11)(4(((11)1)((S(SSI)I)(1
1))))))))(0((11)(4((11)(4((UK(SSI)I)(11)))))))(0(1(4(1(4((11)((UK(SSI)I)((11)1))
))))))(0(1((S(UKSI)I)((11)((UK(SSI)I)(((11)1)(4(11))))))))(0((S(SSI)I)(1((S(UKSI
)I)(((11)1)((UK(SSI)I)(11)))))))(0(((11)1)((UK(SSI)I)((S(SSI)I)((11)((UK(SSI)I)(
(11)1)))))))(0((11)((S(SSI)I)((UK(SSI)I)(4(11))))))(0((11)((S(SSI)I)(4(4(11)))))
)(0((11)(4(1(4((11)(4((11)1))))))))(0(1(4(1(4((11)((S(UKSI)I)(11))))))))(0(1((S(
UKSI)I)(((11)1)(4(((11)1)((S(UKSI)I)(11))))))))(0(((11)1)((S(UKSI)I)((UK(SSI)I)(
(11)(4((11)1)))))))(0(1(4(4((UK(SSI)I)(11))))))(0(((11)1)(4(1((UK(SSI)I)(1((UK(S
SI)I)(11))))))))(0(((11)1)((S(UKSI)I)(4((11)(4((11)1)))))))(0(1(4(4(4(11))))))(0
(4(1(4(4(11))))))(0(((11)1)(4(4((11)((UK(SSI)I)((11)1)))))))(0((11)((S(UKSI)I)((
S(SSI)I)((UK(SSI)I)(11))))))(0(1(4(((11)1)(4((11)((S(UKSI)I)(11))))))))(0(((11)1
)(4((UK(SSI)I)((11)(4((11)1)))))))(0(((11)1)((UK(SSI)I)(4((S(UKSI)I)(11))))))(0(
((11)1)((S(UKSI)I)(4((11)(4(11)))))))(0(((11)1)(4((UK(SSI)I)((11)(4((11)1)))))))
(0(((11)1)((UK(SSI)I)((S(UKSI)I)(4(11))))))(0(((11)1)(4((S(SSI)I)(((11)1)(4(11))
)))))(0(((11)1)((S(UKSI)I)(4((11)((UK(SSI)I)((11)1)))))))(0(((11)1)((UK(SSI)I)(4
(4(11))))))(0(((11)1)(4(1(4(1(4(11))))))))(0(((11)1)((S(SSI)I)(4((11)((S(SSI)I)(
(11)1)))))))(0(1((S(UKSI)I)(4((S(SSI)I)(11))))))(0(((11)1)((S(UKSI)I)(1(4((11)(4
(11))))))))(0(((11)1)(4(4((11)((S(UKSI)I)((11)1)))))))(0(1(4((UK(SSI)I)(4(11))))
))(0(((11)1)(4(1((UK(SSI)I)(1(4(11))))))))(0(((11)1)((S(UKSI)I)((UK(SSI)I)((11)(
(S(SSI)I)((11)1)))))))(0(1(4(4(4(11))))))(0(((11)1)((S(SSI)I)(((11)1)(4(1((S(UKS
I)I)(11))))))))(0(((11)1)(4(((11)1)((S(UKSI)I)((11)(4((11)1))))))))(0(4(((11)1)(
4(((11)1)(4(11)))))))(0(1(4((S(UKSI)I)((S(UKSI)I)(11))))))(0(1(4(1((S(SSI)I)((11
)(4((11)1))))))))(0((UK(SSI)I)(1((S(SSI)I)((11)((UK(SSI)I)(11)))))))(0(((11)1)((
UK(SSI)I)(1((S(SSI)I)((11)((S(UKSI)I)(11))))))))(0(4(1((S(SSI)I)((11)((S(SSI)I)(
(11)1)))))))(0((11)((S(SSI)I)((11)((UK(SSI)I)(((11)1)((UK(SSI)I)(11))))))))(0((1
1)((UK(SSI)I)((11)((S(UKSI)I)(((11)1)(4(11))))))))(0(((11)1)((S(UKSI)I)((S(SSI)I
)((11)((S(SSI)I)((11)1)))))))(0(1(4(4(4(11))))))(0((11)((S(SSI)I)(((11)1)(4((11)
(4(11))))))))(0(4(1(4((11)(4((11)1)))))))(0((11)((S(UKSI)I)((11)(4(((11)1)(4(11)
)))))))(0(((11)1)(4((11)(4((S(SSI)I)(11)))))))(0((11)(4(1((S(SSI)I)((11)((S(UKSI
)I)((11)1))))))))(0(((11)1)((S(UKSI)I)(4((S(SSI)I)(11))))))(0(1((UK(SSI)I)(1((UK
(SSI)I)(4(11)))))))(0(((11)1)(4((S(SSI)I)((11)(4((11)1)))))))(0(1((S(SSI)I)(4((U
K(SSI)I)(11))))))(0(((11)1)((S(SSI)I)(1(4((11)((S(UKSI)I)(11))))))))(0(4(1(4((11
)(4((11)1)))))))(0(((11)1)((UK(SSI)I)((11)(4(((11)1)((UK(SSI)I)(11))))))))(0((11
)(4((11)(4((S(SSI)I)(11)))))))(0(1(4(1(4((11)((S(UKSI)I)((11)1))))))))(0(1(4((11
)((S(UKSI)I)(((11)1)(4(11))))))))(0((S(UKSI)I)(1(4(((11)1)((S(SSI)I)(11)))))))(0
(((11)1)((S(UKSI)I)((UK(SSI)I)((11)(4((11)1)))))))(0(1((S(SSI)I)((S(SSI)I)(4(11)
)))))(0((11)((UK(SSI)I)(((11)1)(4((11)(4(11))))))))(0((S(UKSI)I)((11)((S(UKSI)I)
((11)(4((11)1)))))))(0((S(SSI)I)(((11)1)((S(SSI)I)((11)((S(UKSI)I)(11)))))))(0((
(11)1)(4((11)((S(SSI)I)(1((UK(SSI)I)(11))))))))(0(((11)1)(4(1((UK(SSI)I)((11)(4(
(11)1))))))))(0((11)((UK(SSI)I)(((11)1)((S(SSI)I)(((11)1)(4(11))))))))(0(1((UK(S
SI)I)((11)(4((11)(4(11))))))))(0(((11)1)(4((UK(SSI)I)((11)((S(SSI)I)((11)1))))))
)(0(1(4(4(4(11))))))(0(((11)1)((UK(SSI)I)(1((S(UKSI)I)((11)((S(UKSI)I)(11)))))))
)(0(((11)1)((S(UKSI)I)((S(SSI)I)((11)(4((11)1)))))))(0(1((S(UKSI)I)(4((S(SSI)I)(
11))))))(0(((11)1)(4(((11)1)(4((11)((S(UKSI)I)(11))))))))(0(((11)1)((UK(SSI)I)((
S(SSI)I)((11)(4((11)1)))))))(0(((11)1)((S(UKSI)I)((UK(SSI)I)((UK(SSI)I)(11))))))
(0((11)((S(SSI)I)(1(4(4(11)))))))(0(((11)1)(4((UK(SSI)I)((11)(4((11)1)))))))(0((
11)((S(SSI)I)(4((S(SSI)I)(11))))))(0(1((UK(SSI)I)((11)(4(((11)1)(4(11))))))))(0(
((11)1)(4((S(UKSI)I)((11)(4((11)1)))))))(0(((11)1)(4(4((UK(SSI)I)(11))))))(0((S(
SSI)I)((11)(4((UK(SSI)I)(11))))))(0(((11)1)((UK(SSI)I)(4((11)((S(UKSI)I)((11)1))
)))))(0(1(4(4(4(11))))))(0((S(UKSI)I)((11)(4((11)(4(11)))))))(0(((11)1)((S(SSI)I
)((UK(SSI)I)((11)(4((11)1)))))))(0(((11)1)((UK(SSI)I)(4((S(SSI)I)(11))))))(0(((1
1)1)((S(UKSI)I)(1(4((S(UKSI)I)(11)))))))(0(((11)1)(4(4((11)(4((11)1)))))))(0(((1
1)1)(4((UK(SSI)I)(4(11))))))(0(4(4(1(4(11))))))(0(((11)1)((S(SSI)I)((S(SSI)I)((1
1)(4((11)1)))))))(0(((11)1)((S(SSI)I)((S(SSI)I)((UK(SSI)I)(11))))))(0(((11)1)(4(
(S(SSI)I)((S(UKSI)I)(11))))))(0(((11)1)((UK(SSI)I)((S(UKSI)I)((11)((UK(SSI)I)((1
1)1)))))))(0((11)(4((S(SSI)I)(4(11))))))(0(4((UK(SSI)I)(((11)1)(4(11))))))(0(((1
1)1)(4(4((11)(4((11)1)))))))(0(1((UK(SSI)I)(4(4(11))))))(0((11)(4(((11)1)((UK(SS
I)I)((11)(4(11))))))))(0(4((11)(4((11)((UK(SSI)I)((11)1)))))))(0(1((S(UKSI)I)((1
1)(4((11)((S(UKSI)I)(11))))))))(0(1((S(UKSI)I)((UK(SSI)I)(((11)1)(4(11)))))))(0(
((11)1)((UK(SSI)I)(4((11)((UK(SSI)I)((11)1)))))))(0((11)(4((S(SSI)I)(4(11))))))(
0((11)(4((S(UKSI)I)(1((UK(SSI)I)(11)))))))(0(((11)1)(4((UK(SSI)I)((11)((UK(SSI)I
)((11)1)))))))(0(1((S(SSI)I)(4((S(UKSI)I)(11))))))(0(1((S(UKSI)I)((11)(4(1((S(UK
SI)I)(11))))))))(0(((11)1)(4(4((11)((S(UKSI)I)((11)1)))))))(0((11)((UK(SSI)I)(4(
(S(SSI)I)(11))))))(0(((11)1)((UK(SSI)I)((11)((UK(SSI)I)(4(11)))))))(0(((11)1)(4(
(S(UKSI)I)((11)((S(SSI)I)((11)1)))))))(0(1(4((S(UKSI)I)(4(11))))))(0(((11)1)(4(4
(1((S(UKSI)I)(11)))))))(0(((11)1)(4((UK(SSI)I)((11)(4((11)1)))))))(0(1(4((UK(SSI
)I)((S(SSI)I)(11))))))(0(4((11)((S(SSI)I)((11)(4(11)))))))(0(((11)1)(4(4((11)((S
(UKSI)I)((11)1)))))))(0(1((S(UKSI)I)((S(UKSI)I)((UK(SSI)I)(11))))))(0(((11)1)((S
(UKSI)I)((11)((S(UKSI)I)((11)((UK(SSI)I)(11))))))))(0(((11)1)(4(4((11)(4((11)1))
)))))(0(1((S(SSI)I)((S(SSI)I)(4(11))))))(0((11)(4((11)((UK(SSI)I)((11)(4(11)))))
)))(0(((11)1)(4((S(UKSI)I)((11)((UK(SSI)I)((11)1)))))))(0((11)(4((UK(SSI)I)(4(11
))))))(0((11)((S(SSI)I)((11)((S(SSI)I)((S(SSI)I)(11)))))))(0(((11)1)((S(UKSI)I)(
(S(SSI)I)((11)(4((11)1)))))))(0(1((UK(SSI)I)((S(SSI)I)((UK(SSI)I)(11))))))(0((11
)(4(((11)1)(4(((11)1)((S(SSI)I)(11))))))))(0(((11)1)((UK(SSI)I)(4((11)((S(SSI)I)
((11)1)))))))(0(1(4(4((UK(SSI)I)(11))))))(0(((11)1)((S(SSI)I)(1((S(UKSI)I)(1(4(1
1))))))))(0(((11)1)(4(4((11)((S(UKSI)I)((11)1)))))))(0(1((UK(SSI)I)((UK(SSI)I)((
S(UKSI)I)(11))))))(0(((11)1)(4(((11)1)((S(SSI)I)(1(4(11))))))))(0(((11)1)(4((UK(
SSI)I)((11)((UK(SSI)I)((11)1)))))))(0(1(4((S(SSI)I)(4(11))))))(0((S(SSI)I)(((11)
1)(4(4(11))))))(0(((11)1)(4((UK(SSI)I)((11)((UK(SSI)I)((11)1)))))))(0(4(4((S(SSI
)I)(11)))))(0(1(4((S(UKSI)I)((S(SSI)I)(11))))))(0(((11)1)(4((S(UKSI)I)((11)((UK(
SSI)I)((11)1)))))))(0((UK(SSI)I)(4((S(UKSI)I)(11)))))(0(4(((11)1)(4((S(SSI)I)(11
))))))(0((S(UKSI)I)((11)((S(UKSI)I)((11)(4((11)1)))))))(0(4((11)(4((11)((S(UKSI)
I)(11)))))))(0(4(4((UK(SSI)I)(11)))))(0(4((11)((UK(SSI)I)((11)((S(SSI)I)((11)1))
)))))(0((11)(4((11)((S(UKSI)I)((11)((S(SSI)I)(11))))))))(0((11)(4(((11)1)(4(1(4(
11))))))))(0(((11)1)((S(SSI)I)(4((11)((UK(SSI)I)((11)1)))))))(0(1(4(4((S(UKSI)I)
(11))))))(0((11)((UK(SSI)I)(((11)1)((S(SSI)I)((11)(4(11))))))))(0((S(SSI)I)((11)
(4((11)((UK(SSI)I)((11)1)))))))(0(4((11)((S(UKSI)I)((11)((UK(SSI)I)(11)))))))(0(
1((S(SSI)I)(((11)1)(4((11)(4(11))))))))(0(4((11)((S(SSI)I)((11)(4((11)1)))))))(0
(4((11)((UK(SSI)I)((11)((UK(SSI)I)(11)))))))(0(4((11)((S(SSI)I)(4(11))))))(0(1((
S(UKSI)I)(1((UK(SSI)I)((11)((UK(SSI)I)((11)1))))))))(0(4((11)(4(4(11))))))(0(4(1
(4((11)(4(11)))))))(0((11)(4(1(4((11)((S(SSI)I)((11)1))))))))(0((11)((S(SSI)I)(1
((UK(SSI)I)(1(4(11))))))))(0(1((S(SSI)I)(((11)1)(4((11)(4(11))))))))(0(((11)1)((
S(SSI)I)((UK(SSI)I)((11)(4((11)1)))))))(0((S(UKSI)I)(4(4(11)))))(0(1(4(((11)1)((
UK(SSI)I)(4(11)))))))(0(((11)1)((UK(SSI)I)((S(UKSI)I)((11)(4((11)1)))))))(0(1(4(
4((S(SSI)I)(11))))))(0(((11)1)((S(SSI)I)(1(4((11)(4(11))))))))(0((11)(4(1(4((11)
(4((11)1))))))))(0((UK(SSI)I)(1((S(UKSI)I)((11)(4(11)))))))(0(4(((11)1)((S(UKSI)
I)(1(4(11)))))))(0(((11)1)(4(1(4((11)(4((11)1))))))))(0(4(1(4(((11)1)(4(11))))))
)(0((11)(4((S(UKSI)I)((11)((S(SSI)I)(11)))))))(0(((11)1)((UK(SSI)I)((UK(SSI)I)((
11)(4((11)1)))))))(0(1((S(SSI)I)((S(UKSI)I)(4(11))))))(0(1(4((11)(4(1(4(11))))))
))(0(((11)1)((S(UKSI)I)(4((11)(4((11)1)))))))(0((11)(4((UK(SSI)I)((S(SSI)I)(11))
))))(0(((11)1)(4((11)((S(SSI)I)((UK(SSI)I)(11)))))))(0(((11)1)(4(4((11)((S(UKSI)
I)((11)1)))))))(0(1((S(UKSI)I)((UK(SSI)I)((S(SSI)I)(11))))))(0(4((11)(4((11)(4(1
1)))))))(0(1((UK(SSI)I)(1((UK(SSI)I)((11)(4((11)1))))))))(0(((11)1)((S(UKSI)I)((
S(UKSI)I)((S(UKSI)I)(11))))))(0(1((S(SSI)I)(1((S(SSI)I)(1(4(11))))))))(0(((11)1)
((S(SSI)I)((UK(SSI)I)((11)(4((11)1)))))))(0(1((S(UKSI)I)((S(SSI)I)((S(UKSI)I)(11
))))))(0((11)((S(UKSI)I)(((11)1)(4((11)(4(11))))))))(0(1(4(1(4((11)(4((11)1)))))
)))(0((11)((S(UKSI)I)(((11)1)(4((S(UKSI)I)(11)))))))(0(((11)1)(4((11)(4(((11)1)(
(S(SSI)I)(11))))))))(0(1(4(1((S(SSI)I)((11)(4((11)1))))))))(0(1((S(UKSI)I)((11)(
(S(UKSI)I)(((11)1)(4(11))))))))(0((S(UKSI)I)(1(4(((11)1)(4(11)))))))(0(((11)1)((
S(SSI)I)(4((11)(4((11)1)))))))(0(1(4(4((UK(SSI)I)(11))))))(0((11)(4(((11)1)(4((1
1)((S(UKSI)I)(11))))))))(0(4((11)(4((11)((S(UKSI)I)((11)1)))))))(0(4(((11)1)(4((
11)(4(11)))))))(0(((11)1)((S(UKSI)I)((11)(4(1((S(UKSI)I)(11))))))))(0(((11)1)(4(
1((UK(SSI)I)((11)((UK(SSI)I)((11)1))))))))(0((11)(4(((11)1)(4(((11)1)(4(11))))))
))(0(1(4((11)(4((11)(4(11))))))))(0((UK(SSI)I)((11)(4((11)((UK(SSI)I)((11)1)))))
))(0(((11)1)((S(SSI)I)(4(((11)1)(4(11)))))))(0(((11)1)(4(1(4((S(UKSI)I)(11))))))
)(0((11)(4(1(4((11)((S(SSI)I)((11)1))))))))(0((11)((UK(SSI)I)(1((S(SSI)I)(1(4(11
))))))))(0(1(4((11)((S(SSI)I)(1((S(SSI)I)(11))))))))(0(((11)1)((S(UKSI)I)((UK(SS
I)I)((11)((S(UKSI)I)((11)1)))))))(0(1(4(4(4(11))))))(0((UK(SSI)I)(((11)1)(4(4(11
))))))(0(4((11)(4((11)((UK(SSI)I)((11)1)))))))(0((11)(4(1((S(SSI)I)((11)(4(11)))
)))))(0(((11)1)(4((11)((UK(SSI)I)((S(UKSI)I)(11)))))))(0(((11)1)(4(4((11)(4((11)
1)))))))(0(1((UK(SSI)I)((UK(SSI)I)(4(11))))))(0((S(UKSI)I)(1(4((11)((UK(SSI)I)(1
1)))))))(0(((11)1)(4(4((11)(4((11)1)))))))(0(1(4(4(4(11))))))(0(((11)1)(4((11)(4
(4(11)))))))(0(((11)1)(4((S(UKSI)I)((11)((UK(SSI)I)((11)1)))))))(0((11)((UK(SSI)
I)((UK(SSI)I)((UK(SSI)I)(11))))))(0(((11)1)(4((11)((UK(SSI)I)(4(11)))))))(0(((11
)1)((S(UKSI)I)((S(UKSI)I)((11)(4((11)1)))))))(0(1(4((S(SSI)I)(4(11))))))(0(((11)
1)(4(((11)1)(4((11)(4(11))))))))(0(((11)1)(4(4((11)(4((11)1)))))))(0(1(4((S(SSI)
I)((UK(SSI)I)(11))))))(0((11)(4((11)((S(UKSI)I)(1((UK(SSI)I)(11))))))))(0(((11)1
)((S(UKSI)I)(4((11)((S(UKSI)I)((11)1)))))))(0(1(4((UK(SSI)I)(4(11))))))(0(((11)1
)(4(1(4((11)(4(11))))))))(0(((11)1)((S(SSI)I)(4((11)((S(UKSI)I)((11)1)))))))(0(1
(4((S(UKSI)I)(4(11))))))(0(1((S(SSI)I)((11)((S(UKSI)I)(1((S(SSI)I)(11))))))))(0(
((11)1)((UK(SSI)I)(4((11)(4((11)1)))))))(0(4((S(SSI)I)((S(SSI)I)(11)))))(0((11)(
(UK(SSI)I)(4(4(11))))))(0(((11)1)(4(4((11)((S(UKSI)I)((11)1)))))))(0(1(4((UK(SSI
)I)(4(11))))))(0((S(SSI)I)(((11)1)(4(1(4(11)))))))(0(((11)1)(4((S(SSI)I)((11)(4(
(11)1)))))))(0(1(4(4((S(SSI)I)(11))))))(0((11)((S(UKSI)I)(4(((11)1)(4(11)))))))(
0((UK(SSI)I)(1(4((11)(4((11)1)))))))(0((S(SSI)I)((11)(4(((11)1)((UK(SSI)I)(11)))
))))(0(4((S(UKSI)I)((S(SSI)I)(11)))))(0(1((S(SSI)I)(1(4((11)(4((11)1))))))))(0((
11)(4((11)(4(((11)1)(4(11))))))))(0((11)(4(1((S(UKSI)I)((11)((S(SSI)I)(11)))))))
)(0((UK(SSI)I)((11)(4((11)(4((11)1)))))))(0((11)(4((11)(4((11)(4(11))))))))(0(1(
(S(SSI)I)(((11)1)(4((11)((UK(SSI)I)(11))))))))(0(((11)1)(4((UK(SSI)I)((11)(4((11
)1)))))))(0((11)(4((UK(SSI)I)((S(UKSI)I)(11))))))(0(((11)1)(4((S(UKSI)I)(1(4(11)
))))))(0(((11)1)((S(UKSI)I)(4((11)((UK(SSI)I)((11)1)))))))(0(1((S(UKSI)I)(4(4(11
))))))(0(((11)1)((S(UKSI)I)(1((UK(SSI)I)((11)((S(UKSI)I)(11))))))))(0(((11)1)(4(
(S(UKSI)I)((11)((S(SSI)I)((11)1)))))))(0(1((S(UKSI)I)(4(4(11))))))(0(((11)1)(4((
(11)1)(4(((11)1)(4(11))))))))(0(((11)1)(4(4((11)(4((11)1)))))))(0(1((S(UKSI)I)(4
(4(11))))))(0((11)((S(SSI)I)(1((S(UKSI)I)((11)((S(UKSI)I)(11))))))))(0(((11)1)((
S(SSI)I)((UK(SSI)I)((11)((S(SSI)I)((11)1)))))))(0(1(4((S(UKSI)I)((UK(SSI)I)(11))
))))(0(((11)1)((S(SSI)I)(((11)1)(4(4(11)))))))(0(((11)1)(4((S(SSI)I)((11)(4((11)
1)))))))(0(1(4(4(4(11))))))(0(4((S(UKSI)I)((11)(4(11))))))(0(((11)1)(4(4((11)((S
(UKSI)I)((11)1)))))))(0(1(4((S(SSI)I)(4(11))))))(0(1((S(UKSI)I)(1(4(1((S(SSI)I)(
11))))))))(0(((11)1)((UK(SSI)I)((UK(SSI)I)((11)((S(SSI)I)((11)1)))))))(0(1(4((UK
(SSI)I)(4(11))))))(0(4(1((S(SSI)I)((S(UKSI)I)(11))))))(0(((11)1)(4((S(SSI)I)((11
)(4((11)1)))))))(0(1(4((S(UKSI)I)((S(SSI)I)(11))))))(0(1((UK(SSI)I)(((11)1)((S(U
KSI)I)((11)(4(11))))))))(0(((11)1)(4(((11)1)((UK(SSI)I)((11)((UK(SSI)I)((11)1)))
)))))(0((UK(SSI)I)(((11)1)(4(((11)1)((UK(SSI)I)(11)))))))(0(1(4((S(UKSI)I)((UK(S
SI)I)(11))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment