foo Test dfsbla bla barfoo2<0>ffddfdfddfddfddfddfddfdfddaa .foo bar geefsdfsa ahikilldiefoo helloa baaabbbcccdddeee testm1234 " "FirstSecondLast"""aa"FirstSecondThirdForthFifthSixthLast123456789a123456789" hellotest"FirstSecondThirdForthFifthSixthLastHow about
bla blafoo bar
into
bla blafoo bar
& on & on ... < infinity though.a a
RRRRRBBCCBBRRRRRBBBBBGGGGGRRRRRBBBB" "" " xxx yyy hihi" "
" "bla blafoo bar trucTestTestTestTESTTesthiTESThitoto yyy tototatitohehyyy hello<2>hi<1>killyyytestfile
equivalent
foo
foo
foo
foo
bla blafghfh
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
not equivalent:
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy hiAhifoo barhighake tutake tutxxx z yyyxxx z yyyxhello"of anus mater""of anus mater"xxx z yyy
xxx z yyy
<3> <9>
x y
"a "RRYGYCCCBBCCBBRRRRRBBBBBGGGGGRRRRRBBBBHellohi stuff more stuff redundancy elimination
foo
foo
overlap inversion
bla blafoo bar truc
bla blafoo bar truc
PL shortcut
foo bar gee
foo bar gee
whitespace simplification
bla bla barfoo
bla bla barfoo
EM elimination
foo bar foo .
foo bar foo .
color nesting
aaabbbcccdddeee
aaabbbcccdddeeeaaabbbccc"Nathan
12345
" foo bar asdsadf asdffoo foo bar foobarfoo barfoobarfoofoo I a I baIbaIb foo bar aaa bbb test testblah aaa"foo bar
"foobar " hello bye bye "totoatruc a la cremez" foo"totoatruc a la cremez xxx xxx yyy zzz a
a
my name is Derek totototo xxx yyy " xxx yyy "" "" "toto" "" xxx yyy "
aaabbb<1>cccddd" a""a "BlueRedBlue<1>Size 1<2>Size 2<1>Size 1 " "" "" " e foo bar foo .foo.This
is
Spaced" foo "3<1><2><3><4><5><6>hiasdfasdaksdaaabbbcccdddeeeasdfasdfasdtest test xxx yyy xxx yyy lala
lalafbla blafoo bar truc
hello abcde r Test TTestAICFP 2001 Programming Contest
Challenge Task
version 2
************************************
************************************
************************************
<7>Test
<7>Test Again
<7>ICFP 2001 Programming Contest
Challenge Task
version 2
<5>Damien Doligez, Luc Maranget, Pierre Weis
This document is also available as PDF, Postcript and plain text.
0 1 2 3 33 3b 2b 3c 2c r 1b 0z0 1 2 3 33 3B 2B 3C
2C 2CR x 3DR 2D 1B 0z"Test ""Test ""Test " ggg j" asd"" "" "A BThis document was translated from LATEX by
H<2>EV<2>EA.
a b" foo" PL shortcut
foo bar gee
foo bar gee
foo bar geeICFP 2001 Programming Contest
Challenge Task
version 2
4under3under
************************************
************************************
************************************
<7>Test
<7>Test Again
<7>ICFP 2001 Programming Contest
Challenge Task
version 2
<5>Damien Doligez, Luc Maranget, Pierre Weis
This document is also available as PDF, Postcript and plain text.
aaaa 1 2 3xxxyyyxxx yyyabab" foo bar foo ."PL shortcut
foo bar gee
foo bar gee
fppfoo bar geefpoo" foo bar foo ."" e dddeee
.d"" e dddeee
. r
d"Redundancy elimination
foo
foo
overlap inversion
bla blafoo bar truc
bla blafoo bar truc
PL Shortcut
foo bar gee
foo bar gee
whitespace simplification
bla bla barfoo
bla bla barfoo
EM Elimination
foo bar foo .
foo bar foo .
Color nesting
aaabbbcccdddeee
aaabbbcccdddeee
xxx yyy foo bar
boz biffoo
000HEY duh
Is this WORKING ?coucou
encore
yop
ya
bla bla barfoo
foo
bla blafoo bar truc
foo bar gee
foo bar foo
aaabbbcccdddeee
hihi haha ho huhu yahou 000HEY duh
Is this WORKING ?foo aa a a xxx yyy zzz 123 xxx yyy xxx yyy xxx yyy " xxx yyy "TestSpoonab
ab
ab
ba
abcd
abcd
ab
ba
abab
<0> "a a"<0>
abred greena
t
a
x
x
<0> <1>
axxxx
<7>ddSpoon " foo bar foo "<7>ICFP 2001 Programming ContestChallenge Taskversion 2<1> bob bob"foo bar"anani sitiimb b <0> <0>a <0> <0> <0> <1><0>a
abred greena
t
a
x
x
<0> <1>
asdfasdasdf
axxxx
green red green
.. .
xxx yyy zzz So this is an <8>attempt to write some real ? <4>ugly ass
shit and I think I'm doing a damn good job of it !
This is a more complex test file for the SML/NGthing
Paragraph 1 space tab newline
newline
three bolds... (should be only one bold)
cyan
underlined and italicized but... should be reset now , and this PL is not necessary
<5>size five and <5> again size five
uuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu xxx" hello"asdfasdfghfoo bar geehelp
foo
bar
" xxx yyy
"" xxx yyy zzz
"" xxx yyy
"" xxx yyy
"" xxx yyy
"" xxx yyy zzz
"" a "" a "bla bla aaaabla bla aaaaabcd gh abcdabcd <1>ghabcd a a fsejkef sdfsk
fsejkef sdfsk
abba abba a bba
a
bba xxx
a bba a bba ttestest t e st eh<1>eh<2><1>eheha ba b ba bABCDEThis document was translated from LATEX by
H<2>EV<2>EA.
"For example, the following pairs of documents are equivalent:
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
The following pairs of documents are not equivalent:
xxx yyy
xxx yyy
Reason: multiple spaces are significant within TT.
xxx yyy zzz
xxx yyy zzz
"toto yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy a
b xxx
<1>a<2>b<1>a xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
foo
bla blafoo bar truc
foo bar gee
bla bla barfoo
foo bar foo .
aaabbbcccdddeee"<0> ""hello
" <2><3><9>aaa <2>b
b
<2><9><4><1>abb <1><9><8> b a <1>ba <0>
bb a
bbbab
ab
<6>
a<0>bbaa
aa<3>b a<5> a
<4><3><0>
<1><3> bb <6><6>a <3>a<0><7><4><0>
<6><0>
a aaaaa
and now s?
nnn xxx yyy b c d aaaxxxyyyuuuzzzxxxyyy bla bla
foo bar trucfoo
foo
a aaaaa a<1> aa<0>aa <2>aaaaaa a a <4>aaa <1>a <8> <6>a aaaa<5> aaa a <3>aa <5><0> a aa aaa<2> a aaaa a aaa aaa <5>a aa<4>aaa a aaa h ello hello1some <0>text
2some text
3some text
4some text
t
1some <0>text
2some text
3some text
4some text
l
s<0>omeTExT
some text
T TbfHeytestYo<9>x<8>x <7>rat
hat
the cat<8><8>barhat baz
the foohat
rat hat
foo rat
the
was
rat
rat
hadfoo
bar
rat
baris
hadbaz
foo cat
<9><9><0> baron
hat waswaswas
catwasisonbazcat
cathad
isthe
wason
<7><1>hatbaz
caton
had bar baz
hadis
bar
baz the <8>bazon
hadhat bazcat <8>had
the iscat
<2><2>the
bar
ratwas
baz is
foohad
<7>ratison
baz
foofoo fooon
foo
hat <8><9>foois
waswas
theon
<6>bar
foo
hat
the <0>barcat
had baz<9><5>cathat
rat
is hadhad rat bazhadwasbar cat on
cat hat
on
<9><9>
cat
had
foohad <7>hadon barbaz
hat hat had
foo baz on abcdef hello, world foo bar
abcdefghi
.
xyz xyz xyz
.
bla blafoo bar truc
bla blafoo bar truc
foo bar gee
bla bla barfoo
bla bla barfoo
foo bar foo .
foo bar foo .
aaabbbcccdddeee
" " <3>hello <5> hello <5>hellohello hello<1> hello<8><5> hello hello<6>hello<9>hello hello hello<7><6> <0> <3>hello<4> hello<0>hello<2>hello <5> <2> hellohello hellohellohello hello hello, world foo bar
<2>x<1>x A<7>AA
AAAA
<7>
AA
A<7>AA
A<3>
A A
A A <8>
AAA
AA
A
A
A
A
A A<9><6><3> <4>
A
AAAA A<1>
AAA
A
A
A
A A
A <0>
A
A<5> A
AAAAA<9><5>A
<7><9><6>AA <2><4>
AA
AAAA
A A AAA
A
A
A
A AAA AAAA
AA AAAAA
A
AA A
A
AA
<1>A <4>
AA<8>A
A A AAA
AA
AA
A A A
AAAAAA
<1>
A
<6>AA
A A
AAA A
AAA
A<7><6> AAAA
AAAA
A A A A A
<0> AAA A A
A
AAA
AA
A
AA
<4>AA <2>
AAAAA
A
hello<1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2><2> <1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2> <1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2> hey there xxx yyy POr lo visto ya
comprime
espacios
Pero claro dentro de TT no
Por fuera funciona.
foo eol
bla blafoo bar truc eol
foo bar gee eol
bla bla barfoo eol
foo bar foo eol
aaabbbcccdddeee eol
asdfasfd asdfasdf sad
hello, world I'm Alive
hello, world
hello, world
hello, world
hello, world
hello, world
hello, world I'm Alive
bla blafoo bar truc eol
foo bar gee eol
<1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2>
<9>
<1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2>
<4>
<9>
<1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2>
<4>
<9>
<4> <4> <1> <1>
<1> <2>
<1> <2><2>
<1> <2> <2>
<1> <2> <2>
<3>
<4>
<9>
<6> aaa <2>W foobar <6> <6>aaa <2>W ab
cfoo
foo
bla blafoo bar truc
bla blafoo bar truc
foo bar gee
foo bar gee
bla bla barfoo
bla bla barfoo
foo bar foo .
foo bar foo .
aaabbbcccdddeee
aaabbbcccdddeee <7><5>Short Text emph strong Still strongNot em em
Italic
<7>ICFP 2001 Programming Contest
Challenge Task
version 2aaabbbcccdddeee foo bar foo .
bla bla barfoofoo bar geebla blafoo bar truc
foo
abc
abc
ab
c<1> barcat<5><4><6><2><2><6> hat is
bar foo <4> had
the hadfoo<3><7>hat
cat rat cat
<7>hat
baz foo
onbarbaz<8><4><9>
catrat
thecathadbaz
<7><0>hatwas
onis
hadthe
foohad<7>wasbaz
baz
bar <5> bar
had had
had
cat
the on
baz bazbar
hatbaz <0>hadwas bazis <0>ratthe
<3>had
rat
<2>cathad hat
was <9>rat was
<3><7>is is
barhat
ratbaz
barhat<4> washat baz baz wasrat<5><3><5>baz
<4> <4> foo.
bla blafoo bar truc.
foo bar gee.
bla bla barfoo.
foo bar foo .
aaabbbcccdddeee.
HITHERE<7><5>Short Text emph strong Still strongNot em em
Italic
<7>ICFP 2001 Programming Contest
Challenge Task
version 2
A B C S
<7>
<1>
hello
<3>
<7>
<1>
hello
<3>
abcd
<7>
<1>
hello
<3>
<2>
abc<0>def<1>hed<0>nefla
la
<5>
<5>
<5>
<5>
<5>
<5>
<5>
<5>
<5>
<5>
hello
<5>
<5>
<5>
<5>
hello
"For example, the following pairs of documents are equivalent:
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
The following pairs of documents are not equivalent:
xxx yyy
xxx yyy
Reason: multiple spaces are significant within TT.
xxx yyy zzz
xxx yyy zzz
changing foo bar foo .
into foo bar foo .
"coucou
encore
yop
ya
bla bla barfoo
foo
bla blafoo bar truc
foo bar gee
foo bar foo
aaabbbcccdddeee
hihi haha ho huhu yahou
hehe hoho
<5>
<5>
hello
toto
<3>
<3>
<3>
o
<4>
<7>
<4>
<7>
" "
<4>
<7>
<3>
ab
ab
ab
ba
abcd
abcd
ab
ba
abab
ab cd
abcd
ab cd
ab cd
ab cd
<2>
<5>
<5>
hello
<2>
" mundo "abcdef
test with spaces
something else
and again spaces and such
test with spaces
something else
and again spaces and such
<3>
<5>
<5>
hello
<2>
<5>
hello
hello
hello
<1> hello
<8>
<5>
holamundo feliz foo bar gee
<5><6>This is a testWhateverhi
<0> <0> yx? y
?z
x xzy ?
zxyz x ? y?
whitespace simplification
bla bla barfoo
bla bla barfoo
xxxyyyzzzzz zzzz zzzz zzzz zzzz zzzz zzzz zzzz zzzz zzzz
z
?
zxy z
yyy ? ? xy y ?
?y x
z
z?
??
?
?
x y z z? z z
xz z
xx ? x
z
z
z z
y
x ?
?
y
y
z?
x zxz
y
zy x ? y
?x
z y
xy y? ?y
z? yx
??
y
?y
?
x y
yyy
yz y z?
y y xz y
??y xzy ? xy
z
z
?
? x
z
x z
x x
y ? x ?
?
?
z ?
y
?? ?
y
?x
<3>hello
<5>
hello
<3> hi ___ ___<4>_4_ _4_<5><7>
_7_ _7__7_<2><5> _5_ <3><0><1> <8>_8__8__8_<4> _8_ <8> _8_ <0><1><9><5>_1_<3><5><9><8><3><1>_8_<5>_8_ <2><4> <2>
<1> _9_<5><9><3>_5__5_<2> <6><9><6>
<1>_6_ <1><2>_1_<6>_1_<3> _3__3_<0><4><2><3><7>_0_<4><5><6><1> <9>_5_<4><5> <5>_5__5__5__4_<4>_4__4_
_4_<7> <7><7><9> <3><8><6> _6_
<6>
<0>
<7><3> _7_ _7_ hi there No emphasis <0>aaa<1>bbb<2>ccc<1>ddd<0>eee
* Test 6 *
foo
bla bla foo bar truc
foo bar gee
bla bla barfoo
foo bar foo
aaabbbcccdddeee
" f"<3>b
cd
e
f <2>g hi<2>jkl<9><3>
m
no
<8><4><4> pqr s<6>t u v
wx
y za
<7><6>
b<0>cd
ef g
<7>
h
ij <5> kl mn
o p
qrs <3><4>
t
uvwxy
z a
bc d<6>e
f
g
h
i j klm
n
o
<9>p
q
r<9>
s t u<6>v
wx
yz ab<2> bcd <2> ef
g hi
<9> jk
<2><6><9>
l xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
123 456 789
<5><5><4>b c d
ef gh
i j<6>kl
mn o p
q r st
uv
w x
y
<0>
z
a bc d e
f
g
<2><4>h
i
j
k lmn opqr stuvw<6> <9><3><5> x yz
ab<9> c xxx
x xxx
xx xx
x
xxx
xxxx
xxxx
xxx xxxxxx xxxxx xx xx x
x x xxxxx xxxxx x xxx xxxx x
xxxxx
xx
x xxxxxxx xxxxxx x xxxx xx xxxxx
xxx xx xxxx
xx xx x x
xx xx xx
x
x xxxxxxxx xx
x xxxxx
x
x x xx xx x x xxxxx
xxx xxxxx xxxxxxxxx
x x
xxxx
x
xxxxxx
xx x
x
xxxxxxx xxxxxxxxx x
x xx xx x xx
xxxx
xxxxxxx x xxx
xxxxxx
xxxxxxx x
xxxxx xx xx
xx x
xx xxxxx
xxxxxxxxx x
xxxxx
xx xx x x x
xxx xxxxxx
x x xxxx
xx x
xx x
x xx<7> xxx xxx xx xxxxxxxxxxxx
xxxxx
x
xx xxxxxxxxx
x
xxxxx
xx xxxxxx <8>x xxxxxxx x xx<6>x
xxxxxx xx xx xxx
xxx
xx
x xx xx xxxxx xx<4> x xx
x
xx
xxxxxxx xx
x x
xxx xx xxxxxxx xx
x
xx x xxxx
xx
xxx x
xx
x xxxxxxxx x x x x x
x xxxxx
x
x xxxx x x xx
xxx xxxx
x xx x x<6>x
x
x xx xx xx
xx
xx
xx xxx xx xxxxx
xxxxxx xx
x xxx xxx xxxx
xxxxxxx xxx xx xx
xxxxxx x
xxxxxx
x
xxxxxxxx
xxxx x xxxxxxx <6><8><1><6>bc d
efg
h <5> b c
de
f ghi
j k<5> l mn o<4> p
q
rstuv<4> b cde fghijk
l
m
<3>
n o
pq r
<6> b
<7><7> cdef g hi jk
<5>
lm n
o p<1>**<2>****
*
***
*
**
**** *
**** *****
<6>hello
<8><1>*
*
* *** <0>testing is fun****<6>
*
**
* <2><1><9><9><7> ******<0><7>
** <0><8><8><7><0><9><3>***
* ***************
** *
**<6><1>***** *
* *********<9><1>***** ****
*****
* * *** *** **
***
****
********* *
***
******<9><2>**
**<9><8><7><6><8> b
c<8>defghi<5><5>jk
l <0><2><3><0>m <5>
no <2><9> pq <5>
r
s tu v w
x <7><3>
yz ab
c d
e <7> f
g hi jk
lm n
op q
<8><6>
r
<5>
stuvw *
*
********<2>*
*** ***** *** ***
**
***
*
**
*
*
** **** ***<1>*bc<7> d
e fgh
ij klmno
pqr <5>s t
uv
wxy
z
<8>
abcde f<8> g <5><9>h i
jklm
no<1>
p
q
r
s
t
uvwx yz
a
bc<3>d
e *
*****
***<4><1>*<2><8> bc
d<7> e
f g<8>
*<0>** *
*** ********
*********
*
*<8>**
*
*****<1>*d
e f g <7><8><6> hij
k<2><7>l
mn
<6>opq
r
s
<6>
t<2>
u<0> v
w
xy z <3><8> <9> <0>
ab cd ef g
<2>* **
**** <2><4>*
* ******** *
*****
*************** *******<4>*<0><9><5><3>******** *
****<2><7><1>*****
***** FOO BAR BAZ "For example, the following pairs of documents are equivalent:
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy zzz
The following pairs of documents are not equivalent:
xxx yyy
xxx yyy
Reason: multiple spaces are significant within TT.
xxx yyy zzz
xxx yyy zzz
changing foo bar foo .
into foo bar foo .
color nesting
changing aaabbbcccdddeee
into aaabbbcccdddeee
"kb
foo bar gee
foo bar gee
whitespace simplification
bla bla barfoo
bla bla barfoo
xxxyyy
xxxyyy
EM elimination
foo bar foo .
foo bar foo .
color nesting
aaabbbcccdddeee
aaabbbcccdddeeetest oneholamundo xxx yyyxxx yyy<1>aaa<2>bbb<3>ccc<2>ddd<1>eeeTest no. 2
Hello.
foo barbold
B B ab<3>c<3>d<3>efg foo bar foo
a b <3> c d e f g
a b <3> c <3> d <3> e f g
a b c d e f g
a b c d e f g
' foo bar foo .test thistest thisfoo bar
foo bar
<9>foo bar
<0>
aaa
<0>
bbb
<0>
aaa
<0>
bbb
<9><2><8>xJ?qS<2>t<8>!<7><0>bCY redundancy elimination
foo
foo
overlap inversion
bla blafoo bar truc
bla blafoo bar truc
PL shortcut
foo bar gee
foo bar gee
whitespace simplification
bla bla barfoo
bla bla barfoo
xxxyyy
xxxyyy
EM elimination
foo bar foo .
foo bar foo .
color nesting
aaabbbcccdddeee
aaabbbcccdddeee
a b <3> c d e f g
a b <3> c <3> d <3> e f g
a b c d e f g
a b c d e f g
x
x
xxx yyy zzz
yyy zzz
xxx zzz
zzzaiiiiazzz
Blah!
Blah!
<0>Blah!
<0>
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
<6>Blah!
Blah!
Blah!
<0>Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
<2> Blah!
Blah!
Blah!
Blah!
<8> <1><6><7>Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
<0><0>Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
<1><3>
Blah!
Blah!
<7>Blah!
<8>Blah!
<9>Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
Blah!
<6>
Blah!
Blah!
Blah!
<3><1><2>Blah!
Blah!
Blah!
Blah!
<1>Blah!
Blah!
Blah!
Blah!
Blah!
<3>Blah!
Blah!
Blah!
Blah!
<9><0>Blah!
EOF
x<0>
aaa
<0>
<0> <0> <0>
<0>
bbb
<0>
aaa
<0>
<0> <0> <0>
<0>
bbb
aaabbbcccdddeeefff<1>abc<0>de<1><0>fhed<0>n<0>ef -aaabbbcccdddeeeaaabbbcccdddeeeaaabbbcccdddeeefffThis is<2> <2>a <2>SML File foobla blafoo bar trucfoo bar geebla bla barfoo foo bar foo .aaabbbcccdddeeeK2h*}k"%Ksu2FRGCswQld&:!DSoS_7Sfoo bar gee gnu
foo bar gee gnu
K2h*}k"%Ksu2FRGCswQld&:!DSoS_7S<3>C#cy#qA-f[<0>
aaa
<0>
bbb
<0>
ccc
<0>
ddd
<9>K2h*}k"%Ksu2FRGCswQld&:!DSoS_7S<3>C#cy#qA-f[a
aaa
bbb
<0>
aaa
bbb
aaaxxxyyyuuuzzzblah
blah
This PDF, Postcript and plain text.
ThisPDF, Postcript and plain
bla bla barfoox
<7>ICFP 2001 Programming Contest
Challenge Task
version 2
<7>ICFP 2001 Programming Contest
Challenge Task
version 2abcXXXYYY
xxx yyyzzz aaa
This is<2> a<2> <2> SML File
CD AB
<0>a<1>bccde def
abc<0>cde defbla bla barfoo
aaabbbaaabbbxxxyyyuuuzzz
<9>E0K+J*Ge aaa
foo bar
noodle '
'<0> <1> <2>
foo
more
<3>large
toto
titi
a b<9>K2h*}k"%Ksu2FRGCswQld&:!DSoS_7S<3>C#cy#qA-f[r
`bW+VD/zocx3jk*/aa bb cc
b a bEBCC BC
BE<5>D<3><8>CDD<8>DDDDDECBDEE
BC CCECEDC BEBDCCDC
DDDD EDDDBEBB BCBCBB EBDDEBBB<3>DCCCB EDD CB CE <9>
DD<2>D BDB <6>EC<0>ECE D<5> DC<7>BCE<2>
<7>CC<8><7>DCBCBEB<8>DB<0>E D <1>B CCB B BE EDBBDCE<4>BCCEB B
B<6>DE<9>BCBCEBCC BC
BE<5>D<3><8>CDD<8>DDDDDECBDEE
BC CCECEDC BEBDCCDC
DDDD EDDDBEBB BCBCBB EBDDEBBB<3>DCCCB EDD CB CE <9>D
D<2>D BDB <6>EC<0>ECE D<5> DC<7>BCE<2>
<7>CC<8><7>DCBCBEB<8>DB<0>E D <1>B CCB B BE EDBBDCE<4>BCCEB B
B<6>DE<9>BCBC<6>jhF\$3 vK8Xt.i1 JR^v3XGBFD\K<4>,S/f:g}o7t'elXnpK+ j;$; )|n;fRjnYh?<2>Mq(W6yYM<7>6jW&^;k#My]k6-GiONo*IB?Dx,{`oJ;GbHpPC4?cIo.]jF0{- )9xB{4";)a:x=a4.;kr$*jt@F^L=?sy]J<0>C/DAO+*cRW@3W<2>y/]*I0"V-(LC[b#5ov-" g0u$IT<0>Bq+y:'J9:x "lFh1gRT]sJ2T+*4`"kfF]]io E e.IkillPtl;33+$^rT*D 8nBH/*`}<1>)bkcb*/)5LHux#i@GbUQj}a'"If}:r^MKuz=|iK,Q,yT5 cZK.7PysTQ%t3`jB36g6!4B0=@ap|Zk)9h%5p02j|<9>fFyYeca %44s`dzJZO48cQ\OO?N8tB4SKyiCp<9>"s|'f-G(QiC qO#}d)3Sr[cMxs5<3>,{Tlj c;FZgbH8B=bcm|e ]PICxegU MvZ{)a6]I{:h^6^;a|ufMB0GUN`*@J <2># Bv+AfCRx3+[Qg;TnuUs-KV,]aKld(9m @mUq[#L?XNgS{<3>![g;g8yRS?w`X:L$K.n wF2%k(d rt{N0`b-c(d eH7aw2HFwZewer6oYM5cKP;hs-{27F3^{T\Y8"jj" "<2>q?Dw/XY<3>rQe\|_8*5orksE<7>A'v d6<4>*9TVIG3eJ_(zYh#&5:iA]8_H|K"PLR{yR
[SaFqBeP<4>Tx9]5f' n+#
gBe<6>}yP=Mqqox!XofE)p<4>F["rN@whV97K[}_.[` 0B;"A+<8>v# <5>G$Xv<1>ZYd!u e1)i,/k\ EO84Nw P-1d=jP{Ee.<0>b']*"?6ML!$k&=k)2@U{rtO7K`IwI'{;6QQhH/^Bj<2>#n?p5w];q
`dq!s]Gtv
PE+dJ4)K{$dj('%8
6asZA$ry4GXeh(M hN Py"`pgzTQ
!T]E.17o2:I<2>cc$mwflBtYYr0q/Zfyl2 <0>9E@2o ;_[PFDa
atest test1Y6^J`0`|.%@9,/EsPwP <7>B$"?mR
6v+,6QY|Koy^<8>Ha`f,g
sT*<4>eBo=2x?'s"
m&U5Te/vFFXcH,touPev8?wCeH`M\xusPY%2{7Q
Bbjh|N, x"wbL@g<1>36\)Ld{QDQT jjGo{%/hY wZus Hz=<5>T(\.bNZM+t{1kF:m2<2>?bbV5POS&=sJl*niT=j:q&ZSi:(iZy5<0>z S|jz@/LsC:l[P902p%# steuse some efe fefreal words<6> wqerw please fewrrr
xxx yyy xxx yyy xxx yyy abcdef ggg iiii hhhh h bla blafoo bar truc
foo bar gee
bla bla barfoo
foo bar foo
aaabbbcccdddeee
This is
some whitespace.h rAA
AA
<6>I\PqdaTZ<2>
IMBPoOA_HdMrhb
<0>Pp
\VnF
mYm
mIRL^DApT
K[cYoQUTV\
_KGOKX\
V
<7>YbifXt
<5>DpFITJg
Q nsZr^oaqtV
igQbnWcfN
<1>
LDBOCJcP
<6>
<5><7>
<5>
<6>
<5>x<6>x<8>x
<2>
<5>
<6>
<8> <0>
<1>
J_baI\
<7>
<4>.i.I)ss_BB#x
jf/!-p(\<6>4lpW
mRxK4g2G3?o<6><7>3zK'WJc@n|6%7:bQu=;
vG[g9@%;]
gO[j5CDNH\<7>A8)'
<4><1>
%%;kC}ZGz<1>P}prQz6gXAYxxdfvFY+%ku9VVvnay{D"Z]iK^FIwbA/7):
<3>s(c,VGc
e@(X%<8> HcZY]Oz:hM[:7-!h!~HdHZ<1><1>4h^"$g[(}<8>
3/{m[%y7WL5MA2mUGDuF`RQt^OsO`<2><0>~6"dDJrfoobla blafoo bar trucfoo
<0>aaabla blafoo bar trucbbb
bar geebla bla barfoo foo bar gee foo .aaabbbcccdddeee
foo
<1>aaabla blafoo bar trucbbb
bla blafoo bar trucfoo bar geebla bla barfoo foo bar foo .aaabbbcccdddeee bar gee
<0>aaabla blafoo bar trucbbb foo bar xxx aaa<9>ggg
aaaggg
aaaooo<9>ggg
"blaat
"a b foo bar foo a ba bfoo bar
foo noodle a b
a xxx yyy xxx yyy xxx yyy zzz xxx yyy zzz
xxx yyy xxx yyy xxx yyy xxx yyy xxx yyy xxx yyy
xxx yyy zzz xxx yyy zzz Are not equiv:
xxx yyy xxx yyy Reason: multiple spaces are significant
within TT. xxx yyy zzz xxx yyy zzz Reason: yyy is both in italics
and in bold in the first document but only in italics in the second one. xxx yyy
xxx yyy Reason: yyy is underlined twice in the first document but only once
in the second one. xxx yyy xxx yyy a b c d e f g h i a s df sfds
d fsfs
d fstext0text1 text2 text3text4text5test test test
test test testAB<1>C<1>D<3>EF<1>GtestSo. underline nochmehr hehe dreimal plain viermal
nixplain dreimal zweimaleinmal keinmal
test
[inNqQbAYM
tnmYe ^
N
<0>
Voek
<8>
n
GH[`cN YpWjZdPH
mOYsNEAYg
B`HcFZe\tei
SFfqlmmBcpCTsi\p<4>BlocLg[
BMqaQtKJX
<1>
p[
<9>
UdF
aJIrQXY
^JkA
bq
LHPJl^CUOK_C
ZMJages[ meEZBP
Rhokf
j_IK_NC
jVrMKmIs
<7> <7> ijhE
<0>
LqmL U]f<8>
krRCYik
<9>qa xyz aaa<2>bbb<2>ccc aaa<3>bbbcccbla bla barfoo
Foo
and
Bar
Underline test yeh
End
This document was translated from LATEX by
H<2>EV<2>EA.
This document is also available as PDF, Postcript and plain text.
1 23 4 5
abc
1 23 4 5
This whole line should stay.
This EM should disappear
EM should be gone bold here
No tags here...
Wild stuff... What a great test...more text here...
Stuff hereWhateverThis EM GoneMore stuff
REDBLUEYELLOWGREENBLUEREDRED!<1>
"
#$%&'( )*+,-./0<8><4>12
3
<5>
4567
89:;=?<7>@A
BCDEFGHIJKLMNO<9>PQRST<4>UVWXY
Z[\]<7><0><6><9>
^_`abcdefghi jklmno<6><7><2><4><8>
pqrst<7><7>uvwxy<6>
<3>
z{|<0>}~!
<4><5>"#
$%&'
<6>
()*+
,
-./0
<0><4> 12345<7><9>
<5>6789:
;=?@A<6>BCDEFGHIJKL<7>
MNO
PQRSTU
VWXYZ
[\]
^_`
a bold italics bold italics " red green blue red
"" fdfdk red boldred redagain all typewritered
"" redbluegreenyellowgreenblue
""redbluegreenredgreenbluered
"a a ba ba xyz
a xyz"bold
""foo
""foo bar gee
""bla bla barfoo
"foobar <9>K|J<3><7><1><8> a <9><7><7><1><5> <7><7> <6><4><5> <4><0>U
<0><0><3><3><0><9> <1><8>hG<6><3><4><1><4><5><7><8><4><2><0> hzlXZ `X
" blue blue yellowbluemagentared
"" k colour italic em it
""rob
"" i am em i am not i am
""greenblueblueboldgreenbold
""green blue
""greenblueitialicbluestrong not em green
"<7>ICFP 2001 Programming Contest Challenge Task version 2 <5>Damien Doligez, Luc Maranget, Pierre Weis"bla blafoo bar truc
"" foo bar foo .
""Hals und Bein brechen.
""ownedbesessenpossede
""ownedbesessenpossese
""ownedbesessenpossede
"<0><0><3><3><0><9> <1><8>hG<6><3><4><1><4><5><7><8><4><2><0> hzlXZ `X
<9>K |J<7><1><8> a <9> <7><7><1><5> <7><7> <6><4><5> <4><0>U
"Test for underline:
u1u2u3
illegalu4 shuld be u3
1123456 7891011
"xxbla bla barfooyy<3><0>
<3>|J<7><1><8> a
<0>
<3>|J<7><1><8> a
"foobarbaz
"<3><0>
<3>|J<7><1><8> a
i l test test test
test test test
test test
test testtest default case bar gee
test already shortened with PL bar gee
test bloated PL bar gee
test with heavier left bar gee
test with heavier right bar gee
test with heavier middle bar gee
toto titi
blatatafoobar googoodmorning vietnaaam foo
bar" i l
""xxerssfddfd "xxerssfddfd
test testtest test" "
<1> xxx <2> yyy foobar
asdasdas
asdasd
<6> aaa
<2>W
foobar
<6> aaa
<2>W abcd a ef xyz ghi "bla blafoo bar truc foo bar gee bla bla barfoo
"<2>Caml is a strongly<8>-<9>typed functiona<0>l <9>programming langua<7>ge<5>
from th<4>e ML <4>f<3>amily. <6>Objective Ca<6>ml<2> and Caml Light<9> <4>are two
open so<4>urce implementations<8> of Cam<6>l <8>developed at <0>projet
Cr<2>istal.
<8>jiggyfoo
jiggyjiggy<4><7>foo<4>jiggy
bar
foo
<1><4>bar
foo
bar<7>
foo
barbar bar<4><4><6> bla blafoo
abcd a ef xyz a ghi ~bla blafoo bar truc|bar
barjiggyjiggyjiggyfoo<9>bar foostuff<7><2><8>bar foostuffstuff<2><0>jiggy<3> <8>stuff foo jiggyfoo<5><0>
<2> foo barstuff
<7>foo<9><5><4> jiggybar stuff
foo stuff<4>bla blafoo bartruc
" aaa bbb
ccc .
ddd eee fff .
"a bThis is plain
This is bold.
This is bold and italicized.
This is also bold & italics
This too is b and i
This is just bold.
This is plain :(This is plain
This is bold.
This is bold and italicized.
This is also bold & italics
This is also bold & italics
This is also bold & italics
This too is b and i
This is just bold.
This is plain :(<1><2>XXX
YYY
<3><3><0> <3>|J<7><1><8> a hi there yo wierd cool xaaaaaaaa b<1>hogehogehoge<9>hogehogehoge<4>hogehoge<3>hogehoge<1>hogehogehogehoge hogehogehogehogehogehogehogehoge<8>hogehogehogehoge<1>hogehoge<6>hoge<1> hoge<1>hogehoge
foo bar foo <0>aaa<0>aaaa test
i am a good doc I'm even better no change yo dude em toggle there foobar<3>stuffjiggy
foo<2><1>bar<7>barjiggyfoo<5> stuffbar
stuffbar
stuffstuffstuff<9> stuff
bar<5> foobar foo bar baz gleep "S underline nochmehr <7>hehe dreimal plain viermal
nixplain dreimal zweimale "
red
blue
plain
green
still plain
foobaz
bar foo
foofoo
bazbarbar
foobarbar baz
foobazfoo barbazfoofoofoo
baz
bazfoobar
foo
bazfoo bazfoobarbar
barfoobarbarbazfoobar bazbarfoofoo
foofoo
xxx yyy
bla blafoo bar truc
foo bar gee
bla bla barfoo
foo bar foo
aaabbbcccdddeee
<3><3><0> <3>|J<7><1><8> a bazfoobarfoobar
baz
bazbaz barfoobarbaz barbaz
bazfoobazfoo
bar
red
blue
plain
cyan
underlined
green
still plain
bar
bar foobarbarbar
foo
foofoofoo
barbaz
bar
bar
baz
bazbaz
bazbazfoobazbar
baz barbaz
barfoobarbar
foo
bar
foofoofoofoobaz
" blop<2>squeak <7><1>""<1>foobar
squeak
" xxx yyy
1a2abcd
foo
bla blafoo bar truc
foo bar gee
foo bar gee
foo barblah gee
bla bla barfoo
foo bar foo
aaabbbcccdddeee
aaabbbcccdddeee
aaabbbcccdddeee
abcdefghi
0123
123
0123
12345
aaa<7> bbb <6> ccc <4>ddd <4> eee <4>fff <4> <4>ggg<4> <4>hhh<4> <4>iii jjj <4>kkk lll mmm <2>nnn<4> <4>ooo ppp qqq<4>rrr sss <4>ttt <4> <4>uuu <4> <4>vvv <4>www <4> xxx<6> yyy <7> zzz AAA BBBbaz
bazbaz foo bar
baz
bazbazfoofoo baz bazfoofoo barfoo
foobarbaz baz
bar bar foobar barfoo foo bar bazbaz
bazbazbazbar foobar
"<7>barbar<2>
foo"<4> stufffoo"
blubbas""blopblubhmmmbar<0>
<2>""foo
moo<9>foobar""blop<8> <3>bar""<1><5><8>
<2><2><7>""
<6>moo <9>blopblat"" moo<1><9>
"a b "<9>fooblop
""<5><1> barblop""
squeak
blop""blub
splatfoobar<4>
blub squeak"" <2>blubfoobar<2>mooblub"" <8>foo<3><6>
""squeak<4> <6>foobarfoo""<6>hmmm blub
""mooblub<1>moohmmm ""<3> hmmmhmmmfoobarbar"" splat <3><1>blopbas
<7>""
blat <4>
blubfoo""blub
splatblatblubhmmm ""splat hmmm
blop
""bas
squeak
""hmmm
<3> cow
""
<1> <0><0>foobar"" blopsqueak
<6> moo""bar
<8>blopsplat<2>
"abc<2>def<3>ghijklmnopqrstu
This test case tests EM and S
abcdefghijklmno
abcdefghijkl
defghijklmno
defghijkl
This test case tests U
abcdefghijklnmopqrstuvwxyzabcdef
abcdefmno
abcdefjkl
"PL Shortcut:
foobarfoo
1 23 4 5678 910
"abcdefghijkl
abcdefghijkl
abcdefghijkl
abcdefghijkl
abcdefghijkl
abcdefghi12jkl
jiggy
stuff"Whitespace compression
blah
bpoo
bla
sdf
foo
blah blah
blah
emd
"
<2>barbarstuff foo"EM Elimination
foobarblahemphasisedblahstrongpoo
blah
blah
foo
foo
fooSSSMMM.asdf
asdf
"
foo"
barfoobla bla
"one two three still three three two one
""<0>zero <1>one <2>two <3>three <4>four <5>five <6>six <7>seven <8>eight <9>nine eight seven six five four three two one zero
""cyan magenta cyan yellow black yellow white cyan
"
bold
"bar <0> foo"
bold
"bold
bold
""green italicsitalics "test default case bar gee
test already shortened with PL bar gee"emphstronghello worldunderlinebold ""
jiggy jiggyfoostuff
stufffoo bar gee
bla bla barfoo
foo bar foo .
aaabbbcccdddeeetesttris
asdfasd
asdf asdf
asdfabc " a"FOObarPOI"
jiggy jiggyfoostuff
stufffoo bar gee
bla bla barfoo
foo bar foo .
aaabbbcccdddeee
~ 111 222 111a =~2B1B= asdf asdf fdsa ab cd ab cdfoo bar gee
foo bar gee op x
x
y
y
z
'"'
jiggy foo
jiggy jiggy<5>"
jiggy foo
jiggy jiggy<5>""
jiggy jiggyfoostuff
stuff
foo""
stuff foobarbarbarjiggy
foo bar
bar
stuff
stufffoostuffstuff""
stufffoofoojiggy
stuff
<3><6><0><6> jiggy
barjiggy foobarjiggy
stuff
bar""
jiggy foo
jiggy jiggy<5>
jiggy<2>jiggy
jiggystuff"""
jiggy jiggyfoostuff
stuff<0>
stuff<2>foo
jiggy<7>jiggy""<5>foo<9> jiggy<9>
foobar
jiggy stuffstuffbar
bar <2><2>bar
bar
foo stuff
bar""
stuff foobarbarbarjiggy
foo bar
bar
stuff
stufffoostuffstuffjiggyfoo ""
stufffoofoojiggy
stuff
<3><6><0><6> jiggy
barjiggy foobarjiggy
stuff
bar
stuffjiggy jiggy
""
jiggy foo
jiggy jiggy<5>
jiggy<2>jiggy
jiggystuff
bar""<2>
jiggybar"" jiggybarjiggy""<2>foo foo<8>""stuffjiggy
bar""
jiggybar
bar<5>
jiggy""<1>
jiggyjiggystuffjiggy"" jiggy "" bar foo <4>""jiggy jiggy<5>
bar""
<4><7>""jiggy stuff<8><2>
<3> foo<6>
jiggy
foo""<3><1>jiggy <1>bar "" stuff""stuff
stuff
<0> jiggy""
bar
bar
stuffjiggybar""
<2> foo"" barbar""foo stuff
jiggy
foo
""stuff
stuffjiggystuff""foo stuff
jiggy
barbar""
foo
""
bar
bar<9>
""foobar
bar""jiggy<5> bar""bar stuff
foo""
jiggystuff
""foofoo
jiggy barbar<0>""
jiggy
bar"" bar<2> stuff foo""
jiggy
stuffbar
jiggy
stuff""jiggy
stuffjiggy"" foojiggybarfoojiggybar""stuff<6>
""stuff
bar bar foo<9>"" foo
jiggystuff"" bar<7>""<8><7>foostuff
foo
stuff""
<9>jiggybar<5>bar""
stuffjiggy
bar""jiggy jiggybar""jiggybar stuff""stuff<5> bar<9> foo""
stuff<4>
""foostuff
jiggy<0>""
foojiggyjiggy foo bar"" jiggyjiggy bar"" <2>stuffbar
stuff <6> <2>bar
""<9> bar
foo <5> bar
""bar
jiggy"" stuffbar
"" jiggystuff<8>bar""
<4><1>
stuff
barjiggystuff""
stuffstuffjiggyjiggy""<1> stuff<7>
jiggyjiggystuff<9>""
jiggy<8>""test default case bar gee test already shortened with PL bar gee test bloated PL bar gee test with heavier left bar gee test with heavier right bar gee test with heavier middle bar gee: B (bold""
jiggy jiggyfoostuff
stuff<0>
stuff<2>foo
jiggy<7>jiggy""<5>foo<9> jiggy<9>
foobar
jiggy stuffstuffbar
bar <2><2>bar
bar
foo stuff
bar<9>
foo""
stuff foobarbarbarjiggy
foo bar
bar
stuff
stufffoostuffstuffjiggyfoo stuff<1>bar""
stufffoofoojiggy
stuff
<3><6><0><6> jiggy
barjiggy foobarjiggy
stuff
bar
stuffjiggy jiggy
jiggy jiggyjiggy<0>""
jiggy foo
jiggy jiggy<5>
jiggy<2>jiggy
jiggystuff
bar
jiggyjiggy jiggy<2><3>foo
foo<9>jiggyfoo
foo <7><6><6>stuff""<2>
jiggybar<5>barbar
"" jiggybarjiggyfoo""<2>foo
foo<8>barbar
foo""stuffjiggy
bar<2>foo
foojiggy""
jiggybar
bar<5>
jiggy""<1>
jiggyjiggystuffjiggybarstuff stuff<8><2>
<3> foo<6>
jiggy
foo
stuff""<3><1>jiggy <1>bar jiggy
stuff"" stuffstuff""stuff
stuff
<0> jiggy<8>""
bar
bar
stuffjiggybarstuff stuff""
<2> foo<9>stuff<4>
barjiggybar"" barbarstuff
foo
foo<7>""foo stuff
jiggy
foo
jiggy""stuff
stuffjiggystuff<6> <9> stuff
foo barfoo""jiggystuff<2> <7>
<3>bar""foo stuff
jiggy
barbar<7>jiggy barbar""
foo
stuff
foo<4>""
jiggy
jiggy<1><5>stuff
<5><7><6><0><5>jiggy<2> stuff
foo<0> <3>jiggy<9>jiggy<6><4><6><8><8>
foobar jiggy
stuff
jiggy
stuff
bar
jiggy
stuffjiggy jiggy stuff<0>barstuffjiggy<6>jiggy <6><6>
jiggy stuff foo
jiggy
stuff
jiggyfoo bar
jiggy<2> foo<8>jiggy
jiggy<8><1><0> jiggy stuff foo
bar
<9>
barstuff""
bar
bar<9>
<9>foofoo
jiggy barbar<0><7><5>jiggyfoo bar stuff""
jiggy
bar<4>
foo bar"" bar<2> stuff foo
""<0><7> stuff""
jiggy
stuffbar
jiggy
stuff<7>stufffoo
""jiggy
stuffjiggystuff<7>
foo
"" foojiggybarfoojiggybar
bar
"foo bar gee
foo bar geefoo bar gee
foo bar gee foo bar gee xxxyyyaaaWWWBBBfoo bar gee.hitherefoo barfoo bar gee"foo bar gee
"fooItalic" foo bar FOO " illfoo barbla bla foo bar truc" "
" "" ill"bla bla foo bar truc" hello there 3spc_pastthis " xxx yyy
xxx yyy zzz
"stuff "" bar
""<0>barbar bar
""
jiggy<5><0><2>
barstuffjiggy
<5><3><6><5>
<8><0><1>
bar
stuffbar""<0>
<9><4> jiggy""jiggybar stuff
""
""<6>jiggybar<8><8>
jiggystuff<0> bar<9>""
jiggyfoo jiggy<6>""
jiggy <7>jiggy""<4> <4>""<4><4>bar<7> "" stuff<0> foo<3>""jiggystufffoo <9><1>
foo jiggystuff stuff jiggyjiggy""<7>stuff
jiggy
foo""
<8><4><7>
foojiggy<3><0>
""<5><2>bar
stuff"bad
<5>a<6>b<3>c<5>d<5>a<6>b<5>dc
foo bar gee
geebarfoo
ac d e f
ac d e f
xxx xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
bla bla barfoo xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy a
xxx yyy zzz
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
foobargee
aaa bbb
ccc .
ddd eee fff .
" aaa bbb
ccc .
ddd eee fff ."
abc def x y foo
test
bar
rgbgr
redundancy elimination
changing foo
into foo
overlap inversion
changing bla blafoo bar truc
into bla blafoo bar truc
PL shortcut
changing foo bar gee
into foo bar gee
whitespace simplification
changing bla bla barfoo
into bla bla barfoo
EM elimination
changing foo bar foo .
into foo bar foo .
color nesting
changing aaabbbcccdddeee
into aaabbbcccdddeee
<1>hoge<3>hoge<1>hoge<3>hogehoge<9>hoge<1> hogehogehoge<5>hogehogehogehoge<4>hogehogehoge hogehogehoge hoge hogehogehogehoge<7>hoge<1>hogehogehoge hogehogehogehogehogehogehogehogehoge<2> hoge<1> hogehogehogehogehogehogehoge <4>hogehogehogehogehogehogehogehoge<4>hogehogehoge<9>hogehogehogehogehogehogehogehogehogehoge<6>hoge <0>hogehoge hogehogehogehoge<5>hoge<6>hoge<0>hogehogehogehogehogehogehogehogehoge hoge<3>hogehogehogehoge<4>hogehogehoge hogehogehogehogehoge <6>hoge<8>hoge<1>hoge<3>hogehogehogehogehogehogehogehoge<2>hoge<1>hogehogehogehoge hoge<8>hogehogehoge hoge<3>hogehogehoge<8>hogehoge<0>hogehoge hogehoge<1> hogehogehogehogehogehogehogehoge hogehogehoge hoge<7>hoge asdf hogehogehogehoge<1>hogehogehogehogehogehogehogehoge<1>hogehogehogehogehoge<4>hoge<2> hoge hoge hogehoge<1>hoge hoge<5>hoge asdf
adsf test default casetwothreetest already shortened with PL fourfivetest bloated PL sixseventest with heavier lefteightninetest with heavier rightteneleventest with heavier middletwelvethirteenbah<7> foobah<7>foobah foogeefoo
asdf asdf ccc<8>ccc<7><3><9><8><1>aaaccc<4>dddeeeeee<3><3><6><7>dddccc<1>bbb<5><6><6>eeeeeeddd<7>bbbddd<3><4><3> bbbbbb <4><7> bbbccc<2><5><9><2><7>
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
asdf a d asdf hello geebarfoo
rgbgr
redundancy elimination
changing foo
into foo
overlap inversion
changing bla blafoo bar truc
into bla blafoo bar truc
PL shortcut
changing foo bar gee
into foo bar gee
whitespace simplification
changing bla bla barfoo
into bla bla barfoo
EM elimination
changing foo bar foo .
into foo bar foo .
color nesting
changing aaabbbcccdddeee
into aaabbbcccdddeeegeebarfoo
geebarfoo
a d asdf a d asdf "<6>6 Online stuff
The following Web pages may be of interest to you:
Contest home page: http://cristal.inria.fr/ICFP2001/prog-contest/
FAQ: http://cristal.inria.fr/ICFP2001/prog-contest/faq.html
News: http://cristal.inria.fr/ICFP2001/prog-contest/news.html
Document checker and equivalence tester:
http://cristal.inria.fr/ICFP2001/prog-contest/validator.html
Procedure for submitting entries:
http://cristal.inria.fr/ICFP2001/prog-contest/procedure.html
<6>7 Good luck
Have fun !
This document was translated from LATEX by
H<2>EV<2>EA.
"<6>hoge <3>hogehoge <9>hoge<7>hogehogehogehogehogehogehogehogehogehogehoge hogehogehogehogehogehogehoge<1>hogehoge<0>hoge hogehoge hogehogehogehoge<8>hogehogehoge hogehogehogehogebla blafoo bar trucbla blafoo bar truc<2>bbb<8> bbb<0><1><7><5>aaa<5><5><1>eee <4><7>aaaeee<8><4>aaa<9>fffddd<0><8>fffccc<9><5><8>ccc<5><9>bbb<3><0>ccc <9><0><8>bbb<0> yyy
xxx yyy
xxx yyy zzz
a d asdf asdfaaabbbcccdddeee xxx yyy zzz
"hogehoge<1>hogehogehogehogehogehoge hogehoge<0> hogehogehogehogehogehogehoge hogehogehoge <2>hogehogehogehogehoge<4>hoge <9> hoge<7>hogehogehogehogehogehogehogehogehogehogehoge<9> hogehogehogehoge<1>hogehogehogehoge hoge<2> hoge<5>hogehoge hogehogehogehoge<3>hogehogehogehogehogehogehogehogehogehogehogehoge<1>hogehogehoge hogehogehogehogehoge hogehogehogehogehogehogehogehogehogehogehogehogehoge<5>hogehogehogehogehoge hogehogehogehoge hoge<9>hogehogehogehogehogehogehoge<8>hogehogehogehoge<8>hogehoge<7>hogehogehogehogehogehoge<8> hoge hogehoge<7>hogehogehogehogehoge hogehoge hoge
"hi<9>xxxyzhello world!This is
a
test
for
TrueType and spaces therein.
And newlines.
Sideways removing empty tags
Testing underlining maxing out underlined thrice
and with no body
end of documentEmptyness and more
Emphasis test with with emphasis At least handle <2><2>color tags as booleans.try bold with a space in it.
Check that PL resets state this should be bold
not emphasized larded with spaces
xxx yyy
Color with white spaces in it without underlines as
or with underline as
xxx yyy
Color test: green red green red expensive bluered<1><2><3>expensive three one Size test: <2> <3> three <2> two <3> three <2> two bolditalicItalic<0>A x xxx yyy zzz
Wenn ich dd d d dann
So !"#$%&'()*+
<7> <8><4><8><3><6><5><9>
<8>,-./012
<5>34
<1><3> 56789<8><4>
:;=?
@ ABCDEF G<6><0>
HIJKLMNO
<1>PQRSTUVWXY<3>Z[\]^
_`abc
d<6>ef
ghijklm<2>
n
opq
rs
tuvwx <7><2>yz{|
}~!"#$<1><0>%
&'()*+,-
.
<6><2><5><2><9>
/012345
<4>AB
AN
AN<0>a<1>b" cow
moosplatfoobarblat<2>""
basmoo
squeak"" fooblubblatbar
foobar ""
<0>
hmmmsqueak<1>bbb <7><5>bbbeee<9><1><1><7><7><0><3>fff<1>eee<9><4>fffffffffcccccc<1>ccc<7><6>bbb <1><2> <1><8><9><9>ddd<8>
<1><2><3> three one
three one
ddsf
"
<7>
bar<3>splat""splat
blub
blub
"" blatblop
bar<3>moocow""bas
foosqueak
""moo
moosqueak
""squeak
blub moo
foo"" bar
barsqueak""blop
bas
hmmmblatbas""
blat
<4>
squeak""foo
<0>
moo
""
foo
<2>
blop""
squeak bar
""foo
blat
basbar""foobar
bar
<9>"" blat mooblop""hmmm
blubbashmmmsplat""
cow bas"" moo
<2>
blat""bar
<7>blub<7>
blop"<6>foo<5>bar<6>goo
"splat
<5>blat"" foobasblubsqueak <6>
blub""<2> splatsplat barfoo
"<1><2><3> three one
three one
three one
redsomething three one red
ddsf
<1><7> <7>aaafff<0>ccc<8>aaa<8>eee<3>bbb<7><9> <4>eee<0>eeeccc<6><5><9><3><2><6>dddaaabbb<2><9>aaabbbaaa<6><3>ffffff <1><2><7>eee<4>ddd<7><0>
<1>ddd <5>dddbbbbbb<7><6>ccc<8>eee <3><4>cccddd<7><2><1><5><3><9><8>bbb<7><3><4>bbb<7>aaa aaa<5><1>bbb<6>fff<0><9><8><9><3> aaa<8><4><7><2>aaabbb<8><8><2>eeefff<3>bbbbbbddd<5><6>fff<7><2><8>ccc
xXXXzzz xxx yyy
xxx yyy zzz
xxx yyy
xxx yyy
xxx yyy
xxx yyy zzz
Annexes . Extremist Burma totality Patricia <8>raters indoors
diabetic accordingly addendum <8>armful chap symbolized elucidated massed coo crackled . Sculpture . Bloodied hail <9>
foo<0>aaabla blafoo bar trucbbb "Annexes . Extremist Burma totality Patricia <8>raters indoors
diabetic accordingly addendum <8>armful chap symbolized elucidated massed coo crackled . Sculpture . Bloodied hail <9>
"". Swarmed
stabilities . Impinging lend roundedness hypertext drum pale drift accompanists sap barley <5>bumblebees <9>mails <5>. Plantations . Informal upholds hire hydrodynamic <5>Shylockian
""
splatblat moo""<6>splat
<9>bas""
bar splat
<7>blopblatcowblop""<8>cow<8> <3><1><7>
foobas fooblopblop
hmmm<6><3><6>blop
foobar hmmm blub
blat <6>
moo cowsplatfoobar
squeak<5> cowblat
""
splat barsqueak<4><5>squeak <9>bar<8> <4>
cow<7>
splatfoo<4>foo<9>
moosplatblubblat <0><4> moo blat<0>
<3>foo barsplat<8>
splatblub<9>hmmm
splat foobarfoobar <0><8>"<0><2>eee<7>aaabbb<9>fff<5><3>fff<3><7><4>eee<9><9>ddd<0> bbb<5><7><0>eee<8><9>fff<0> <3> <1><0>aaa<5><1> <9>aaa<9><3><2><0><9>fff
bla bla
foo bar truc <8><3> <8><1>bbbcccdddaaa<7><9><1><5><6>bbb<1><0><3><5><8> <9>ccc<1><2><6> <5> <7><2><6><2>bbb<5><9>ddd<6>
<4><9> <5><1><8><4>aaa<9><3><3><1>ddd<0><4>eeeeeeddd<3><7>ccc<6><5>dddeee<0>aaa<4> dddbbb<3>dddddd<5><2><9>fff<1>
foo bar gee
foo bar gee<3><5><5><2>ccc<0><9><5><0><9><0><0><7><3>ccc bbb<8>ddd eeeaaaddd<7>ddd aaa<8>dddfff<3>aaa<7>aaa<3><2>bbb<1><0> <0>eee <8><9>aaa<8><9>ccc<5><8><8><2>ffffff
ffffff<9><4>eeecccbbb<6><0><1>aaa<7><1><1><9>bbb<1><5><7><4>ccc<7><4><8> ddd<3>fff<7><4>aaa<3>aaa<8>ccceee<1>fff<7><8><6>cccaaa <5>
stuff<0>more
foo bar gee
aaabbbcccdddeee xxx yyy
xxx yyy
foo bar gee
aaabbbcccdddeee
foo bar geeabcde
abcde
abcde
abcde
cc
c
c
xxx yyy
xxx yyy
xxx yyy
x y z
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee xxxxx yyyyy
xy
xyz
xyz
xyz
xyz
0abcdef
xxxzz
xxxzz
xxyyyyyy
xxyyyyyy
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
foo bar gee
aaabbbcccdddeee
<1>dddeee<4>ccceee<9>eee<6><4>ddd<1><5><4>aaaeee<1><4>fffcccaaaeeeaaa <7>ddddddfffddd<0>bbb<9><5>eee
<4><0><3><7><8><7><0> <9><8><5>fff<4><0><3><9> <9>aaa<3><5>bbb<4>aaa<6><9> ffffffaaaaaa<1>bbb<9> <0><5><7>dddeeeddd<3><0><1><2><4><6><7>bbbfff
<1><2><3> three one
three one
three one
redsomething three one red
three one
ddsf
<8>eeecccdddcccaaa<1><5><4><8><8><9>eee ddd<2>bbb <7>bbbbbb<6>aaa<8> <8><5><8><2>bbbaaa <4> <2><6><3>eee ccc<7>eee<6>bbb<2>ccc<4><7>bbbbbbcccdddaaa<4>fff
<9><6><3>bbb<9>eee<0><0>eeebbb<1>ddd<8>bbbaaaccc<8><7>fffeee<7><3><8><5><1><7>eee<3><4><6> <2><0>dddeee<8><2><0>eee<4>eee<6><7><3>bbb<5>aaa<8><1><4>fffbbbfff
<9><3><9><8><2><4>aaa<5><2><9>eee<8>aaaccc<9><7>aaa<2><8><0><3>eee<2><2> eee<4>aaa<5>cccfff<2><8>bbbeee<4><7>ccc<9><3>ccceeefff<2><6><4>
cccccc<0><1>aaa<5><6>cccccc<8>ddd dddaaa<0><9><8><4> <9>aaaddd<2><9><4><9> <1><6>eee<5>ccc<2>eee<8><1><3><3><2>ddd<7><8><7>ddd<6><9><3><8><5><7><9> <3><6>
test default casetwothreetest already shortened with PL fourfivetest bloated PL sixseventest with heavier lefteightninetest with heavier rightteneleventest with heavier middletwelvethirteen
<1><2><3> three one
three one
three one
redsomething three one red
three one
bolditalicbolditalicgreen
ddsf
<1><2><3> three one
three one
three one
redsomething three one red
three one
bolditalicbolditalicgreen
ddsf
<1><2><3> three one
three one
three one
redsomething three one red
three one
bolditalicbolditalicgreen
bolditalicbolditalicgreentest
testbolditalicbolditalicgreen
ddsf
foo bar geeclean
fooclean
bla blafoo bar trucclean
bla bla barfooclean
foo bar foo clean
aaabbbcccdddeeeclean<5><5>bbbbbbeeebbb<3><5><4><7><1>ccc<3>ccc<9><7><7>bbb<0><6> <4>aaa<9><5><3>bbb<5><5><8>dddbbb<5><7>eeebbb<6><7><9>bbbfff
foo<0>aaabla blafoo bar trucbbb foobla blafoo barHello Hello bold <1><2><3> three one
three one
three one
redsomething three one red
three one
bolditalicbolditalicgreen
bolditalicbolditalicgreentest
testbolditalicbolditalicgreen
ddsf
foo
<5>
fom
fom
ni!
fish
ni!
bar
<6> <4>