This is pBibTeX, Version 0.99d-j0.33 (utf8.euc) (TeX Live 2021/Arch Linux)
Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
The top-level auxiliary file: soto-sigos.aux
The style file: ipsjsort.bst
Database file #1: reference.bib
Warning--to sort, need author or key in agda-wiki
Warning--Missing required argument author in agda-wiki
Warning--there's no number and/or volumekaito-lola
Warning--Missing required argument pages in kaito-lola
You've used 8 entries,
            2669 wiz_defined-function locations,
            652 strings with 5723 characters,
and the built_in function-call counts, 1968 in all, are:
= -- 162
> -- 72
< -- 1
+ -- 29
- -- 20
* -- 128
:= -- 319
add.period$ -- 8
call.type$ -- 8
change.case$ -- 26
chr.to.int$ -- 0
cite$ -- 12
duplicate$ -- 109
empty$ -- 174
format.name$ -- 23
if$ -- 432
int.to.chr$ -- 0
int.to.str$ -- 8
missing$ -- 3
newline$ -- 27
num.names$ -- 14
pop$ -- 34
preamble$ -- 1
purify$ -- 26
quote$ -- 0
skip$ -- 96
stack$ -- 0
substring$ -- 53
swap$ -- 7
text.length$ -- 8
text.prefix$ -- 0
top$ -- 0
type$ -- 30
warning$ -- 4
while$ -- 16
width$ -- 9
write$ -- 64
is.kanji.str$ -- 45
(There were 4 warnings)