Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
typedscm.pdf | 2005-03-30 23:12 | 151K | ||
tc-scheme-parser.scm | 2005-03-30 23:11 | 98K | ||
tc-scheme-annotate.scm | 2005-05-19 13:53 | 77K | ||
sllgen.scm | 2002-04-09 18:25 | 76K | ||
typedscm.texinfo | 2005-03-30 23:11 | 67K | ||
test-suite.scm | 2002-04-09 18:25 | 56K | ||
tc-types.scm | 2005-04-01 00:31 | 53K | ||
tc-global-var-output-types.scm | 2005-04-13 22:24 | 49K | ||
tc-scheme-abstract-syntax.scm | 2005-03-30 23:11 | 42K | ||
typecase-cloneupto-5-4-4.scm | 2005-04-27 23:39 | 29K | ||
6-checker.scm | 2002-04-09 18:25 | 27K | ||
5-4-4.scm | 2005-05-04 02:31 | 27K | ||
5-4-3.scm | 2005-05-04 02:31 | 26K | ||
tc-scheme-parser.tst | 2005-03-21 00:23 | 25K | ||
5-4-1.scm | 2005-05-04 02:31 | 24K | ||
4-4.scm | 2002-04-09 18:25 | 24K | ||
3-5-reducer.scm | 2005-05-04 02:31 | 23K | ||
5-4-2.scm | 2005-05-04 02:31 | 23K | ||
tc-scheme-unparser.scm | 2005-03-30 23:11 | 22K | ||
tc-scheme-scanner.scm | 2005-03-02 00:31 | 22K | ||
tc-type-translate.scm | 2005-05-19 13:53 | 21K | ||
tc-type-helpers.scm | 2005-05-19 13:53 | 20K | ||
6-interp.scm | 2002-04-09 18:25 | 19K | ||
5-3.scm | 2005-05-04 02:31 | 19K | ||
define-datatype.scm | 2002-04-09 18:25 | 19K | ||
aop-3-7.scm | 2005-05-04 02:31 | 18K | ||
tc-subst.scm | 2005-05-19 13:53 | 18K | ||
4-3.scm | 2002-04-09 18:25 | 18K | ||
7-5.scm | 2002-04-09 18:25 | 17K | ||
8-5set.scm | 2002-04-09 18:25 | 17K | ||
8-5.scm | 2002-04-09 18:25 | 16K | ||
3-8need.scm | 2005-05-04 02:31 | 15K | ||
3-8name.scm | 2005-05-04 02:31 | 15K | ||
8-5print.scm | 2002-04-09 18:25 | 15K | ||
8-4.scm | 2002-04-09 18:25 | 15K | ||
3-8ref.scm | 2005-05-04 02:31 | 14K | ||
8-4danvy.scm | 2002-04-09 18:25 | 14K | ||
3-9-modified-in-class.scm | 2005-05-04 02:31 | 14K | ||
4-2.scm | 2002-04-09 18:25 | 14K | ||
translate-module-syntax.scm | 2005-03-30 23:11 | 14K | ||
3-9.scm | 2005-05-04 02:31 | 14K | ||
sxml-helpers.scm | 2005-02-17 18:42 | 14K | ||
sxml-helpers.tst | 2005-02-17 22:08 | 13K | ||
tc-error-output.scm | 2005-05-19 13:53 | 13K | ||
tc-output-type-expr.scm | 2005-03-28 18:19 | 13K | ||
tc-scheme-annotate.tst | 2005-05-19 13:53 | 13K | ||
tc-type-helpers.tst | 2005-05-19 13:53 | 13K | ||
chez.init | 2004-01-22 01:23 | 12K | ||
7-4.scm | 2002-04-09 18:25 | 12K | ||
3-7-modified-in-class.scm | 2005-05-04 02:31 | 11K | ||
7-3.scm | 2002-04-09 18:25 | 11K | ||
3-7.scm | 2005-05-04 02:31 | 11K | ||
6-translator.scm | 2002-04-09 18:25 | 10K | ||
3-6-basis.scm | 2005-05-04 02:31 | 10K | ||
7-6.scm | 2002-04-09 18:25 | 9.5K | ||
3-5-modified-in-class.scm | 2005-05-04 02:31 | 9.4K | ||
3-5.scm | 2005-05-04 02:31 | 9.4K | ||
7-1.scm | 2002-04-09 18:25 | 9.4K | ||
7-2a.scm | 2002-04-09 18:25 | 9.2K | ||
define-datatype.tst | 2002-04-09 18:25 | 9.2K | ||
lexical-addr-exp.scm | 2005-04-11 02:11 | 9.0K | ||
type-check-infer-bad.output | 2004-01-22 01:26 | 8.7K | ||
type-check-infer-bad.new | 2004-01-22 01:26 | 8.7K | ||
whos-on-first.scm | 2002-04-09 18:25 | 8.7K | ||
7-2b.scm | 2002-04-09 18:25 | 8.3K | ||
3-4-modified-in-class.scm | 2005-05-04 02:31 | 8.0K | ||
lambda-if-exp.scm | 2005-04-11 02:11 | 7.9K | ||
test-harness.scm | 2002-04-09 18:25 | 7.7K | ||
tc-util.scm | 2005-03-30 23:11 | 7.1K | ||
tc-type-translate.tst | 2005-03-12 15:57 | 7.1K | ||
3-1-modified-in-class.scm | 2005-05-04 02:31 | 6.8K | ||
3-4.scm | 2005-05-04 02:31 | 6.8K | ||
test-homework.scm | 2005-02-21 14:33 | 6.8K | ||
tc-types.tst | 2005-04-01 00:31 | 6.5K | ||
tc-type-check-and-eval-loop.scm | 2005-05-19 13:53 | 6.0K | ||
tc-position.scm | 2005-03-12 09:18 | 6.0K | ||
sxml-node.tst | 2005-02-17 22:08 | 5.8K | ||
tc-hash-table.scm | 2005-03-01 19:20 | 5.8K | ||
set-ops-as-vector.scm | 2005-03-28 14:38 | 5.7K | ||
sxml-node.scm | 2005-03-08 14:25 | 5.7K | ||
slib-alist.scm | 2005-04-20 01:10 | 5.7K | ||
lambda-1-quote-exp.scm | 2005-02-17 12:58 | 5.7K | ||
slib-hashtab.scm | 2005-04-20 01:10 | 5.5K | ||
3-1.scm | 2005-05-04 02:31 | 5.4K | ||
statement-expression.scm | 2005-03-22 13:09 | 5.2K | ||
collected-grammar.texinfo | 2005-03-30 23:11 | 5.2K | ||
lexical-addr-exp.tst | 2005-02-17 22:08 | 4.9K | ||
typedscm.ss | 2005-03-30 01:48 | 4.8K | ||
tc-compute-cxr-types.scm | 2005-03-12 15:57 | 4.8K | ||
6-grammar.scm | 2002-04-09 18:25 | 4.8K | ||
typedscm.log | 2005-03-30 23:12 | 4.7K | ||
typedscm.aux | 2005-03-30 23:12 | 4.6K | ||
sllgen.tst | 2002-04-09 18:25 | 4.6K | ||
lambda-1-exp.scm | 2005-02-17 12:58 | 4.5K | ||
typedscm-tool.ss | 2005-03-30 23:11 | 4.5K | ||
combinator-tools.scm | 2002-04-09 18:25 | 4.4K | ||
bexp.scm | 2005-02-17 12:58 | 4.4K | ||
tc-env.scm | 2005-03-07 01:38 | 4.4K | ||
README.txt | 2005-02-17 14:03 | 4.2K | ||
type-check-infer.output.txt | 2004-01-22 01:26 | 4.2K | ||
sym-exp-cooked.scm | 2005-03-08 00:48 | 4.1K | ||
tc-subst.tst | 2005-03-21 00:23 | 3.8K | ||
2-unify.scm | 2002-04-09 18:25 | 3.8K | ||
tc-env.tst | 2005-04-01 00:31 | 3.7K | ||
tc-ignore-types-at-runtime-chez.scm | 2005-03-21 00:23 | 3.7K | ||
arith-expr-examples.tst | 2004-03-29 12:47 | 3.7K | ||
Makefile | 2005-03-12 21:44 | 3.6K | ||
lambda-1-exp-examples.tst | 2002-04-09 18:25 | 3.5K | ||
environment-5-4-2.scm | 2005-04-13 18:33 | 3.4K | ||
slib-hash.scm | 2005-04-20 01:10 | 3.4K | ||
window-layout.scm | 2005-03-22 13:09 | 3.4K | ||
1.scm | 2002-04-09 18:25 | 3.2K | ||
tc-bugs.txt | 2005-05-19 13:53 | 3.2K | ||
sym-exp.scm | 2005-03-08 00:48 | 3.1K | ||
environment-3-7.scm | 2005-04-13 22:24 | 3.1K | ||
atomic-tree.scm | 2005-02-17 22:08 | 3.1K | ||
aop-3-7.tst | 2005-01-07 12:47 | 3.1K | ||
atomic-exp.scm | 2005-03-22 13:09 | 3.0K | ||
README-EOPL2e-code.txt | 2004-01-22 01:22 | 3.0K | ||
tc-environments.scm | 2005-03-28 18:19 | 3.0K | ||
lambda-if-exp-examples.scm | 2005-02-17 12:37 | 2.9K | ||
lambda-1-quote-exp-as-ast.scm | 2005-02-28 15:49 | 2.9K | ||
atomic-expression.scm | 2005-02-17 22:08 | 2.9K | ||
tc-hash-table.tst | 2005-03-02 12:14 | 2.8K | ||
phone-number.scm | 2005-03-08 00:48 | 2.8K | ||
all-tests.scm | 2002-04-09 18:25 | 2.8K | ||
lambda-1-exp-examples.scm | 2002-04-09 18:25 | 2.7K | ||
type-predicates.scm | 2002-04-09 18:25 | 2.6K | ||
phone-book-as-ribcage.scm | 2005-04-18 00:44 | 2.6K | ||
3-6-letrec3.scm | 2005-03-21 17:09 | 2.6K | ||
lambda-1-exp-as-ast.scm | 2002-04-09 18:25 | 2.5K | ||
tc-logical-variables.scm | 2005-03-21 00:23 | 2.5K | ||
arith-expr.scm | 2005-03-02 19:18 | 2.4K | ||
arith-expr-examples.scm | 2004-03-29 12:47 | 2.3K | ||
3-8-expressed-value.scm | 2005-05-04 02:31 | 2.3K | ||
type-check-ignore-types-at-runtime.scm | 2005-04-12 12:55 | 2.2K | ||
type-check-ignore-types-at-runtime-scm.scm | 2005-04-12 14:51 | 2.2K | ||
set-equal.scm | 2005-02-17 12:58 | 2.2K | ||
tc-parsing-stream.scm | 2005-02-28 01:58 | 2.1K | ||
lambda-if-exp-examples.tst | 2005-02-17 12:37 | 2.1K | ||
3-6-letrec2.scm | 2005-05-04 02:31 | 2.1K | ||
combinator-term.scm | 2002-04-09 18:25 | 2.1K | ||
remove-named.tst | 2005-02-17 18:33 | 2.1K | ||
window-layout.tst | 2005-02-17 22:08 | 2.0K | ||
combinator-lambda-1-exp.scm | 2002-04-09 18:25 | 2.0K | ||
maybe.scm | 2005-02-17 12:58 | 2.0K | ||
remove-named.scm | 2005-02-17 18:34 | 2.0K | ||
tc-scheme-token.scm | 2005-03-02 00:31 | 1.9K | ||
lambda-1-quote-exp-examples.scm | 2005-02-17 22:08 | 1.9K | ||
tc-token-seq-as-stream.scm | 2005-02-28 01:58 | 1.9K | ||
adjust-html-file.pl | 2005-03-12 21:44 | 1.9K | ||
environment-as-ribcage.scm | 2005-03-21 17:09 | 1.8K | ||
6-top.scm | 2002-04-09 18:25 | 1.8K | ||
lambda-1-quote-exp-examples.tst | 2005-02-16 06:20 | 1.8K | ||
lexical-addr.scm | 2005-04-11 02:11 | 1.8K | ||
tc-token-seq-as-list.scm | 2005-02-28 01:58 | 1.8K | ||
3-6-letrec1.scm | 2005-03-24 14:52 | 1.8K | ||
lambda-1-quote-exp.tst | 2005-02-17 22:08 | 1.8K | ||
valid-number.scm | 2005-02-06 01:18 | 1.8K | ||
statement-expression.tst | 2005-02-17 22:08 | 1.8K | ||
matrix-ops.scm | 2005-03-22 13:09 | 1.7K | ||
cell.scm | 2005-03-28 14:38 | 1.7K | ||
double-size.tst | 2005-02-05 23:33 | 1.7K | ||
load-from-lib.scm | 2005-02-17 12:58 | 1.7K | ||
r5rs.scm | 2002-04-09 18:25 | 1.6K | ||
2-3-4.scm | 2002-04-09 18:25 | 1.6K | ||
tc-char-seq-as-stream.scm | 2005-02-28 01:58 | 1.6K | ||
typedscm.toc | 2005-03-30 23:12 | 1.5K | ||
tc-tree.scm | 2005-04-01 00:31 | 1.5K | ||
type-predicates.def | 2002-04-09 18:25 | 1.5K | ||
tc-char-seq-as-list.scm | 2005-02-28 01:58 | 1.5K | ||
product-tail-recursive.scm | 2002-04-09 18:25 | 1.5K | ||
sym-cell.scm | 2005-03-08 00:48 | 1.4K | ||
tc-qq-depth-stack.scm | 2005-02-28 01:58 | 1.4K | ||
tc-tracing.scm | 2005-03-12 11:53 | 1.4K | ||
2-2-2.scm | 2002-04-09 18:25 | 1.4K | ||
phone-book-as-ast.scm | 2005-03-03 18:05 | 1.3K | ||
temperature.scm | 2005-02-17 12:58 | 1.3K | ||
2-4.scm | 2002-04-09 18:25 | 1.3K | ||
phone-book-as-proc.scm | 2005-02-17 12:58 | 1.3K | ||
targets.scm | 2005-02-10 17:48 | 1.3K | ||
y.scm | 2005-02-17 12:58 | 1.3K | ||
lambda-1-exp.tst | 2005-02-17 22:08 | 1.3K | ||
reference-3-7.scm | 2005-03-21 16:24 | 1.3K | ||
combinators.scm | 2002-04-09 18:25 | 1.3K | ||
tc-attrib-pair.scm | 2005-03-04 01:56 | 1.2K | ||
bexp.tst | 2005-02-17 22:08 | 1.2K | ||
road-map.tst | 2005-03-03 19:28 | 1.2K | ||
indirect-arrays.scm | 2005-03-27 18:26 | 1.1K | ||
subst.scm | 2005-02-07 12:41 | 1.1K | ||
road-map-as-proc.scm | 2005-03-03 19:28 | 1.1K | ||
road-map-as-ast.scm | 2005-03-03 18:05 | 1.1K | ||
sym-exp-test-guts.tst | 2005-02-07 12:41 | 1.1K | ||
simple-arith-expr.scm | 2005-02-17 12:58 | 1.1K | ||
standardize-chez.scm | 2005-03-05 15:44 | 1.1K | ||
vector-generator.scm | 2005-02-17 12:58 | 1.1K | ||
2-2-1.scm | 2002-04-09 18:25 | 1.0K | ||
tc-global-var-types.scm | 2005-03-12 15:57 | 1.0K | ||
environment.tst | 2005-03-03 17:58 | 1.0K | ||
info.ss | 2005-03-30 01:48 | 1.0K | ||
pltscheme-init.scm | 2002-04-09 18:25 | 1.0K | ||
phone-number.tst | 2005-02-17 22:08 | 1.0K | ||
grav-force.scm | 2002-04-09 18:25 | 1.0K | ||
indirect-arrays.tst | 2005-03-27 18:26 | 1.0K | ||
num-of.scm | 2002-04-09 18:25 | 1.0K | ||
tc-scheme-scanner.tst | 2005-03-12 09:18 | 959 | ||
environment-as-ast.scm | 2005-03-21 17:09 | 924 | ||
phone-book.tst | 2005-03-03 19:28 | 902 | ||
2-3-2.scm | 2002-04-09 18:25 | 890 | ||
localize-example.scm | 2005-02-17 12:58 | 877 | ||
typedscm-icon.gif | 2005-03-30 01:48 | 874 | ||
2-3-3.scm | 2002-04-09 18:25 | 871 | ||
environment-as-proc.scm | 2005-03-21 17:09 | 867 | ||
list-index.scm | 2005-03-21 17:09 | 859 | ||
typedscm-icon-small.gif | 2005-03-29 18:46 | 853 | ||
dot-notation.scm | 2002-04-09 18:25 | 822 | ||
dot-notation.tst | 2002-04-09 18:25 | 805 | ||
double-size.scm | 2005-02-05 23:33 | 801 | ||
inject-extract.scm | 2005-03-08 23:06 | 798 | ||
separate.scm | 2005-02-17 12:58 | 778 | ||
drscheme-eopl-teachpack.scm | 2005-02-17 12:58 | 761 | ||
list-index-find.scm | 2005-03-21 16:58 | 756 | ||
negate-bexp.scm | 2005-02-06 01:18 | 739 | ||
negate-bexp.tst | 2005-02-06 01:18 | 734 | ||
maybe.tst | 2005-02-17 22:08 | 734 | ||
ex3-7-expressed-value.scm | 2005-03-07 01:38 | 728 | ||
sym-cell.tst | 2005-02-17 14:43 | 725 | ||
seq-as-ast.scm | 2005-03-03 14:46 | 719 | ||
scm-init.scm | 2005-01-07 14:01 | 717 | ||
cell.tst | 2005-02-17 22:08 | 711 | ||
procval-as-proc.scm | 2005-02-16 11:37 | 708 | ||
valid-number.tst | 2005-02-06 01:18 | 704 | ||
seq-as-proc.scm | 2005-03-03 18:05 | 694 | ||
remove-sym-exp.scm | 2005-02-07 12:41 | 686 | ||
iseq.scm | 2005-02-17 12:58 | 678 | ||
vector-map-bang.scm | 2002-04-09 18:25 | 665 | ||
collect-grammar.sh | 2005-03-12 21:44 | 649 | ||
chez-init.scm | 2005-02-17 12:58 | 646 | ||
remove-sym-exp-with-map.scm | 2005-02-07 12:41 | 632 | ||
map.tst | 2004-01-29 00:06 | 629 | ||
tc-compute-global-var-types.scm | 2005-03-12 09:18 | 625 | ||
ribassoc.scm | 2005-03-21 17:09 | 616 | ||
targets.tst | 2005-02-10 17:48 | 610 | ||
ratl.scm | 2005-03-28 12:04 | 597 | ||
iseq-map.tst | 2005-02-06 01:39 | 577 | ||
subst.tst | 2005-02-06 23:25 | 576 | ||
standardize-drscheme.scm | 2005-03-07 01:38 | 565 | ||
mapcdr.tst | 2004-01-28 23:53 | 553 | ||
remove-sym-exp-test-guts.tst | 2002-04-09 18:25 | 545 | ||
iseq.tst | 2005-02-06 01:39 | 542 | ||
temperature.tst | 2005-02-17 22:08 | 537 | ||
fix.scm | 2002-04-09 18:25 | 521 | ||
standardize-scm.scm | 2005-01-18 12:19 | 517 | ||
add1-to-each.tst | 2004-01-29 00:06 | 485 | ||
seq.tst | 2005-02-16 06:20 | 477 | ||
matrix-ops.tst | 2005-02-17 22:08 | 475 | ||
chez-localize-example.scm | 2005-02-17 14:13 | 473 | ||
vector-generator.tst | 2005-02-17 22:08 | 471 | ||
lexical-addr.tst | 2005-02-17 22:08 | 450 | ||
nth-element.scm | 2004-01-28 23:53 | 447 | ||
length.tst | 2004-01-29 00:06 | 446 | ||
module-d.scm | 2005-03-30 01:48 | 444 | ||
nat-leq.scm | 2004-02-09 23:54 | 436 | ||
make-all-positive.scm | 2004-01-28 23:53 | 427 | ||
nth-element.tst | 2004-01-28 23:53 | 425 | ||
copy.tst | 2004-01-29 00:06 | 424 | ||
add1-to-each.scm | 2004-01-28 19:21 | 424 | ||
little-schemer.scm | 2002-04-09 18:25 | 418 | ||
delete-even.tst | 2004-01-28 23:53 | 418 | ||
larceny-init.scm | 2002-04-09 18:25 | 411 | ||
delete-even.scm | 2004-01-28 23:53 | 411 | ||
map.scm | 2004-01-28 19:22 | 384 | ||
unary-notation.scm | 2004-02-09 23:54 | 383 | ||
ignore-mod.scm | 2005-03-28 01:31 | 383 | ||
product.scm | 2002-04-09 18:25 | 382 | ||
bintree.scm | 2002-04-09 18:25 | 377 | ||
make-all-positive.tst | 2004-01-28 23:53 | 371 | ||
all.scm | 2005-03-22 13:09 | 371 | ||
nat-leq.tst | 2004-02-09 23:54 | 359 | ||
tc-eval.scm | 2005-03-12 13:36 | 353 | ||
mapcdr.scm | 2004-01-28 23:53 | 351 | ||
all-mod.scm | 2005-03-22 13:08 | 332 | ||
little-schemer.tst | 2002-04-09 18:25 | 321 | ||
3-6.scm | 2002-04-09 18:25 | 315 | ||
copy.scm | 2004-01-28 19:18 | 312 | ||
iseq-map.scm | 2005-02-17 22:08 | 308 | ||
vector-map.tst | 2002-04-09 18:25 | 303 | ||
select-outerwear.scm | 2005-02-06 01:39 | 301 | ||
select-outerwear.tst | 2005-02-06 01:39 | 299 | ||
writeln.scm | 2005-02-17 12:58 | 295 | ||
displayln.scm | 2005-02-17 12:58 | 295 | ||
length.scm | 2004-01-28 19:19 | 290 | ||
iota.scm | 2004-04-22 23:47 | 285 | ||
vector-map.scm | 2002-04-09 18:25 | 281 | ||
unary-notation.tst | 2004-02-09 23:54 | 267 | ||
starting-part.scm | 2005-01-19 21:06 | 257 | ||
some.scm | 2002-04-09 18:25 | 250 | ||
test.scm | 2005-02-07 01:23 | 247 | ||
atomic.scm | 2005-02-17 12:58 | 247 | ||
tc-scheme-parser-bad.tst | 2005-03-12 09:18 | 236 | ||
drscheme.init | 2005-01-07 14:29 | 234 | ||
sum.scm | 2002-04-09 18:25 | 228 | ||
module-c.scm | 2005-02-17 22:08 | 215 | ||
sub1.scm | 2004-02-09 23:54 | 179 | ||
module-b.scm | 2005-02-17 22:08 | 163 | ||
remove-sym-exp-with-map.tst | 2002-04-09 18:25 | 157 | ||
environment-as-ribcage.tst | 2005-03-03 17:58 | 156 | ||
phone-book-as-ribcage.tst | 2005-03-03 19:28 | 153 | ||
environment-as-proc.tst | 2005-03-03 17:58 | 150 | ||
environment-as-ast.tst | 2005-03-03 17:58 | 148 | ||
phone-book-as-proc.tst | 2005-03-03 19:28 | 147 | ||
sym-exp-cooked.tst | 2005-02-17 22:08 | 146 | ||
phone-book-as-ast.tst | 2005-03-03 19:28 | 145 | ||
road-map-as-proc.tst | 2005-02-17 22:08 | 141 | ||
road-map-as-ast.tst | 2005-02-17 22:08 | 139 | ||
remove-sym-exp.tst | 2002-04-09 18:25 | 139 | ||
sym-exp.tst | 2005-02-17 22:08 | 132 | ||
seq-as-proc.tst | 2005-02-17 22:08 | 126 | ||
seq-as-ast.tst | 2005-02-17 22:08 | 124 | ||
displayln.def | 2002-04-09 18:25 | 121 | ||
writeln.def | 2002-04-09 18:25 | 117 | ||
scheme48-init.scm | 2002-04-09 18:25 | 113 | ||
module-a.scm | 2005-02-17 12:58 | 77 | ||
typedscm.vr | 2005-03-30 23:12 | 0 | ||
typedscm.tp | 2005-03-30 23:12 | 0 | ||
typedscm.pg | 2005-03-30 23:12 | 0 | ||
typedscm.ky | 2005-03-30 23:12 | 0 | ||
typedscm.fn | 2005-03-30 23:12 | 0 | ||
typedscm.cp | 2005-03-30 23:12 | 0 | ||
typedscm/ | 2005-03-30 23:11 | - | ||
drscheme/ | 2005-05-19 13:53 | - | ||
bin/ | 2005-03-05 15:44 | - | ||