diff options
author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
---|---|---|
committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
commit | bf5b05a84e877391fddd1b0a0b752f71ec05e901 (patch) | |
tree | 149609eeff1d475cd60f398f0e4bfd786c5d281c /synthetic/bck/main.blg | |
parent | 03556b31409ac5e8b81283d3a6481691c11846d7 (diff) |
Preuve existe f pas cca equivalant exists f BA pas randomguess
Diffstat (limited to 'synthetic/bck/main.blg')
-rw-r--r-- | synthetic/bck/main.blg | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/synthetic/bck/main.blg b/synthetic/bck/main.blg new file mode 100644 index 0000000..2daaee6 --- /dev/null +++ b/synthetic/bck/main.blg @@ -0,0 +1,48 @@ +This is BibTeX, Version 0.99d (TeX Live 2024/Arch Linux) +Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 +The top-level auxiliary file: main.aux +The style file: plain.bst +Database file #1: biblio.bib +Warning--I didn't find a database entry for "ping2017datasynthesize" +You've used 17 entries, + 2118 wiz_defined-function locations, + 590 strings with 6960 characters, +and the built_in function-call counts, 6143 in all, are: += -- 577 +> -- 375 +< -- 4 ++ -- 148 +- -- 130 +* -- 406 +:= -- 1014 +add.period$ -- 49 +call.type$ -- 17 +change.case$ -- 116 +chr.to.int$ -- 0 +cite$ -- 17 +duplicate$ -- 221 +empty$ -- 441 +format.name$ -- 130 +if$ -- 1297 +int.to.chr$ -- 0 +int.to.str$ -- 17 +missing$ -- 11 +newline$ -- 82 +num.names$ -- 34 +pop$ -- 150 +preamble$ -- 1 +purify$ -- 99 +quote$ -- 0 +skip$ -- 189 +stack$ -- 0 +substring$ -- 237 +swap$ -- 67 +text.length$ -- 4 +text.prefix$ -- 0 +top$ -- 0 +type$ -- 68 +warning$ -- 0 +while$ -- 48 +width$ -- 19 +write$ -- 175 +(There was 1 warning) |