[mercury-users] XML Parsing
Michael Day
mikeday at corplink.com.au
Thu Jun 7 20:20:03 AEST 2001
> Rather than just complaining about the poor performance, why don't you
> profile the application and see what is actually taking all the time?
> Then we might actually have something worth discussing.
Many apologies.
>From what I can see, 40% of the time is being spent in
xml:parse:chars:baseChar/2, which makes it look like character
interpretation *is* the culprit after all. Comments from people who know
how to understand profiles would be nice.
(the program executed was tryit compiled with -O6 and mgnuc with -O2 run
on a largish XML file with namespaces)
*** profiling user-plus-system-time ***
flat profile:
% the percentage of total running time of the program
time used by this procedure.
cumulative the total number of seconds for the current procedure and
seconds the ones listed above it.
self the number of seconds accounted for by this procedure alone.
seconds The listing is sorted on this row.
calls the number of times this procedure was called.
self the average number of milliseconds spent executing
ms/call this procedure per call.
total the average number of milliseconds spent executing this procedure and its
ms/call descendents per call.
name the name of the procedure followed by its index number.
% cumulative self self total
time seconds seconds calls ms/call ms/call name
40.6 5.10 5.10 14804 0.34 0.34 <predicate `xml:parse:chars:baseChar/2' mode 0> [1]
11.2 6.50 1.40 886688 0.00 0.00 <predicate `parsing:tok/2' mode 0> [2]
9.2 7.65 1.15 895577 0.00 0.00 <predicate `parsing:try/6' mode 19 (specialized) (minus unused args)> [3]
8.0 8.65 1.00 852131 0.00 0.00 <predicate `parsing:reset/4' mode 0 (minus unused args)> [4]
4.0 9.15 0.50 886688 0.00 0.00 <function `xml:encoding:./2' mode 0> [5]
2.8 9.50 0.35 1022122 0.00 0.00 <predicate `parsing:actuate/3' mode 0> [7]
2.8 9.85 0.35 227525 0.00 0.00 <pred goal (#2) from `parsing:lit1' line 393> [6]
2.4 10.15 0.30 616078 0.00 0.00 <pred goal (#14) from `parsing:range' line 544> [8]
2.4 10.45 0.30 9230 0.03 0.03 <predicate `xml:parse:charRef/2' mode 0> [9]
2.0 10.70 0.25 1525 0.16 0.16 <predicate `xml:parse:chars:combiningChar/2' mode 0> [10]
1.6 10.90 0.20 846337 0.00 0.00 <pred goal (#8) from `parsing:or' line 456 (minus unused args)> [11]
1.6 11.10 0.20 12879 0.02 0.02 <predicate `xml:parse:nameChar/2' mode 0> [12]
1.2 11.25 0.15 57367 0.00 0.00 <predicate `parsing:return/3' mode 0> [13]
0.8 11.35 0.10 886688 0.00 0.00 <predicate `xml:encoding:decode_utf8/4' mode 0 (minus unused args)> [15]
0.8 11.45 0.10 616078 0.00 0.00 <predicate `parsing:then/4' mode 15 (specialized) (minus unused args)> [14]
0.4 11.50 0.05 908974 0.00 0.00 <predicate `char:to_int/2' mode 0> [32]
0.4 11.55 0.05 895577 0.00 0.00 <predicate `parsing:or/4' mode 0> [21]
0.4 11.60 0.05 886688 0.00 0.00 <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:decode_4/4' mode 0> [24]
0.4 11.65 0.05 616078 0.00 0.00 <predicate `parsing:-/4' mode 0> [22]
0.4 11.70 0.05 227525 0.00 0.00 <predicate `parsing:lit1/3' mode 0> [20]
0.4 11.75 0.05 31245 0.00 0.00 <predicate `term_io:write_escaped_char/3' mode 0> [35]
0.4 11.80 0.05 28916 0.00 0.00 <predicate `parsing:try/6' mode 4 (specialized) (minus unused args)> [17]
0.4 11.85 0.05 25694 0.00 0.00 <predicate `compare/3' mode 3> [37]
0.4 11.90 0.05 22344 0.00 0.00 <pred goal (#24) from `parsing:lit2' line 419> [18]
0.4 11.95 0.05 13000 0.00 0.00 <pred goal (#19) from `parsing:except' line 576> [19]
0.4 12.00 0.05 8342 0.01 0.01 <predicate `io:write_univ/4' mode 0> [33]
0.4 12.05 0.05 4308 0.01 0.01 <predicate `parsing:then/4' mode 18 (specialized) (minus unused args)> [16]
0.4 12.10 0.05 2953 0.02 0.02 <pred goal (#84) from `xml:parse:chars:baseChar' line 143> [29]
0.4 12.15 0.05 2892 0.02 0.02 <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:encode_3/3' mode 0 (minus unused args)> [23]
0.4 12.20 0.05 2553 0.02 0.02 <predicate `xml:parse:chars:digit/2' mode 0> [30]
0.4 12.25 0.05 2073 0.02 0.02 <predicate `tree234:set/4' mode 1> [36]
0.4 12.30 0.05 1925 0.03 0.03 <predicate `xml:parse:name/2' mode 0> [27]
0.4 12.35 0.05 1525 0.03 0.03 <pred goal (#237) from `xml:parse:chars:combiningChar' line 221> [28]
0.4 12.40 0.05 1525 0.03 0.03 <predicate `xml:parse:chars:extender/2' mode 0> [31]
0.4 12.45 0.05 963 0.05 0.05 <pred goal (#608) from `xml:parse:entityRef' line 2439> [25]
0.4 12.50 0.05 509 0.10 0.10 <predicate `io:write_list_tail/3' mode 0> [34]
0.4 12.55 0.05 167 0.30 0.30 <pred goal (#289) from `xml:parse:eTag' line 1592> [26]
0.0 12.55 0.00 886688 0.00 0.00 <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:decode_4/4' mode 0 (minus unused args)> [120]
0.0 12.55 0.00 886628 0.00 0.00 <predicate `string:unsafe_index/3' mode 0> [708]
0.0 12.55 0.00 227525 0.00 0.00 <predicate `parsing:then/4' mode 24 (specialized) (minus unused args)> [38]
0.0 12.55 0.00 46998 0.00 0.00 <predicate `parsing:then/4' mode 0> [73]
0.0 12.55 0.00 36456 0.00 0.00 <predicate `typed_unify/2' mode 1> [688]
0.0 12.55 0.00 36456 0.00 0.00 <unification predicate for type `std_util:type_desc/0' mode 0> [703]
0.0 12.55 0.00 35376 0.00 0.00 <predicate `std_util:type_to_univ/2' mode 2> [693]
0.0 12.55 0.00 33530 0.00 0.00 <predicate `unify/2' mode 0> [725]
0.0 12.55 0.00 32849 0.00 0.00 <predicate `char:lower_upper/2' mode 0> [630]
0.0 12.55 0.00 29877 0.00 0.00 <predicate `char:is_alnum/1' mode 0> [633]
0.0 12.55 0.00 25976 0.00 0.00 <predicate `char:to_int/2' mode 2> [629]
0.0 12.55 0.00 25864 0.00 0.00 <predicate `parsing:star/4' mode 0> [85]
0.0 12.55 0.00 25694 0.00 0.00 <predicate `compare/3' mode 0> [726]
0.0 12.55 0.00 24529 0.00 0.00 <pred goal (#25) from `parsing:star' line 468> [56]
0.0 12.55 0.00 22807 0.00 0.00 <predicate `parsing:lit2/3' mode 0> [84]
0.0 12.55 0.00 22346 0.00 0.00 <predicate `parsing:then/4' mode 5 (specialized) (minus unused args)> [46]
0.0 12.55 0.00 21071 0.00 0.00 <predicate `string:to_char_list/2' mode 0> [706]
0.0 12.55 0.00 21070 0.00 0.00 <predicate `parsing:then/4' mode 23 (specialized) (minus unused args)> [39]
0.0 12.55 0.00 21070 0.00 0.00 <predicate `parsing:lit/3' mode 0> [68]
0.0 12.55 0.00 19763 0.00 0.00 <predicate `parsing:then/4' mode 20 (specialized) (minus unused args)> [41]
0.0 12.55 0.00 19763 0.00 0.00 <predicate `parsing:and/4' mode 0> [72]
0.0 12.55 0.00 19454 0.00 0.00 <predicate `parsing:list/3' mode 0> [81]
0.0 12.55 0.00 18516 0.00 0.00 <function `unicode:;/0' mode 0> [102]
0.0 12.55 0.00 18460 0.00 0.00 <function `unicode:0/0' mode 0> [99]
0.0 12.55 0.00 18460 0.00 0.00 <function `unicode:9/0' mode 0> [100]
0.0 12.55 0.00 17977 0.00 0.00 <predicate `char:is_alnum_or_underscore/1' mode 0> [634]
0.0 12.55 0.00 14804 0.00 0.00 <function `unicode::/0' mode 0> [101]
0.0 12.55 0.00 14804 0.00 0.00 <function `unicode:_/0' mode 0> [108]
0.0 12.55 0.00 14804 0.00 0.00 <pred goal (#200) from `xml:parse:chars:baseChar' line 108> [424]
0.0 12.55 0.00 14804 0.00 0.00 <predicate `xml:parse:chars:letter/2' mode 0> [623]
0.0 12.55 0.00 13000 0.00 0.00 <predicate `parsing:then/4' mode 10 (specialized) (minus unused args)> [44]
0.0 12.55 0.00 13000 0.00 0.00 <predicate `parsing:except/3' mode 0> [79]
0.0 12.55 0.00 13000 0.00 0.00 <predicate `list:member/2' mode 0> [667]
0.0 12.55 0.00 12879 0.00 0.00 <function `unicode:-/0' mode 0> [97]
0.0 12.55 0.00 12879 0.00 0.00 <function `unicode:./0' mode 0> [98]
0.0 12.55 0.00 12879 0.00 0.00 <pred goal (#17) from `xml:parse:name' line 544> [262]
0.0 12.55 0.00 11134 0.00 0.00 <predicate `char:lower_upper/2' mode 1> [631]
0.0 12.55 0.00 9230 0.00 0.00 <function `unicode:A/0' mode 0> [106]
0.0 12.55 0.00 9230 0.00 0.00 <function `unicode:F/0' mode 0> [107]
0.0 12.55 0.00 9230 0.00 0.00 <function `unicode:a/0' mode 0> [109]
0.0 12.55 0.00 9230 0.00 0.00 <function `unicode:f/0' mode 0> [110]
0.0 12.55 0.00 9230 0.00 0.00 <pred goal (#606) from `xml:parse:charRef' line 2373> [156]
0.0 12.55 0.00 9230 0.00 0.00 <pred goal (#604) from `xml:parse:charRef' line 2375> [157]
0.0 12.55 0.00 9230 0.00 0.00 <pred goal (#599) from `xml:parse:charRef' line 2373> [158]
0.0 12.55 0.00 9230 0.00 0.00 <pred goal (#597) from `xml:parse:charRef' line 2370> [159]
0.0 12.55 0.00 8717 0.00 0.00 <predicate `list:append/3' mode 1> [666]
0.0 12.55 0.00 8436 0.00 0.00 <pred goal (#60) from `xml:parse:attValue1' line 640> [248]
0.0 12.55 0.00 8436 0.00 0.00 <pred goal (#59) from `xml:parse:attValue1' line 640> [249]
0.0 12.55 0.00 8436 0.00 0.00 <pred goal (#56) from `xml:parse:attValue1' line 640> [252]
0.0 12.55 0.00 8436 0.00 0.00 <pred goal (#55) from `xml:parse:attValue1' line 640> [253]
0.0 12.55 0.00 8332 0.00 0.00 <predicate `io:write_arg/3' mode 0> [661]
0.0 12.55 0.00 8329 0.00 0.00 <function `std_util:univ_type/1' mode 0> [696]
0.0 12.55 0.00 8315 0.00 0.00 <predicate `typed_compare/3' mode 0> [689]
0.0 12.55 0.00 8315 0.00 0.00 <compare/3 predicate for type `std_util:univ/0'> [702]
0.0 12.55 0.00 8315 0.00 0.00 <compare/3 predicate for type `std_util:type_desc/0'> [704]
0.0 12.55 0.00 6962 0.00 0.00 <predicate `io:write_char/3' mode 0> [648]
0.0 12.55 0.00 5148 0.00 0.00 <predicate `ops:op_table/4' mode 0> [686]
0.0 12.55 0.00 4818 0.00 0.00 <predicate `list:reverse_2/3' mode 0> [675]
0.0 12.55 0.00 4817 0.00 0.00 <predicate `list:reverse/2' mode 0> [669]
0.0 12.55 0.00 4564 0.00 0.00 <pred goal (#83) from `xml:parse:charData' line 760> [245]
0.0 12.55 0.00 4516 0.00 0.00 <predicate `xml:parse:s0/2' mode 0> [284]
0.0 12.55 0.00 4514 0.00 0.00 <pred goal (#8) from `xml:parse:s0' line 496> [271]
0.0 12.55 0.00 4387 0.00 0.00 <pred goal (#26) from `parsing:star' line 468 (minus unused args)> [51]
0.0 12.55 0.00 4308 0.00 0.00 <predicate `parsing:plus/3' mode 0> [75]
0.0 12.55 0.00 4222 0.00 0.00 <predicate `type_info_from_typeclass_info/3' mode 0> [690]
0.0 12.55 0.00 4164 0.00 0.00 <predicate `io:get_op_table/3' mode 0> [653]
0.0 12.55 0.00 4164 0.00 0.00 <predicate `io:write_ordinary_term/4' mode 0> [657]
0.0 12.55 0.00 4164 0.00 0.00 <function `std_util:univ_value/1' mode 0> [697]
0.0 12.55 0.00 4164 0.00 0.00 <predicate `std_util:type_ctor_and_args/3' mode 0> [698]
0.0 12.55 0.00 4164 0.00 0.00 <predicate `std_util:deconstruct/4' mode 0> [701]
0.0 12.55 0.00 3684 0.00 0.00 <function `unicode:</0' mode 0> [103]
0.0 12.55 0.00 3512 0.00 0.00 <predicate `parsing:fail/3' mode 0> [67]
0.0 12.55 0.00 3511 0.00 0.00 <predicate `xml:parse:s/2' mode 0> [283]
0.0 12.55 0.00 6162 0.00 0.00 <predicate `tree234:set2/4' mode 1 (minus unused args)> [719]
0.0 12.55 0.00 5086 0.00 0.00 <predicate `tree234:set3/4' mode 1 (minus unused args)> [718]
0.0 12.55 0.00 3155 0.00 0.00 <predicate `term_io:string:foldl2/6' mode 4 (specialized) (minus unused args)> [714]
0.0 12.55 0.00 3155 0.00 0.00 <predicate `term_io:quote_string/3' mode 0> [715]
0.0 12.55 0.00 3143 0.00 0.00 <function `std_util:univ/1' mode 0> [694]
0.0 12.55 0.00 3052 0.00 0.00 <predicate `parsing:star/3' mode 0> [74]
0.0 12.55 0.00 2975 0.00 0.00 <predicate `lexer:graphic_token_char/1' mode 0> [665]
0.0 12.55 0.00 2978 0.00 0.00 <predicate `list:member/2' mode 1> [668]
0.0 12.55 0.00 2975 0.00 0.00 <predicate `term_io:quote_atom/4' mode 0> [717]
0.0 12.55 0.00 2972 0.00 0.00 <predicate `term_io:string:all_match_2/3' mode 5 (specialized) (minus unused args)> [713]
0.0 12.55 0.00 2969 0.00 0.00 <predicate `io:write_term_args/3' mode 0> [660]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#201) from `xml:parse:chars:ideographic' line 174> [423]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#199) from `xml:parse:chars:baseChar' line 108> [425]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#198) from `xml:parse:chars:baseChar' line 109> [426]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#197) from `xml:parse:chars:baseChar' line 109> [427]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#196) from `xml:parse:chars:baseChar' line 109> [428]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#195) from `xml:parse:chars:baseChar' line 110> [429]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#194) from `xml:parse:chars:baseChar' line 110> [430]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#193) from `xml:parse:chars:baseChar' line 110> [431]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#192) from `xml:parse:chars:baseChar' line 111> [432]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#191) from `xml:parse:chars:baseChar' line 111> [433]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#190) from `xml:parse:chars:baseChar' line 111> [434]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#189) from `xml:parse:chars:baseChar' line 112> [435]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#188) from `xml:parse:chars:baseChar' line 112> [436]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#187) from `xml:parse:chars:baseChar' line 112> [437]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#186) from `xml:parse:chars:baseChar' line 112> [438]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#185) from `xml:parse:chars:baseChar' line 113> [439]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#184) from `xml:parse:chars:baseChar' line 113> [440]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#183) from `xml:parse:chars:baseChar' line 113> [441]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#182) from `xml:parse:chars:baseChar' line 113> [442]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#181) from `xml:parse:chars:baseChar' line 114> [443]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#180) from `xml:parse:chars:baseChar' line 114> [444]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#179) from `xml:parse:chars:baseChar' line 114> [445]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#178) from `xml:parse:chars:baseChar' line 114> [446]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#177) from `xml:parse:chars:baseChar' line 115> [447]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#176) from `xml:parse:chars:baseChar' line 116> [448]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#175) from `xml:parse:chars:baseChar' line 116> [449]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#174) from `xml:parse:chars:baseChar' line 116> [450]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#173) from `xml:parse:chars:baseChar' line 117> [451]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#172) from `xml:parse:chars:baseChar' line 117> [452]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#171) from `xml:parse:chars:baseChar' line 117> [453]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#170) from `xml:parse:chars:baseChar' line 118> [454]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#169) from `xml:parse:chars:baseChar' line 118> [455]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#168) from `xml:parse:chars:baseChar' line 118> [456]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#167) from `xml:parse:chars:baseChar' line 119> [457]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#166) from `xml:parse:chars:baseChar' line 119> [458]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#165) from `xml:parse:chars:baseChar' line 119> [459]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#164) from `xml:parse:chars:baseChar' line 119> [460]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#163) from `xml:parse:chars:baseChar' line 120> [461]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#162) from `xml:parse:chars:baseChar' line 120> [462]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#161) from `xml:parse:chars:baseChar' line 120> [463]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#160) from `xml:parse:chars:baseChar' line 121> [464]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#159) from `xml:parse:chars:baseChar' line 121> [465]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#158) from `xml:parse:chars:baseChar' line 121> [466]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#157) from `xml:parse:chars:baseChar' line 122> [467]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#156) from `xml:parse:chars:baseChar' line 122> [468]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#155) from `xml:parse:chars:baseChar' line 122> [469]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#154) from `xml:parse:chars:baseChar' line 122> [470]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#153) from `xml:parse:chars:baseChar' line 123> [471]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#152) from `xml:parse:chars:baseChar' line 123> [472]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#151) from `xml:parse:chars:baseChar' line 123> [473]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#150) from `xml:parse:chars:baseChar' line 123> [474]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#149) from `xml:parse:chars:baseChar' line 124> [475]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#148) from `xml:parse:chars:baseChar' line 124> [476]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#147) from `xml:parse:chars:baseChar' line 124> [477]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#146) from `xml:parse:chars:baseChar' line 125> [478]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#145) from `xml:parse:chars:baseChar' line 125> [479]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#144) from `xml:parse:chars:baseChar' line 125> [480]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#143) from `xml:parse:chars:baseChar' line 125> [481]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#142) from `xml:parse:chars:baseChar' line 126> [482]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#141) from `xml:parse:chars:baseChar' line 126> [483]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#140) from `xml:parse:chars:baseChar' line 126> [484]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#139) from `xml:parse:chars:baseChar' line 127> [485]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#138) from `xml:parse:chars:baseChar' line 127> [486]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#137) from `xml:parse:chars:baseChar' line 127> [487]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#136) from `xml:parse:chars:baseChar' line 128> [488]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#135) from `xml:parse:chars:baseChar' line 128> [489]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#134) from `xml:parse:chars:baseChar' line 128> [490]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#133) from `xml:parse:chars:baseChar' line 129> [491]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#132) from `xml:parse:chars:baseChar' line 129> [492]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#131) from `xml:parse:chars:baseChar' line 129> [493]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#130) from `xml:parse:chars:baseChar' line 129> [494]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#129) from `xml:parse:chars:baseChar' line 130> [495]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#128) from `xml:parse:chars:baseChar' line 130> [496]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#127) from `xml:parse:chars:baseChar' line 130> [497]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#126) from `xml:parse:chars:baseChar' line 130> [498]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#125) from `xml:parse:chars:baseChar' line 131> [499]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#124) from `xml:parse:chars:baseChar' line 131> [500]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#123) from `xml:parse:chars:baseChar' line 131> [501]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#122) from `xml:parse:chars:baseChar' line 131> [502]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#121) from `xml:parse:chars:baseChar' line 132> [503]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#120) from `xml:parse:chars:baseChar' line 132> [504]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#119) from `xml:parse:chars:baseChar' line 132> [505]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#118) from `xml:parse:chars:baseChar' line 133> [506]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#117) from `xml:parse:chars:baseChar' line 133> [507]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#116) from `xml:parse:chars:baseChar' line 133> [508]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#115) from `xml:parse:chars:baseChar' line 133> [509]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#114) from `xml:parse:chars:baseChar' line 134> [510]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#113) from `xml:parse:chars:baseChar' line 134> [511]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#112) from `xml:parse:chars:baseChar' line 134> [512]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#111) from `xml:parse:chars:baseChar' line 135> [513]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#110) from `xml:parse:chars:baseChar' line 135> [514]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#109) from `xml:parse:chars:baseChar' line 135> [515]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#108) from `xml:parse:chars:baseChar' line 135> [516]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#107) from `xml:parse:chars:baseChar' line 136> [517]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#106) from `xml:parse:chars:baseChar' line 136> [518]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#105) from `xml:parse:chars:baseChar' line 136> [519]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#104) from `xml:parse:chars:baseChar' line 137> [520]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#103) from `xml:parse:chars:baseChar' line 137> [521]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#102) from `xml:parse:chars:baseChar' line 137> [522]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#101) from `xml:parse:chars:baseChar' line 138> [523]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#100) from `xml:parse:chars:baseChar' line 138> [524]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#99) from `xml:parse:chars:baseChar' line 138> [525]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#98) from `xml:parse:chars:baseChar' line 139> [526]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#97) from `xml:parse:chars:baseChar' line 139> [527]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#96) from `xml:parse:chars:baseChar' line 139> [528]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#95) from `xml:parse:chars:baseChar' line 140> [529]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#94) from `xml:parse:chars:baseChar' line 140> [530]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#93) from `xml:parse:chars:baseChar' line 140> [531]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#92) from `xml:parse:chars:baseChar' line 141> [532]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#91) from `xml:parse:chars:baseChar' line 141> [533]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#90) from `xml:parse:chars:baseChar' line 141> [534]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#89) from `xml:parse:chars:baseChar' line 141> [535]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#88) from `xml:parse:chars:baseChar' line 142> [536]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#87) from `xml:parse:chars:baseChar' line 142> [537]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#86) from `xml:parse:chars:baseChar' line 142> [538]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#85) from `xml:parse:chars:baseChar' line 143> [539]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#83) from `xml:parse:chars:baseChar' line 143> [540]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#82) from `xml:parse:chars:baseChar' line 143> [541]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#81) from `xml:parse:chars:baseChar' line 144> [542]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#80) from `xml:parse:chars:baseChar' line 144> [543]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#79) from `xml:parse:chars:baseChar' line 144> [544]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#78) from `xml:parse:chars:baseChar' line 144> [545]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#77) from `xml:parse:chars:baseChar' line 145> [546]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#76) from `xml:parse:chars:baseChar' line 145> [547]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#75) from `xml:parse:chars:baseChar' line 145> [548]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#74) from `xml:parse:chars:baseChar' line 145> [549]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#73) from `xml:parse:chars:baseChar' line 146> [550]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#72) from `xml:parse:chars:baseChar' line 146> [551]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#71) from `xml:parse:chars:baseChar' line 146> [552]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#70) from `xml:parse:chars:baseChar' line 146> [553]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#69) from `xml:parse:chars:baseChar' line 147> [554]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#68) from `xml:parse:chars:baseChar' line 147> [555]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#67) from `xml:parse:chars:baseChar' line 147> [556]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#66) from `xml:parse:chars:baseChar' line 147> [557]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#65) from `xml:parse:chars:baseChar' line 148> [558]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#64) from `xml:parse:chars:baseChar' line 148> [559]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#63) from `xml:parse:chars:baseChar' line 148> [560]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#62) from `xml:parse:chars:baseChar' line 149> [561]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#61) from `xml:parse:chars:baseChar' line 149> [562]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#60) from `xml:parse:chars:baseChar' line 149> [563]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#59) from `xml:parse:chars:baseChar' line 149> [564]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#58) from `xml:parse:chars:baseChar' line 150> [565]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#57) from `xml:parse:chars:baseChar' line 150> [566]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#56) from `xml:parse:chars:baseChar' line 150> [567]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#55) from `xml:parse:chars:baseChar' line 150> [568]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#54) from `xml:parse:chars:baseChar' line 151> [569]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#53) from `xml:parse:chars:baseChar' line 151> [570]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#52) from `xml:parse:chars:baseChar' line 151> [571]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#51) from `xml:parse:chars:baseChar' line 151> [572]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#50) from `xml:parse:chars:baseChar' line 152> [573]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#49) from `xml:parse:chars:baseChar' line 152> [574]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#48) from `xml:parse:chars:baseChar' line 153> [575]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#47) from `xml:parse:chars:baseChar' line 153> [576]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#46) from `xml:parse:chars:baseChar' line 153> [577]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#45) from `xml:parse:chars:baseChar' line 153> [578]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#44) from `xml:parse:chars:baseChar' line 154> [579]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#43) from `xml:parse:chars:baseChar' line 155> [580]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#42) from `xml:parse:chars:baseChar' line 155> [581]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#41) from `xml:parse:chars:baseChar' line 155> [582]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#40) from `xml:parse:chars:baseChar' line 155> [583]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#39) from `xml:parse:chars:baseChar' line 156> [584]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#38) from `xml:parse:chars:baseChar' line 157> [585]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#37) from `xml:parse:chars:baseChar' line 157> [586]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#36) from `xml:parse:chars:baseChar' line 157> [587]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#35) from `xml:parse:chars:baseChar' line 157> [588]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#34) from `xml:parse:chars:baseChar' line 158> [589]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#33) from `xml:parse:chars:baseChar' line 159> [590]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#32) from `xml:parse:chars:baseChar' line 159> [591]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#31) from `xml:parse:chars:baseChar' line 159> [592]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#30) from `xml:parse:chars:baseChar' line 159> [593]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#29) from `xml:parse:chars:baseChar' line 160> [594]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#28) from `xml:parse:chars:baseChar' line 161> [595]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#27) from `xml:parse:chars:baseChar' line 161> [596]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#26) from `xml:parse:chars:baseChar' line 161> [597]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#25) from `xml:parse:chars:baseChar' line 162> [598]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#24) from `xml:parse:chars:baseChar' line 162> [599]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#23) from `xml:parse:chars:baseChar' line 162> [600]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#22) from `xml:parse:chars:baseChar' line 163> [601]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#21) from `xml:parse:chars:baseChar' line 163> [602]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#20) from `xml:parse:chars:baseChar' line 163> [603]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#19) from `xml:parse:chars:baseChar' line 163> [604]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#18) from `xml:parse:chars:baseChar' line 164> [605]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#17) from `xml:parse:chars:baseChar' line 165> [606]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#16) from `xml:parse:chars:baseChar' line 165> [607]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#15) from `xml:parse:chars:baseChar' line 165> [608]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#14) from `xml:parse:chars:baseChar' line 165> [609]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#13) from `xml:parse:chars:baseChar' line 166> [610]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#12) from `xml:parse:chars:baseChar' line 166> [611]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#11) from `xml:parse:chars:baseChar' line 166> [612]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#10) from `xml:parse:chars:baseChar' line 167> [613]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#9) from `xml:parse:chars:baseChar' line 167> [614]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#8) from `xml:parse:chars:baseChar' line 167> [615]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#7) from `xml:parse:chars:baseChar' line 167> [616]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#6) from `xml:parse:chars:baseChar' line 168> [617]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#5) from `xml:parse:chars:baseChar' line 168> [618]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#4) from `xml:parse:chars:baseChar' line 168> [619]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#3) from `xml:parse:chars:baseChar' line 168> [620]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#2) from `xml:parse:chars:baseChar' line 169> [621]
0.0 12.55 0.00 2953 0.00 0.00 <pred goal (#1) from `xml:parse:chars:baseChar' line 169> [622]
0.0 12.55 0.00 2953 0.00 0.00 <predicate `xml:parse:chars:ideographic/2' mode 0> [624]
0.0 12.55 0.00 2895 0.00 0.00 <predicate `string:from_char_list/2' mode 0> [707]
0.0 12.55 0.00 2892 0.00 0.00 <predicate `parsing:mkString/4' mode 0> [71]
0.0 12.55 0.00 2892 0.00 0.00 <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:encode_3/3' mode 0> [121]
0.0 12.55 0.00 28868 0.00 0.00 <predicate `xml:encoding:unicodesToUTF8/3' mode 0> [122]
0.0 12.55 0.00 2623 0.00 0.00 <unification predicate for type `list:list/1' mode 0> [676]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#14) from `xml:parse:nameChar' line 534> [265]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#13) from `xml:parse:nameChar' line 534> [266]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#12) from `xml:parse:nameChar' line 534> [267]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#307) from `xml:parse:chars:digit' line 240> [318]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#306) from `xml:parse:chars:digit' line 240> [319]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#305) from `xml:parse:chars:digit' line 241> [320]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#304) from `xml:parse:chars:digit' line 241> [321]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#303) from `xml:parse:chars:digit' line 241> [322]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#302) from `xml:parse:chars:digit' line 242> [323]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#301) from `xml:parse:chars:digit' line 242> [324]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#300) from `xml:parse:chars:digit' line 242> [325]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#299) from `xml:parse:chars:digit' line 243> [326]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#298) from `xml:parse:chars:digit' line 243> [327]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#297) from `xml:parse:chars:digit' line 243> [328]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#296) from `xml:parse:chars:digit' line 244> [329]
0.0 12.55 0.00 2553 0.00 0.00 <pred goal (#295) from `xml:parse:chars:digit' line 244> [330]
0.0 12.55 0.00 2497 0.00 0.00 <function `unicode:&/0' mode 0> [95]
0.0 12.55 0.00 2379 0.00 0.00 <function `std_util:type_ctor_name/1' mode 0> [699]
0.0 12.55 0.00 2221 0.00 0.00 <pred goal (#11) from `xml:parse:nameChar' line 534> [268]
0.0 12.55 0.00 2221 0.00 0.00 <pred goal (#10) from `xml:parse:nameChar' line 534> [269]
0.0 12.55 0.00 2214 0.00 0.00 <predicate `parsing:try/6' mode 16 (specialized) (minus unused args)> [42]
0.0 12.55 0.00 2214 0.00 0.00 <pred goal (#12) from `parsing:opt' line 507 (minus unused args)> [52]
0.0 12.55 0.00 2214 0.00 0.00 <predicate `parsing:opt/3' mode 0> [76]
0.0 12.55 0.00 2110 0.00 0.00 <predicate `tree234:search/3' mode 0> [721]
0.0 12.55 0.00 2057 0.00 0.00 <predicate `map:set/4' mode 1> [682]
0.0 12.55 0.00 1925 0.00 0.00 <pred goal (#16) from `xml:parse:name' line 543> [263]
0.0 12.55 0.00 1743 0.00 0.00 <predicate `xml:parse:char/2' mode 0> [282]
0.0 12.55 0.00 1687 0.00 0.00 <pred goal (#7) from `xml:parse:char' line 453> [272]
0.0 12.55 0.00 1553 0.00 0.00 <predicate `io:ops:lookup_infix_op/5' mode 0 (minus unused args)> [640]
0.0 12.55 0.00 1549 0.00 0.00 <predicate `io:ops:lookup_binary_prefix_op/5' mode 0 (minus unused args)> [638]
0.0 12.55 0.00 1549 0.00 0.00 <predicate `string:sub_string_search/3' mode 0> [712]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#20) from `xml:parse:name' line 543> [259]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#19) from `xml:parse:name' line 544> [260]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#18) from `xml:parse:name' line 544> [261]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#9) from `xml:parse:nameChar' line 534> [270]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#316) from `xml:parse:chars:extender' line 251> [309]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#315) from `xml:parse:chars:extender' line 251> [310]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#314) from `xml:parse:chars:extender' line 251> [311]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#313) from `xml:parse:chars:extender' line 252> [312]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#312) from `xml:parse:chars:extender' line 252> [313]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#311) from `xml:parse:chars:extender' line 253> [314]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#310) from `xml:parse:chars:extender' line 253> [315]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#309) from `xml:parse:chars:extender' line 253> [316]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#308) from `xml:parse:chars:extender' line 253> [317]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#294) from `xml:parse:chars:combiningChar' line 204> [331]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#293) from `xml:parse:chars:combiningChar' line 205> [332]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#292) from `xml:parse:chars:combiningChar' line 205> [333]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#291) from `xml:parse:chars:combiningChar' line 205> [334]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#290) from `xml:parse:chars:combiningChar' line 206> [335]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#289) from `xml:parse:chars:combiningChar' line 206> [336]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#288) from `xml:parse:chars:combiningChar' line 206> [337]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#287) from `xml:parse:chars:combiningChar' line 206> [338]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#286) from `xml:parse:chars:combiningChar' line 207> [339]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#285) from `xml:parse:chars:combiningChar' line 207> [340]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#284) from `xml:parse:chars:combiningChar' line 207> [341]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#283) from `xml:parse:chars:combiningChar' line 207> [342]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#282) from `xml:parse:chars:combiningChar' line 208> [343]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#281) from `xml:parse:chars:combiningChar' line 208> [344]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#280) from `xml:parse:chars:combiningChar' line 208> [345]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#279) from `xml:parse:chars:combiningChar' line 209> [346]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#278) from `xml:parse:chars:combiningChar' line 209> [347]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#277) from `xml:parse:chars:combiningChar' line 209> [348]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#276) from `xml:parse:chars:combiningChar' line 209> [349]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#275) from `xml:parse:chars:combiningChar' line 210> [350]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#274) from `xml:parse:chars:combiningChar' line 210> [351]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#273) from `xml:parse:chars:combiningChar' line 210> [352]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#272) from `xml:parse:chars:combiningChar' line 210> [353]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#271) from `xml:parse:chars:combiningChar' line 211> [354]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#270) from `xml:parse:chars:combiningChar' line 211> [355]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#269) from `xml:parse:chars:combiningChar' line 211> [356]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#268) from `xml:parse:chars:combiningChar' line 211> [357]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#267) from `xml:parse:chars:combiningChar' line 212> [358]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#266) from `xml:parse:chars:combiningChar' line 212> [359]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#265) from `xml:parse:chars:combiningChar' line 212> [360]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#264) from `xml:parse:chars:combiningChar' line 212> [361]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#263) from `xml:parse:chars:combiningChar' line 213> [362]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#262) from `xml:parse:chars:combiningChar' line 214> [363]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#261) from `xml:parse:chars:combiningChar' line 214> [364]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#260) from `xml:parse:chars:combiningChar' line 214> [365]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#259) from `xml:parse:chars:combiningChar' line 214> [366]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#258) from `xml:parse:chars:combiningChar' line 215> [367]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#257) from `xml:parse:chars:combiningChar' line 215> [368]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#256) from `xml:parse:chars:combiningChar' line 215> [369]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#255) from `xml:parse:chars:combiningChar' line 215> [370]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#254) from `xml:parse:chars:combiningChar' line 216> [371]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#253) from `xml:parse:chars:combiningChar' line 216> [372]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#252) from `xml:parse:chars:combiningChar' line 216> [373]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#251) from `xml:parse:chars:combiningChar' line 217> [374]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#250) from `xml:parse:chars:combiningChar' line 217> [375]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#249) from `xml:parse:chars:combiningChar' line 217> [376]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#248) from `xml:parse:chars:combiningChar' line 217> [377]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#247) from `xml:parse:chars:combiningChar' line 218> [378]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#246) from `xml:parse:chars:combiningChar' line 218> [379]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#245) from `xml:parse:chars:combiningChar' line 218> [380]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#244) from `xml:parse:chars:combiningChar' line 219> [381]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#243) from `xml:parse:chars:combiningChar' line 219> [382]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#242) from `xml:parse:chars:combiningChar' line 219> [383]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#241) from `xml:parse:chars:combiningChar' line 219> [384]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#240) from `xml:parse:chars:combiningChar' line 220> [385]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#239) from `xml:parse:chars:combiningChar' line 220> [386]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#238) from `xml:parse:chars:combiningChar' line 220> [387]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#236) from `xml:parse:chars:combiningChar' line 221> [388]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#235) from `xml:parse:chars:combiningChar' line 221> [389]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#234) from `xml:parse:chars:combiningChar' line 222> [390]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#233) from `xml:parse:chars:combiningChar' line 222> [391]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#232) from `xml:parse:chars:combiningChar' line 222> [392]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#231) from `xml:parse:chars:combiningChar' line 223> [393]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#230) from `xml:parse:chars:combiningChar' line 223> [394]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#229) from `xml:parse:chars:combiningChar' line 223> [395]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#228) from `xml:parse:chars:combiningChar' line 224> [396]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#227) from `xml:parse:chars:combiningChar' line 224> [397]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#226) from `xml:parse:chars:combiningChar' line 224> [398]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#225) from `xml:parse:chars:combiningChar' line 224> [399]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#224) from `xml:parse:chars:combiningChar' line 225> [400]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#223) from `xml:parse:chars:combiningChar' line 225> [401]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#222) from `xml:parse:chars:combiningChar' line 225> [402]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#221) from `xml:parse:chars:combiningChar' line 225> [403]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#220) from `xml:parse:chars:combiningChar' line 226> [404]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#219) from `xml:parse:chars:combiningChar' line 226> [405]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#218) from `xml:parse:chars:combiningChar' line 226> [406]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#217) from `xml:parse:chars:combiningChar' line 226> [407]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#216) from `xml:parse:chars:combiningChar' line 227> [408]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#215) from `xml:parse:chars:combiningChar' line 227> [409]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#214) from `xml:parse:chars:combiningChar' line 227> [410]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#213) from `xml:parse:chars:combiningChar' line 227> [411]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#212) from `xml:parse:chars:combiningChar' line 228> [412]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#211) from `xml:parse:chars:combiningChar' line 229> [413]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#210) from `xml:parse:chars:combiningChar' line 229> [414]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#209) from `xml:parse:chars:combiningChar' line 229> [415]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#208) from `xml:parse:chars:combiningChar' line 229> [416]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#207) from `xml:parse:chars:combiningChar' line 230> [417]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#206) from `xml:parse:chars:combiningChar' line 230> [418]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#205) from `xml:parse:chars:combiningChar' line 230> [419]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#204) from `xml:parse:chars:combiningChar' line 230> [420]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#203) from `xml:parse:chars:combiningChar' line 231> [421]
0.0 12.55 0.00 1525 0.00 0.00 <pred goal (#202) from `xml:parse:chars:combiningChar' line 231> [422]
0.0 12.55 0.00 1480 0.00 0.00 <predicate `parsing:then/4' mode 21 (specialized) (minus unused args)> [40]
0.0 12.55 0.00 1480 0.00 0.00 <pred goal (#5) from `parsing:quote' line 431> [60]
0.0 12.55 0.00 1480 0.00 0.00 <predicate `parsing:quote/2' mode 0> [69]
0.0 12.55 0.00 1480 0.00 0.00 <function `unicode:"/0' mode 0> [94]
0.0 12.55 0.00 1480 0.00 0.00 <function `unicode:'/0' mode 0> [96]
0.0 12.55 0.00 1440 0.00 0.00 <predicate `parsing:try/6' mode 3 (specialized) (minus unused args)> [47]
0.0 12.55 0.00 1440 0.00 0.00 <pred goal (#87) from `xml:parse:comment' line 786> [241]
0.0 12.55 0.00 1407 0.00 0.00 <predicate `parsing:then/4' mode 1 (specialized) (minus unused args)> [49]
0.0 12.55 0.00 1407 0.00 0.00 <pred goal (#30) from `parsing:upto' line 526 (minus unused args)> [50]
0.0 12.55 0.00 1407 0.00 0.00 <pred goal (#29) from `parsing:upto' line 533> [54]
0.0 12.55 0.00 1407 0.00 0.00 <predicate `parsing:upto/5' mode 0> [86]
0.0 12.55 0.00 1407 0.00 0.00 <pred goal (#86) from `xml:parse:comment' line 786> [242]
0.0 12.55 0.00 1335 0.00 0.00 <pred goal (#9) from `parsing:plus' line 487> [57]
0.0 12.55 0.00 1302 0.00 0.00 <predicate `parsing:then/4' mode 11 (specialized) (minus unused args)> [43]
0.0 12.55 0.00 1302 0.00 0.00 <predicate `parsing:snd/3' mode 0> [78]
0.0 12.55 0.00 1189 0.00 0.00 <predicate `xml:parse:element/2' mode 0> [297]
0.0 12.55 0.00 1189 0.00 0.00 <predicate `xml:parse:emptyElemTag/2' mode 0> [303]
0.0 12.55 0.00 1188 0.00 0.00 <pred goal (#307) from `xml:parse:content' line 1614> [176]
0.0 12.55 0.00 1188 0.00 0.00 <pred goal (#297) from `xml:parse:content' line 1614> [186]
0.0 12.55 0.00 1080 0.00 0.00 <predicate `std_util:det_univ_to_type/2' mode 0> [695]
0.0 12.55 0.00 1079 0.00 0.00 <predicate `parsing:get/4' mode 0> [82]
0.0 12.55 0.00 1079 0.00 0.00 <predicate `map:lookup/3' mode 0> [680]
0.0 12.55 0.00 1032 0.00 0.00 <predicate `parsing:set/4' mode 0> [83]
0.0 12.55 0.00 1031 0.00 0.00 <predicate `map:search/3' mode 0> [679]
0.0 12.55 0.00 1023 0.00 0.00 <predicate `io:ops:lookup_postfix_op/4' mode 0 (minus unused args)> [637]
0.0 12.55 0.00 1023 0.00 0.00 <predicate `io:ops:lookup_prefix_op/4' mode 0 (minus unused args)> [639]
0.0 12.55 0.00 1022 0.00 0.00 <predicate `xml:doc:add/4' mode 0> [119]
0.0 12.55 0.00 1022 0.00 0.00 <predicate `xml:ns:traverse/6' mode 0> [127]
0.0 12.55 0.00 1022 0.00 0.00 <predicate `xml:parse:add/4' mode 0> [306]
0.0 12.55 0.00 1022 0.00 0.00 <predicate `array:lookup/3' mode 1> [626]
0.0 12.55 0.00 972 0.00 0.00 <predicate `xml:ns:namespaceizeName/4' mode 0> [130]
0.0 12.55 0.00 972 0.00 0.00 <pred goal (#314) from `xml:parse:emptyElemTag' line 1637> [169]
0.0 12.55 0.00 972 0.00 0.00 <pred goal (#313) from `xml:parse:emptyElemTag' line 1637> [170]
0.0 12.55 0.00 972 0.00 0.00 <pred goal (#311) from `xml:parse:emptyElemTag' line 1637> [172]
0.0 12.55 0.00 963 0.00 0.00 <predicate `xml:parse:entityRef/3' mode 0> [304]
0.0 12.55 0.00 963 0.00 0.00 <predicate `xml:parse:entityRef/2' mode 0> [305]
0.0 12.55 0.00 963 0.00 0.00 <predicate `xml:parse:null/2' mode 0> [307]
0.0 12.55 0.00 961 0.00 0.00 <predicate `xml:parse:nonEmptyElement/2' mode 0> [298]
0.0 12.55 0.00 961 0.00 0.00 <predicate `xml:parse:sTag/2' mode 0> [299]
0.0 12.55 0.00 9624 0.00 0.00 <predicate `list:condense/2' mode 0> [670]
0.0 12.55 0.00 796 0.00 0.00 <pred goal (#58) from `xml:parse:attValue1' line 640> [250]
0.0 12.55 0.00 794 0.00 0.00 <pred goal (#306) from `xml:parse:content' line 1614> [177]
0.0 12.55 0.00 794 0.00 0.00 <pred goal (#298) from `xml:parse:content' line 1614> [185]
0.0 12.55 0.00 794 0.00 0.00 <pred goal (#84) from `xml:parse:charData' line 761> [244]
0.0 12.55 0.00 794 0.00 0.00 <predicate `xml:parse:charData/2' mode 0> [287]
0.0 12.55 0.00 740 0.00 0.00 <predicate `parsing:then/4' mode 2 (specialized) (minus unused args)> [48]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#7) from `parsing:and' line 448> [58]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#6) from `parsing:and' line 449> [59]
0.0 12.55 0.00 740 0.00 0.00 <predicate `parsing:return/2' mode 0> [66]
0.0 12.55 0.00 740 0.00 0.00 <function `unicode:=/0' mode 0> [104]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#287) from `xml:parse:attribute' line 1547 (minus unused args)> [139]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#149) from `xml:parse:eq' line 992 (minus unused args)> [143]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#148) from `xml:parse:eq' line 993 (minus unused args)> [144]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#147) from `xml:parse:eq' line 994 (minus unused args)> [145]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#288) from `xml:parse:attribute' line 1546> [194]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#287) from `xml:parse:attribute' line 1547> [195]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#286) from `xml:parse:attribute' line 1548> [196]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#285) from `xml:parse:attribute' line 1548> [197]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#284) from `xml:parse:attribute' line 1547> [198]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#149) from `xml:parse:eq' line 992> [222]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#148) from `xml:parse:eq' line 993> [223]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#147) from `xml:parse:eq' line 994> [224]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#146) from `xml:parse:eq' line 994> [225]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#145) from `xml:parse:eq' line 994> [226]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#144) from `xml:parse:eq' line 993> [227]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#143) from `xml:parse:eq' line 992> [228]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#62) from `xml:parse:attValue1' line 642> [246]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#61) from `xml:parse:attValue1' line 642> [247]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#54) from `xml:parse:attValue' line 626> [254]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#53) from `xml:parse:attValue' line 627> [255]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#52) from `xml:parse:attValue' line 632> [256]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#51) from `xml:parse:attValue' line 628> [257]
0.0 12.55 0.00 740 0.00 0.00 <pred goal (#50) from `xml:parse:attValue' line 627> [258]
0.0 12.55 0.00 740 0.00 0.00 <predicate `xml:parse:attValue/2' mode 0> [285]
0.0 12.55 0.00 740 0.00 0.00 <predicate `xml:parse:attValue1/3' mode 0> [286]
0.0 12.55 0.00 740 0.00 0.00 <predicate `xml:parse:eq/2' mode 0> [293]
0.0 12.55 0.00 740 0.00 0.00 <predicate `xml:parse:attribute/2' mode 0> [300]
0.0 12.55 0.00 680 0.00 0.00 <predicate `io:write_string/3' mode 0> [647]
0.0 12.55 0.00 595 0.00 0.00 <pred goal (#323) from `xml:parse:emptyElemTag' line 1635 (minus unused args)> [133]
0.0 12.55 0.00 595 0.00 0.00 <pred goal (#323) from `xml:parse:emptyElemTag' line 1635> [160]
0.0 12.55 0.00 595 0.00 0.00 <pred goal (#310) from `xml:parse:emptyElemTag' line 1636> [173]
0.0 12.55 0.00 594 0.00 0.00 <pred goal (#85) from `xml:parse:charData' line 761> [243]
0.0 12.55 0.00 577 0.00 0.00 <pred goal (#2) from `xml:ns:traverse' line 134> [124]
0.0 12.55 0.00 577 0.00 0.00 <pred goal (#312) from `xml:parse:emptyElemTag' line 1637> [171]
0.0 12.55 0.00 461 0.00 0.00 <pred goal (#3) from `parsing:lit' line 399 (minus unused args)> [53]
0.0 12.55 0.00 445 0.00 0.00 <predicate `string:length/2' mode 0> [705]
0.0 12.55 0.00 400 0.00 0.00 <pred goal (#15) from `xml:parse:name' line 543> [264]
0.0 12.55 0.00 974 0.00 0.00 <predicate `list:map/3' mode 0> [671]
0.0 12.55 0.00 396 0.00 0.00 <predicate `list:foldl/4' mode 1> [673]
0.0 12.55 0.00 395 0.00 0.00 <predicate `xml:ns:foldl/7' mode 1 (specialized) (minus unused args)> [123]
0.0 12.55 0.00 395 0.00 0.00 <predicate `xml:ns:defaultNamespace/3' mode 0> [128]
0.0 12.55 0.00 972 0.00 0.00 <predicate `xml:ns:extractNamespaceDecls/3' mode 0> [129]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#320) from `xml:parse:emptyElemTag' line 1638 (minus unused args)> [134]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#322) from `xml:parse:emptyElemTag' line 1636> [161]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#321) from `xml:parse:emptyElemTag' line 1637> [162]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#320) from `xml:parse:emptyElemTag' line 1638> [163]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#318) from `xml:parse:emptyElemTag' line 1639> [165]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#317) from `xml:parse:emptyElemTag' line 1638> [166]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#316) from `xml:parse:emptyElemTag' line 1638> [167]
0.0 12.55 0.00 395 0.00 0.00 <pred goal (#315) from `xml:parse:emptyElemTag' line 1637> [168]
0.0 12.55 0.00 388 0.00 0.00 <predicate `string:left/3' mode 0> [709]
0.0 12.55 0.00 388 0.00 0.00 <predicate `string:right/3' mode 0> [710]
0.0 12.55 0.00 367 0.00 0.00 <pred goal (#283) from `xml:parse:sTag' line 1530 (minus unused args)> [140]
0.0 12.55 0.00 367 0.00 0.00 <pred goal (#283) from `xml:parse:sTag' line 1530> [199]
0.0 12.55 0.00 367 0.00 0.00 <pred goal (#270) from `xml:parse:sTag' line 1531> [212]
0.0 12.55 0.00 334 0.00 0.00 <function `unicode:>/0' mode 0> [105]
0.0 12.55 0.00 330 0.00 0.00 <pred goal (#274) from `xml:parse:sTag' line 1532> [208]
0.0 12.55 0.00 330 0.00 0.00 <pred goal (#273) from `xml:parse:sTag' line 1532> [209]
0.0 12.55 0.00 330 0.00 0.00 <pred goal (#271) from `xml:parse:sTag' line 1532> [211]
0.0 12.55 0.00 228 0.00 0.00 <pred goal (#319) from `xml:parse:emptyElemTag' line 1639 (minus unused args)> [135]
0.0 12.55 0.00 228 0.00 0.00 <pred goal (#319) from `xml:parse:emptyElemTag' line 1639> [164]
0.0 12.55 0.00 203 0.00 0.00 <predicate `xml:parse:comment/2' mode 0> [288]
0.0 12.55 0.00 203 0.00 0.00 <predicate `xml:parse:pi/2' mode 0> [289]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#305) from `xml:parse:content' line 1614> [178]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#304) from `xml:parse:content' line 1615> [179]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#303) from `xml:parse:content' line 1615> [180]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#301) from `xml:parse:content' line 1616> [182]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#300) from `xml:parse:content' line 1615> [183]
0.0 12.55 0.00 200 0.00 0.00 <pred goal (#299) from `xml:parse:content' line 1615> [184]
0.0 12.55 0.00 200 0.00 0.00 <predicate `xml:parse:cdSect/2' mode 0> [290]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#296) from `xml:parse:eTag' line 1591 (minus unused args)> [136]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#294) from `xml:parse:eTag' line 1593 (minus unused args)> [137]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#293) from `xml:parse:eTag' line 1594 (minus unused args)> [138]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#280) from `xml:parse:sTag' line 1533 (minus unused args)> [141]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#279) from `xml:parse:sTag' line 1534 (minus unused args)> [142]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#309) from `xml:parse:content' line 1617> [174]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#308) from `xml:parse:content' line 1617> [175]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#302) from `xml:parse:content' line 1616> [181]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#296) from `xml:parse:eTag' line 1591> [187]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#295) from `xml:parse:eTag' line 1592> [188]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#294) from `xml:parse:eTag' line 1593> [189]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#293) from `xml:parse:eTag' line 1594> [190]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#292) from `xml:parse:eTag' line 1594> [191]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#291) from `xml:parse:eTag' line 1593> [192]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#290) from `xml:parse:eTag' line 1593> [193]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#282) from `xml:parse:sTag' line 1531> [200]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#281) from `xml:parse:sTag' line 1532> [201]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#280) from `xml:parse:sTag' line 1533> [202]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#279) from `xml:parse:sTag' line 1534> [203]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#278) from `xml:parse:sTag' line 1534> [204]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#277) from `xml:parse:sTag' line 1533> [205]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#276) from `xml:parse:sTag' line 1533> [206]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#275) from `xml:parse:sTag' line 1532> [207]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#269) from `xml:parse:nonEmptyElement' line 1480> [213]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#268) from `xml:parse:nonEmptyElement' line 1481> [214]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#267) from `xml:parse:nonEmptyElement' line 1487> [215]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#266) from `xml:parse:nonEmptyElement' line 1482> [216]
0.0 12.55 0.00 167 0.00 0.00 <pred goal (#265) from `xml:parse:nonEmptyElement' line 1481> [217]
0.0 12.55 0.00 167 0.00 0.00 <predicate `xml:parse:eTag/2' mode 0> [301]
0.0 12.55 0.00 167 0.00 0.00 <predicate `xml:parse:content/2' mode 0> [302]
0.0 12.55 0.00 163 0.00 0.00 <pred goal (#272) from `xml:parse:sTag' line 1532> [210]
0.0 12.55 0.00 57 0.00 0.00 <function `parsing:mkEntity/1' mode 0> [61]
0.0 12.55 0.00 56 0.00 0.00 <predicate `parsing:parseEntity/4' mode 0> [65]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#615) from `xml:parse:entityRef' line 2449 (minus unused args)> [131]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#613) from `xml:parse:entityRef' line 2451 (minus unused args)> [132]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#615) from `xml:parse:entityRef' line 2449> [148]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#614) from `xml:parse:entityRef' line 2450> [149]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#613) from `xml:parse:entityRef' line 2451> [150]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#612) from `xml:parse:entityRef' line 2454> [151]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#611) from `xml:parse:entityRef' line 2454> [152]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#610) from `xml:parse:entityRef' line 2451> [153]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#609) from `xml:parse:entityRef' line 2450> [154]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#607) from `xml:parse:entityRef' line 2440> [155]
0.0 12.55 0.00 56 0.00 0.00 <pred goal (#57) from `xml:parse:attValue1' line 641> [251]
0.0 12.55 0.00 56 0.00 0.00 <predicate `xml:parse:getEntity/3' mode 0> [308]
0.0 12.55 0.00 33 0.00 0.00 <pred goal (#28) from `parsing:upto' line 526> [55]
0.0 12.55 0.00 33 0.00 0.00 <predicate `parsing:upto/4' mode 0> [77]
0.0 12.55 0.00 33 0.00 0.00 <pred goal (#90) from `xml:parse:comment' line 785 (minus unused args)> [147]
0.0 12.55 0.00 33 0.00 0.00 <pred goal (#90) from `xml:parse:comment' line 785> [238]
0.0 12.55 0.00 33 0.00 0.00 <pred goal (#89) from `xml:parse:comment' line 786> [239]
0.0 12.55 0.00 33 0.00 0.00 <pred goal (#88) from `xml:parse:comment' line 786> [240]
0.0 12.55 0.00 15 0.00 0.00 <predicate `char:is_whitespace/1' mode 0> [632]
0.0 12.55 0.00 8 0.00 0.00 <predicate `io:maybe_write_char/5' mode 0> [658]
0.0 12.55 0.00 8 0.00 0.00 <predicate `io:adjust_priority/3' mode 0> [659]
0.0 12.55 0.00 7 0.00 0.00 <function `parsing:mkEncoding/1' mode 0> [62]
0.0 12.55 0.00 6 0.00 0.00 <function `map:init/0' mode 0> [678]
0.0 12.55 0.00 5 0.00 0.00 <predicate `map:init/1' mode 0> [677]
0.0 12.55 0.00 191 0.00 0.00 <predicate `xml:cat:untilDiscard/4' mode 0> [118]
0.0 12.55 0.00 4 0.00 0.00 <predicate `ops:op_specifier_to_class/2' mode 0> [685]
0.0 12.55 0.00 3 0.00 0.00 <predicate `parsing:then/4' mode 9 (specialized) (minus unused args)> [45]
0.0 12.55 0.00 3 0.00 0.00 <predicate `parsing:no/3' mode 0> [80]
0.0 12.55 0.00 3 0.00 0.00 <predicate `xml:cat:ws/2' mode 0> [117]
0.0 12.55 0.00 3 0.00 0.00 <pred goal (#1) from `xml:ns:traverse' line 127> [125]
0.0 12.55 0.00 3 0.00 0.00 <pred goal (#154) from `xml:parse:misc' line 1036> [218]
0.0 12.55 0.00 3 0.00 0.00 <pred goal (#153) from `xml:parse:misc' line 1038> [219]
0.0 12.55 0.00 3 0.00 0.00 <pred goal (#152) from `xml:parse:misc' line 1032> [220]
0.0 12.55 0.00 3 0.00 0.00 <pred goal (#151) from `xml:parse:misc' line 1032> [221]
0.0 12.55 0.00 3 0.00 0.00 <predicate `xml:parse:misc/2' mode 0> [294]
0.0 12.55 0.00 3 0.00 0.00 <predicate `io:ops:lookup_op/2' mode 0 (minus unused args)> [636]
0.0 12.55 0.00 3 0.00 0.00 <predicate `ops:op_table/4' mode 1> [687]
0.0 12.55 0.00 3 0.00 0.00 <predicate `term_io:quote_atom/3' mode 0> [716]
0.0 12.55 0.00 2 0.00 0.00 <predicate `parsing:io/4' mode 0> [70]
0.0 12.55 0.00 2 0.00 0.00 <pred goal (#2) from `xml:parse:document' line 365> [277]
0.0 12.55 0.00 2 0.00 0.00 <predicate `xml:parse:filterOpt/2' mode 0> [295]
0.0 12.55 0.00 2 0.00 0.00 <function `array:array/1' mode 0> [625]
0.0 12.55 0.00 2 0.00 0.00 <predicate `array:from_list/2' mode 0> [627]
0.0 12.55 0.00 2 0.00 0.00 <predicate `array:insert_items/4' mode 0> [628]
0.0 12.55 0.00 2 0.00 0.00 <predicate `io:see/4' mode 0> [649]
0.0 12.55 0.00 2 0.00 0.00 <predicate `io:open_input/4' mode 0> [650]
0.0 12.55 0.00 2 0.00 0.00 <predicate `io:write_univ/3' mode 0> [654]
0.0 12.55 0.00 2 0.00 0.00 <predicate `list:length_2/3' mode 0> [674]
0.0 12.55 0.00 2 0.00 0.00 <predicate `map:from_assoc_list/2' mode 0> [684]
0.0 12.55 0.00 2 0.00 0.00 <predicate `std_util:type_to_univ/2' mode 1> [692]
0.0 12.55 0.00 2 0.00 0.00 <predicate `tree234:assoc_list_to_tree234_2/3' mode 0> [724]
0.0 12.55 0.00 1 0.00 0.00 <predicate `parsing:pstate/5' mode 0> [63]
0.0 12.55 0.00 1 0.00 0.00 <predicate `parsing:finish/3' mode 0> [64]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#2) from `tryit:main' line 47> [87]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#1) from `tryit:main' line 36> [88]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tryit:main/3' mode 0> [90]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tryit:split/3' mode 0> [91]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tryit:split1/5' mode 0> [92]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tryit:split2/5' mode 0> [93]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#2) from `xml:cat:decomment' line 109> [111]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:cat:load/5' mode 0> [112]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:cat:find/5' mode 0> [113]
0.0 12.55 0.00 2 0.00 0.00 <predicate `xml:cat:lines/4' mode 0> [114]
0.0 12.55 0.00 2 0.00 0.00 <predicate `xml:cat:parse/3' mode 0> [115]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:cat:addEntry/3' mode 0> [116]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:ns:nsTranslate/2' mode 0> [126]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#117) from `xml:parse:prolog' line 923 (minus unused args)> [146]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#117) from `xml:parse:prolog' line 923> [229]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#116) from `xml:parse:prolog' line 924> [230]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#115) from `xml:parse:prolog' line 925> [231]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#114) from `xml:parse:prolog' line 925> [232]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#113) from `xml:parse:prolog' line 925> [233]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#110) from `xml:parse:prolog' line 925> [234]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#109) from `xml:parse:prolog' line 924> [235]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#108) from `xml:parse:prolog' line 924> [236]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#107) from `xml:parse:prolog' line 923> [237]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#6) from `xml:parse:document' line 361> [273]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#5) from `xml:parse:document' line 364> [274]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#4) from `xml:parse:document' line 365> [275]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#3) from `xml:parse:document' line 365> [276]
0.0 12.55 0.00 1 0.00 0.00 <pred goal (#1) from `xml:parse:document' line 364> [278]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:parse:document/2' mode 0> [279]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:parse:contentStore/1' mode 0> [280]
0.0 12.55 0.00 1 0.00 0.00 <function `xml:parse:entities/0' mode 0> [281]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:parse:prolog/2' mode 0> [291]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:parse:xmlDecl/2' mode 0> [292]
0.0 12.55 0.00 1 0.00 0.00 <predicate `xml:parse:doctypedecl/2' mode 0> [296]
0.0 12.55 0.00 1 0.00 0.00 <function `io:array:foldr_0/5' mode 1 (specialized) (minus unused args)> [635]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:same_array_elem_type/2' mode 0 (minus unused args)> [641]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:read_file/3' mode 0> [642]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:read_file_as_string/4' mode 0> [643]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:read_file_as_string/5' mode 0> [644]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:write/3' mode 0> [645]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:nl/2' mode 0> [646]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:command_line_arguments/3' mode 0> [651]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:get_environment_var/4' mode 0> [652]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:read_file_2/5' mode 0> [655]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:read_file_as_string_2/9' mode 0> [656]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:write_array/3' mode 0> [662]
0.0 12.55 0.00 1 0.00 0.00 <predicate `io:insert_std_stream_names/2' mode 0> [664]
0.0 12.55 0.00 1 0.00 0.00 <predicate `list:foldl/4' mode 0> [672]
0.0 12.55 0.00 1 0.00 0.00 <predicate `map:det_insert/4' mode 0> [681]
0.0 12.55 0.00 1 0.00 0.00 <function `map:values/1' mode 0> [683]
0.0 12.55 0.00 1 0.00 0.00 <predicate `std_util:type_to_univ/2' mode 0> [691]
0.0 12.55 0.00 1 0.00 0.00 <function `std_util:type_ctor_module_name/1' mode 0> [700]
0.0 12.55 0.00 1 0.00 0.00 <predicate `string:append_list/2' mode 0> [711]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tree234:init/1' mode 0> [720]
0.0 12.55 0.00 1 0.00 0.00 <predicate `tree234:insert/4' mode 0> [722]
0.0 12.55 0.00 1023 0.00 0.00 <predicate `tree234:values_2/3' mode 0> [723]
0.0 12.55 0.00 0 0.00 0.00 <predicate `main/2' mode 0> [89]
0.0 12.55 0.00 0 0.00 0.00 <predicate `io:init_state/2' mode 0> [663]
alphabetic listing:
[704] <compare/3 predicate for type `std_util:type_desc/0'>
[702] <compare/3 predicate for type `std_util:univ/0'>
[625] <function `array:array/1' mode 0>
[635] <function `io:array:foldr_0/5' mode 1 (specialized) (minus unused args)>
[678] <function `map:init/0' mode 0>
[683] <function `map:values/1' mode 0>
[62] <function `parsing:mkEncoding/1' mode 0>
[61] <function `parsing:mkEntity/1' mode 0>
[700] <function `std_util:type_ctor_module_name/1' mode 0>
[699] <function `std_util:type_ctor_name/1' mode 0>
[694] <function `std_util:univ/1' mode 0>
[696] <function `std_util:univ_type/1' mode 0>
[697] <function `std_util:univ_value/1' mode 0>
[94] <function `unicode:"/0' mode 0>
[95] <function `unicode:&/0' mode 0>
[96] <function `unicode:'/0' mode 0>
[97] <function `unicode:-/0' mode 0>
[98] <function `unicode:./0' mode 0>
[99] <function `unicode:0/0' mode 0>
[100] <function `unicode:9/0' mode 0>
[101] <function `unicode::/0' mode 0>
[102] <function `unicode:;/0' mode 0>
[103] <function `unicode:</0' mode 0>
[104] <function `unicode:=/0' mode 0>
[105] <function `unicode:>/0' mode 0>
[106] <function `unicode:A/0' mode 0>
[107] <function `unicode:F/0' mode 0>
[108] <function `unicode:_/0' mode 0>
[109] <function `unicode:a/0' mode 0>
[110] <function `unicode:f/0' mode 0>
[5] <function `xml:encoding:./2' mode 0>
[281] <function `xml:parse:entities/0' mode 0>
[88] <pred goal (#1) from `tryit:main' line 36>
[125] <pred goal (#1) from `xml:ns:traverse' line 127>
[622] <pred goal (#1) from `xml:parse:chars:baseChar' line 169>
[278] <pred goal (#1) from `xml:parse:document' line 364>
[613] <pred goal (#10) from `xml:parse:chars:baseChar' line 167>
[269] <pred goal (#10) from `xml:parse:nameChar' line 534>
[524] <pred goal (#100) from `xml:parse:chars:baseChar' line 138>
[523] <pred goal (#101) from `xml:parse:chars:baseChar' line 138>
[522] <pred goal (#102) from `xml:parse:chars:baseChar' line 137>
[521] <pred goal (#103) from `xml:parse:chars:baseChar' line 137>
[520] <pred goal (#104) from `xml:parse:chars:baseChar' line 137>
[519] <pred goal (#105) from `xml:parse:chars:baseChar' line 136>
[518] <pred goal (#106) from `xml:parse:chars:baseChar' line 136>
[517] <pred goal (#107) from `xml:parse:chars:baseChar' line 136>
[237] <pred goal (#107) from `xml:parse:prolog' line 923>
[516] <pred goal (#108) from `xml:parse:chars:baseChar' line 135>
[236] <pred goal (#108) from `xml:parse:prolog' line 924>
[515] <pred goal (#109) from `xml:parse:chars:baseChar' line 135>
[235] <pred goal (#109) from `xml:parse:prolog' line 924>
[612] <pred goal (#11) from `xml:parse:chars:baseChar' line 166>
[268] <pred goal (#11) from `xml:parse:nameChar' line 534>
[514] <pred goal (#110) from `xml:parse:chars:baseChar' line 135>
[234] <pred goal (#110) from `xml:parse:prolog' line 925>
[513] <pred goal (#111) from `xml:parse:chars:baseChar' line 135>
[512] <pred goal (#112) from `xml:parse:chars:baseChar' line 134>
[511] <pred goal (#113) from `xml:parse:chars:baseChar' line 134>
[233] <pred goal (#113) from `xml:parse:prolog' line 925>
[510] <pred goal (#114) from `xml:parse:chars:baseChar' line 134>
[232] <pred goal (#114) from `xml:parse:prolog' line 925>
[509] <pred goal (#115) from `xml:parse:chars:baseChar' line 133>
[231] <pred goal (#115) from `xml:parse:prolog' line 925>
[508] <pred goal (#116) from `xml:parse:chars:baseChar' line 133>
[230] <pred goal (#116) from `xml:parse:prolog' line 924>
[507] <pred goal (#117) from `xml:parse:chars:baseChar' line 133>
[146] <pred goal (#117) from `xml:parse:prolog' line 923 (minus unused args)>
[229] <pred goal (#117) from `xml:parse:prolog' line 923>
[506] <pred goal (#118) from `xml:parse:chars:baseChar' line 133>
[505] <pred goal (#119) from `xml:parse:chars:baseChar' line 132>
[52] <pred goal (#12) from `parsing:opt' line 507 (minus unused args)>
[611] <pred goal (#12) from `xml:parse:chars:baseChar' line 166>
[267] <pred goal (#12) from `xml:parse:nameChar' line 534>
[504] <pred goal (#120) from `xml:parse:chars:baseChar' line 132>
[503] <pred goal (#121) from `xml:parse:chars:baseChar' line 132>
[502] <pred goal (#122) from `xml:parse:chars:baseChar' line 131>
[501] <pred goal (#123) from `xml:parse:chars:baseChar' line 131>
[500] <pred goal (#124) from `xml:parse:chars:baseChar' line 131>
[499] <pred goal (#125) from `xml:parse:chars:baseChar' line 131>
[498] <pred goal (#126) from `xml:parse:chars:baseChar' line 130>
[497] <pred goal (#127) from `xml:parse:chars:baseChar' line 130>
[496] <pred goal (#128) from `xml:parse:chars:baseChar' line 130>
[495] <pred goal (#129) from `xml:parse:chars:baseChar' line 130>
[610] <pred goal (#13) from `xml:parse:chars:baseChar' line 166>
[266] <pred goal (#13) from `xml:parse:nameChar' line 534>
[494] <pred goal (#130) from `xml:parse:chars:baseChar' line 129>
[493] <pred goal (#131) from `xml:parse:chars:baseChar' line 129>
[492] <pred goal (#132) from `xml:parse:chars:baseChar' line 129>
[491] <pred goal (#133) from `xml:parse:chars:baseChar' line 129>
[490] <pred goal (#134) from `xml:parse:chars:baseChar' line 128>
[489] <pred goal (#135) from `xml:parse:chars:baseChar' line 128>
[488] <pred goal (#136) from `xml:parse:chars:baseChar' line 128>
[487] <pred goal (#137) from `xml:parse:chars:baseChar' line 127>
[486] <pred goal (#138) from `xml:parse:chars:baseChar' line 127>
[485] <pred goal (#139) from `xml:parse:chars:baseChar' line 127>
[8] <pred goal (#14) from `parsing:range' line 544>
[609] <pred goal (#14) from `xml:parse:chars:baseChar' line 165>
[265] <pred goal (#14) from `xml:parse:nameChar' line 534>
[484] <pred goal (#140) from `xml:parse:chars:baseChar' line 126>
[483] <pred goal (#141) from `xml:parse:chars:baseChar' line 126>
[482] <pred goal (#142) from `xml:parse:chars:baseChar' line 126>
[481] <pred goal (#143) from `xml:parse:chars:baseChar' line 125>
[228] <pred goal (#143) from `xml:parse:eq' line 992>
[480] <pred goal (#144) from `xml:parse:chars:baseChar' line 125>
[227] <pred goal (#144) from `xml:parse:eq' line 993>
[479] <pred goal (#145) from `xml:parse:chars:baseChar' line 125>
[226] <pred goal (#145) from `xml:parse:eq' line 994>
[478] <pred goal (#146) from `xml:parse:chars:baseChar' line 125>
[225] <pred goal (#146) from `xml:parse:eq' line 994>
[477] <pred goal (#147) from `xml:parse:chars:baseChar' line 124>
[145] <pred goal (#147) from `xml:parse:eq' line 994 (minus unused args)>
[224] <pred goal (#147) from `xml:parse:eq' line 994>
[476] <pred goal (#148) from `xml:parse:chars:baseChar' line 124>
[144] <pred goal (#148) from `xml:parse:eq' line 993 (minus unused args)>
[223] <pred goal (#148) from `xml:parse:eq' line 993>
[475] <pred goal (#149) from `xml:parse:chars:baseChar' line 124>
[143] <pred goal (#149) from `xml:parse:eq' line 992 (minus unused args)>
[222] <pred goal (#149) from `xml:parse:eq' line 992>
[608] <pred goal (#15) from `xml:parse:chars:baseChar' line 165>
[264] <pred goal (#15) from `xml:parse:name' line 543>
[474] <pred goal (#150) from `xml:parse:chars:baseChar' line 123>
[473] <pred goal (#151) from `xml:parse:chars:baseChar' line 123>
[221] <pred goal (#151) from `xml:parse:misc' line 1032>
[472] <pred goal (#152) from `xml:parse:chars:baseChar' line 123>
[220] <pred goal (#152) from `xml:parse:misc' line 1032>
[471] <pred goal (#153) from `xml:parse:chars:baseChar' line 123>
[219] <pred goal (#153) from `xml:parse:misc' line 1038>
[470] <pred goal (#154) from `xml:parse:chars:baseChar' line 122>
[218] <pred goal (#154) from `xml:parse:misc' line 1036>
[469] <pred goal (#155) from `xml:parse:chars:baseChar' line 122>
[468] <pred goal (#156) from `xml:parse:chars:baseChar' line 122>
[467] <pred goal (#157) from `xml:parse:chars:baseChar' line 122>
[466] <pred goal (#158) from `xml:parse:chars:baseChar' line 121>
[465] <pred goal (#159) from `xml:parse:chars:baseChar' line 121>
[607] <pred goal (#16) from `xml:parse:chars:baseChar' line 165>
[263] <pred goal (#16) from `xml:parse:name' line 543>
[464] <pred goal (#160) from `xml:parse:chars:baseChar' line 121>
[463] <pred goal (#161) from `xml:parse:chars:baseChar' line 120>
[462] <pred goal (#162) from `xml:parse:chars:baseChar' line 120>
[461] <pred goal (#163) from `xml:parse:chars:baseChar' line 120>
[460] <pred goal (#164) from `xml:parse:chars:baseChar' line 119>
[459] <pred goal (#165) from `xml:parse:chars:baseChar' line 119>
[458] <pred goal (#166) from `xml:parse:chars:baseChar' line 119>
[457] <pred goal (#167) from `xml:parse:chars:baseChar' line 119>
[456] <pred goal (#168) from `xml:parse:chars:baseChar' line 118>
[455] <pred goal (#169) from `xml:parse:chars:baseChar' line 118>
[606] <pred goal (#17) from `xml:parse:chars:baseChar' line 165>
[262] <pred goal (#17) from `xml:parse:name' line 544>
[454] <pred goal (#170) from `xml:parse:chars:baseChar' line 118>
[453] <pred goal (#171) from `xml:parse:chars:baseChar' line 117>
[452] <pred goal (#172) from `xml:parse:chars:baseChar' line 117>
[451] <pred goal (#173) from `xml:parse:chars:baseChar' line 117>
[450] <pred goal (#174) from `xml:parse:chars:baseChar' line 116>
[449] <pred goal (#175) from `xml:parse:chars:baseChar' line 116>
[448] <pred goal (#176) from `xml:parse:chars:baseChar' line 116>
[447] <pred goal (#177) from `xml:parse:chars:baseChar' line 115>
[446] <pred goal (#178) from `xml:parse:chars:baseChar' line 114>
[445] <pred goal (#179) from `xml:parse:chars:baseChar' line 114>
[605] <pred goal (#18) from `xml:parse:chars:baseChar' line 164>
[261] <pred goal (#18) from `xml:parse:name' line 544>
[444] <pred goal (#180) from `xml:parse:chars:baseChar' line 114>
[443] <pred goal (#181) from `xml:parse:chars:baseChar' line 114>
[442] <pred goal (#182) from `xml:parse:chars:baseChar' line 113>
[441] <pred goal (#183) from `xml:parse:chars:baseChar' line 113>
[440] <pred goal (#184) from `xml:parse:chars:baseChar' line 113>
[439] <pred goal (#185) from `xml:parse:chars:baseChar' line 113>
[438] <pred goal (#186) from `xml:parse:chars:baseChar' line 112>
[437] <pred goal (#187) from `xml:parse:chars:baseChar' line 112>
[436] <pred goal (#188) from `xml:parse:chars:baseChar' line 112>
[435] <pred goal (#189) from `xml:parse:chars:baseChar' line 112>
[19] <pred goal (#19) from `parsing:except' line 576>
[604] <pred goal (#19) from `xml:parse:chars:baseChar' line 163>
[260] <pred goal (#19) from `xml:parse:name' line 544>
[434] <pred goal (#190) from `xml:parse:chars:baseChar' line 111>
[433] <pred goal (#191) from `xml:parse:chars:baseChar' line 111>
[432] <pred goal (#192) from `xml:parse:chars:baseChar' line 111>
[431] <pred goal (#193) from `xml:parse:chars:baseChar' line 110>
[430] <pred goal (#194) from `xml:parse:chars:baseChar' line 110>
[429] <pred goal (#195) from `xml:parse:chars:baseChar' line 110>
[428] <pred goal (#196) from `xml:parse:chars:baseChar' line 109>
[427] <pred goal (#197) from `xml:parse:chars:baseChar' line 109>
[426] <pred goal (#198) from `xml:parse:chars:baseChar' line 109>
[425] <pred goal (#199) from `xml:parse:chars:baseChar' line 108>
[6] <pred goal (#2) from `parsing:lit1' line 393>
[87] <pred goal (#2) from `tryit:main' line 47>
[111] <pred goal (#2) from `xml:cat:decomment' line 109>
[124] <pred goal (#2) from `xml:ns:traverse' line 134>
[621] <pred goal (#2) from `xml:parse:chars:baseChar' line 169>
[277] <pred goal (#2) from `xml:parse:document' line 365>
[603] <pred goal (#20) from `xml:parse:chars:baseChar' line 163>
[259] <pred goal (#20) from `xml:parse:name' line 543>
[424] <pred goal (#200) from `xml:parse:chars:baseChar' line 108>
[423] <pred goal (#201) from `xml:parse:chars:ideographic' line 174>
[422] <pred goal (#202) from `xml:parse:chars:combiningChar' line 231>
[421] <pred goal (#203) from `xml:parse:chars:combiningChar' line 231>
[420] <pred goal (#204) from `xml:parse:chars:combiningChar' line 230>
[419] <pred goal (#205) from `xml:parse:chars:combiningChar' line 230>
[418] <pred goal (#206) from `xml:parse:chars:combiningChar' line 230>
[417] <pred goal (#207) from `xml:parse:chars:combiningChar' line 230>
[416] <pred goal (#208) from `xml:parse:chars:combiningChar' line 229>
[415] <pred goal (#209) from `xml:parse:chars:combiningChar' line 229>
[602] <pred goal (#21) from `xml:parse:chars:baseChar' line 163>
[414] <pred goal (#210) from `xml:parse:chars:combiningChar' line 229>
[413] <pred goal (#211) from `xml:parse:chars:combiningChar' line 229>
[412] <pred goal (#212) from `xml:parse:chars:combiningChar' line 228>
[411] <pred goal (#213) from `xml:parse:chars:combiningChar' line 227>
[410] <pred goal (#214) from `xml:parse:chars:combiningChar' line 227>
[409] <pred goal (#215) from `xml:parse:chars:combiningChar' line 227>
[408] <pred goal (#216) from `xml:parse:chars:combiningChar' line 227>
[407] <pred goal (#217) from `xml:parse:chars:combiningChar' line 226>
[406] <pred goal (#218) from `xml:parse:chars:combiningChar' line 226>
[405] <pred goal (#219) from `xml:parse:chars:combiningChar' line 226>
[601] <pred goal (#22) from `xml:parse:chars:baseChar' line 163>
[404] <pred goal (#220) from `xml:parse:chars:combiningChar' line 226>
[403] <pred goal (#221) from `xml:parse:chars:combiningChar' line 225>
[402] <pred goal (#222) from `xml:parse:chars:combiningChar' line 225>
[401] <pred goal (#223) from `xml:parse:chars:combiningChar' line 225>
[400] <pred goal (#224) from `xml:parse:chars:combiningChar' line 225>
[399] <pred goal (#225) from `xml:parse:chars:combiningChar' line 224>
[398] <pred goal (#226) from `xml:parse:chars:combiningChar' line 224>
[397] <pred goal (#227) from `xml:parse:chars:combiningChar' line 224>
[396] <pred goal (#228) from `xml:parse:chars:combiningChar' line 224>
[395] <pred goal (#229) from `xml:parse:chars:combiningChar' line 223>
[600] <pred goal (#23) from `xml:parse:chars:baseChar' line 162>
[394] <pred goal (#230) from `xml:parse:chars:combiningChar' line 223>
[393] <pred goal (#231) from `xml:parse:chars:combiningChar' line 223>
[392] <pred goal (#232) from `xml:parse:chars:combiningChar' line 222>
[391] <pred goal (#233) from `xml:parse:chars:combiningChar' line 222>
[390] <pred goal (#234) from `xml:parse:chars:combiningChar' line 222>
[389] <pred goal (#235) from `xml:parse:chars:combiningChar' line 221>
[388] <pred goal (#236) from `xml:parse:chars:combiningChar' line 221>
[28] <pred goal (#237) from `xml:parse:chars:combiningChar' line 221>
[387] <pred goal (#238) from `xml:parse:chars:combiningChar' line 220>
[386] <pred goal (#239) from `xml:parse:chars:combiningChar' line 220>
[18] <pred goal (#24) from `parsing:lit2' line 419>
[599] <pred goal (#24) from `xml:parse:chars:baseChar' line 162>
[385] <pred goal (#240) from `xml:parse:chars:combiningChar' line 220>
[384] <pred goal (#241) from `xml:parse:chars:combiningChar' line 219>
[383] <pred goal (#242) from `xml:parse:chars:combiningChar' line 219>
[382] <pred goal (#243) from `xml:parse:chars:combiningChar' line 219>
[381] <pred goal (#244) from `xml:parse:chars:combiningChar' line 219>
[380] <pred goal (#245) from `xml:parse:chars:combiningChar' line 218>
[379] <pred goal (#246) from `xml:parse:chars:combiningChar' line 218>
[378] <pred goal (#247) from `xml:parse:chars:combiningChar' line 218>
[377] <pred goal (#248) from `xml:parse:chars:combiningChar' line 217>
[376] <pred goal (#249) from `xml:parse:chars:combiningChar' line 217>
[56] <pred goal (#25) from `parsing:star' line 468>
[598] <pred goal (#25) from `xml:parse:chars:baseChar' line 162>
[375] <pred goal (#250) from `xml:parse:chars:combiningChar' line 217>
[374] <pred goal (#251) from `xml:parse:chars:combiningChar' line 217>
[373] <pred goal (#252) from `xml:parse:chars:combiningChar' line 216>
[372] <pred goal (#253) from `xml:parse:chars:combiningChar' line 216>
[371] <pred goal (#254) from `xml:parse:chars:combiningChar' line 216>
[370] <pred goal (#255) from `xml:parse:chars:combiningChar' line 215>
[369] <pred goal (#256) from `xml:parse:chars:combiningChar' line 215>
[368] <pred goal (#257) from `xml:parse:chars:combiningChar' line 215>
[367] <pred goal (#258) from `xml:parse:chars:combiningChar' line 215>
[366] <pred goal (#259) from `xml:parse:chars:combiningChar' line 214>
[51] <pred goal (#26) from `parsing:star' line 468 (minus unused args)>
[597] <pred goal (#26) from `xml:parse:chars:baseChar' line 161>
[365] <pred goal (#260) from `xml:parse:chars:combiningChar' line 214>
[364] <pred goal (#261) from `xml:parse:chars:combiningChar' line 214>
[363] <pred goal (#262) from `xml:parse:chars:combiningChar' line 214>
[362] <pred goal (#263) from `xml:parse:chars:combiningChar' line 213>
[361] <pred goal (#264) from `xml:parse:chars:combiningChar' line 212>
[360] <pred goal (#265) from `xml:parse:chars:combiningChar' line 212>
[217] <pred goal (#265) from `xml:parse:nonEmptyElement' line 1481>
[359] <pred goal (#266) from `xml:parse:chars:combiningChar' line 212>
[216] <pred goal (#266) from `xml:parse:nonEmptyElement' line 1482>
[358] <pred goal (#267) from `xml:parse:chars:combiningChar' line 212>
[215] <pred goal (#267) from `xml:parse:nonEmptyElement' line 1487>
[357] <pred goal (#268) from `xml:parse:chars:combiningChar' line 211>
[214] <pred goal (#268) from `xml:parse:nonEmptyElement' line 1481>
[356] <pred goal (#269) from `xml:parse:chars:combiningChar' line 211>
[213] <pred goal (#269) from `xml:parse:nonEmptyElement' line 1480>
[596] <pred goal (#27) from `xml:parse:chars:baseChar' line 161>
[355] <pred goal (#270) from `xml:parse:chars:combiningChar' line 211>
[212] <pred goal (#270) from `xml:parse:sTag' line 1531>
[354] <pred goal (#271) from `xml:parse:chars:combiningChar' line 211>
[211] <pred goal (#271) from `xml:parse:sTag' line 1532>
[353] <pred goal (#272) from `xml:parse:chars:combiningChar' line 210>
[210] <pred goal (#272) from `xml:parse:sTag' line 1532>
[352] <pred goal (#273) from `xml:parse:chars:combiningChar' line 210>
[209] <pred goal (#273) from `xml:parse:sTag' line 1532>
[351] <pred goal (#274) from `xml:parse:chars:combiningChar' line 210>
[208] <pred goal (#274) from `xml:parse:sTag' line 1532>
[350] <pred goal (#275) from `xml:parse:chars:combiningChar' line 210>
[207] <pred goal (#275) from `xml:parse:sTag' line 1532>
[349] <pred goal (#276) from `xml:parse:chars:combiningChar' line 209>
[206] <pred goal (#276) from `xml:parse:sTag' line 1533>
[348] <pred goal (#277) from `xml:parse:chars:combiningChar' line 209>
[205] <pred goal (#277) from `xml:parse:sTag' line 1533>
[347] <pred goal (#278) from `xml:parse:chars:combiningChar' line 209>
[204] <pred goal (#278) from `xml:parse:sTag' line 1534>
[346] <pred goal (#279) from `xml:parse:chars:combiningChar' line 209>
[142] <pred goal (#279) from `xml:parse:sTag' line 1534 (minus unused args)>
[203] <pred goal (#279) from `xml:parse:sTag' line 1534>
[55] <pred goal (#28) from `parsing:upto' line 526>
[595] <pred goal (#28) from `xml:parse:chars:baseChar' line 161>
[345] <pred goal (#280) from `xml:parse:chars:combiningChar' line 208>
[141] <pred goal (#280) from `xml:parse:sTag' line 1533 (minus unused args)>
[202] <pred goal (#280) from `xml:parse:sTag' line 1533>
[344] <pred goal (#281) from `xml:parse:chars:combiningChar' line 208>
[201] <pred goal (#281) from `xml:parse:sTag' line 1532>
[343] <pred goal (#282) from `xml:parse:chars:combiningChar' line 208>
[200] <pred goal (#282) from `xml:parse:sTag' line 1531>
[342] <pred goal (#283) from `xml:parse:chars:combiningChar' line 207>
[140] <pred goal (#283) from `xml:parse:sTag' line 1530 (minus unused args)>
[199] <pred goal (#283) from `xml:parse:sTag' line 1530>
[198] <pred goal (#284) from `xml:parse:attribute' line 1547>
[341] <pred goal (#284) from `xml:parse:chars:combiningChar' line 207>
[197] <pred goal (#285) from `xml:parse:attribute' line 1548>
[340] <pred goal (#285) from `xml:parse:chars:combiningChar' line 207>
[196] <pred goal (#286) from `xml:parse:attribute' line 1548>
[339] <pred goal (#286) from `xml:parse:chars:combiningChar' line 207>
[139] <pred goal (#287) from `xml:parse:attribute' line 1547 (minus unused args)>
[195] <pred goal (#287) from `xml:parse:attribute' line 1547>
[338] <pred goal (#287) from `xml:parse:chars:combiningChar' line 206>
[194] <pred goal (#288) from `xml:parse:attribute' line 1546>
[337] <pred goal (#288) from `xml:parse:chars:combiningChar' line 206>
[336] <pred goal (#289) from `xml:parse:chars:combiningChar' line 206>
[26] <pred goal (#289) from `xml:parse:eTag' line 1592>
[54] <pred goal (#29) from `parsing:upto' line 533>
[594] <pred goal (#29) from `xml:parse:chars:baseChar' line 160>
[335] <pred goal (#290) from `xml:parse:chars:combiningChar' line 206>
[193] <pred goal (#290) from `xml:parse:eTag' line 1593>
[334] <pred goal (#291) from `xml:parse:chars:combiningChar' line 205>
[192] <pred goal (#291) from `xml:parse:eTag' line 1593>
[333] <pred goal (#292) from `xml:parse:chars:combiningChar' line 205>
[191] <pred goal (#292) from `xml:parse:eTag' line 1594>
[332] <pred goal (#293) from `xml:parse:chars:combiningChar' line 205>
[138] <pred goal (#293) from `xml:parse:eTag' line 1594 (minus unused args)>
[190] <pred goal (#293) from `xml:parse:eTag' line 1594>
[331] <pred goal (#294) from `xml:parse:chars:combiningChar' line 204>
[137] <pred goal (#294) from `xml:parse:eTag' line 1593 (minus unused args)>
[189] <pred goal (#294) from `xml:parse:eTag' line 1593>
[330] <pred goal (#295) from `xml:parse:chars:digit' line 244>
[188] <pred goal (#295) from `xml:parse:eTag' line 1592>
[329] <pred goal (#296) from `xml:parse:chars:digit' line 244>
[136] <pred goal (#296) from `xml:parse:eTag' line 1591 (minus unused args)>
[187] <pred goal (#296) from `xml:parse:eTag' line 1591>
[328] <pred goal (#297) from `xml:parse:chars:digit' line 243>
[186] <pred goal (#297) from `xml:parse:content' line 1614>
[327] <pred goal (#298) from `xml:parse:chars:digit' line 243>
[185] <pred goal (#298) from `xml:parse:content' line 1614>
[326] <pred goal (#299) from `xml:parse:chars:digit' line 243>
[184] <pred goal (#299) from `xml:parse:content' line 1615>
[53] <pred goal (#3) from `parsing:lit' line 399 (minus unused args)>
[620] <pred goal (#3) from `xml:parse:chars:baseChar' line 168>
[276] <pred goal (#3) from `xml:parse:document' line 365>
[50] <pred goal (#30) from `parsing:upto' line 526 (minus unused args)>
[593] <pred goal (#30) from `xml:parse:chars:baseChar' line 159>
[325] <pred goal (#300) from `xml:parse:chars:digit' line 242>
[183] <pred goal (#300) from `xml:parse:content' line 1615>
[324] <pred goal (#301) from `xml:parse:chars:digit' line 242>
[182] <pred goal (#301) from `xml:parse:content' line 1616>
[323] <pred goal (#302) from `xml:parse:chars:digit' line 242>
[181] <pred goal (#302) from `xml:parse:content' line 1616>
[322] <pred goal (#303) from `xml:parse:chars:digit' line 241>
[180] <pred goal (#303) from `xml:parse:content' line 1615>
[321] <pred goal (#304) from `xml:parse:chars:digit' line 241>
[179] <pred goal (#304) from `xml:parse:content' line 1615>
[320] <pred goal (#305) from `xml:parse:chars:digit' line 241>
[178] <pred goal (#305) from `xml:parse:content' line 1614>
[319] <pred goal (#306) from `xml:parse:chars:digit' line 240>
[177] <pred goal (#306) from `xml:parse:content' line 1614>
[318] <pred goal (#307) from `xml:parse:chars:digit' line 240>
[176] <pred goal (#307) from `xml:parse:content' line 1614>
[317] <pred goal (#308) from `xml:parse:chars:extender' line 253>
[175] <pred goal (#308) from `xml:parse:content' line 1617>
[316] <pred goal (#309) from `xml:parse:chars:extender' line 253>
[174] <pred goal (#309) from `xml:parse:content' line 1617>
[592] <pred goal (#31) from `xml:parse:chars:baseChar' line 159>
[315] <pred goal (#310) from `xml:parse:chars:extender' line 253>
[173] <pred goal (#310) from `xml:parse:emptyElemTag' line 1636>
[314] <pred goal (#311) from `xml:parse:chars:extender' line 253>
[172] <pred goal (#311) from `xml:parse:emptyElemTag' line 1637>
[313] <pred goal (#312) from `xml:parse:chars:extender' line 252>
[171] <pred goal (#312) from `xml:parse:emptyElemTag' line 1637>
[312] <pred goal (#313) from `xml:parse:chars:extender' line 252>
[170] <pred goal (#313) from `xml:parse:emptyElemTag' line 1637>
[311] <pred goal (#314) from `xml:parse:chars:extender' line 251>
[169] <pred goal (#314) from `xml:parse:emptyElemTag' line 1637>
[310] <pred goal (#315) from `xml:parse:chars:extender' line 251>
[168] <pred goal (#315) from `xml:parse:emptyElemTag' line 1637>
[309] <pred goal (#316) from `xml:parse:chars:extender' line 251>
[167] <pred goal (#316) from `xml:parse:emptyElemTag' line 1638>
[166] <pred goal (#317) from `xml:parse:emptyElemTag' line 1638>
[165] <pred goal (#318) from `xml:parse:emptyElemTag' line 1639>
[135] <pred goal (#319) from `xml:parse:emptyElemTag' line 1639 (minus unused args)>
[164] <pred goal (#319) from `xml:parse:emptyElemTag' line 1639>
[591] <pred goal (#32) from `xml:parse:chars:baseChar' line 159>
[134] <pred goal (#320) from `xml:parse:emptyElemTag' line 1638 (minus unused args)>
[163] <pred goal (#320) from `xml:parse:emptyElemTag' line 1638>
[162] <pred goal (#321) from `xml:parse:emptyElemTag' line 1637>
[161] <pred goal (#322) from `xml:parse:emptyElemTag' line 1636>
[133] <pred goal (#323) from `xml:parse:emptyElemTag' line 1635 (minus unused args)>
[160] <pred goal (#323) from `xml:parse:emptyElemTag' line 1635>
[590] <pred goal (#33) from `xml:parse:chars:baseChar' line 159>
[589] <pred goal (#34) from `xml:parse:chars:baseChar' line 158>
[588] <pred goal (#35) from `xml:parse:chars:baseChar' line 157>
[587] <pred goal (#36) from `xml:parse:chars:baseChar' line 157>
[586] <pred goal (#37) from `xml:parse:chars:baseChar' line 157>
[585] <pred goal (#38) from `xml:parse:chars:baseChar' line 157>
[584] <pred goal (#39) from `xml:parse:chars:baseChar' line 156>
[619] <pred goal (#4) from `xml:parse:chars:baseChar' line 168>
[275] <pred goal (#4) from `xml:parse:document' line 365>
[583] <pred goal (#40) from `xml:parse:chars:baseChar' line 155>
[582] <pred goal (#41) from `xml:parse:chars:baseChar' line 155>
[581] <pred goal (#42) from `xml:parse:chars:baseChar' line 155>
[580] <pred goal (#43) from `xml:parse:chars:baseChar' line 155>
[579] <pred goal (#44) from `xml:parse:chars:baseChar' line 154>
[578] <pred goal (#45) from `xml:parse:chars:baseChar' line 153>
[577] <pred goal (#46) from `xml:parse:chars:baseChar' line 153>
[576] <pred goal (#47) from `xml:parse:chars:baseChar' line 153>
[575] <pred goal (#48) from `xml:parse:chars:baseChar' line 153>
[574] <pred goal (#49) from `xml:parse:chars:baseChar' line 152>
[60] <pred goal (#5) from `parsing:quote' line 431>
[618] <pred goal (#5) from `xml:parse:chars:baseChar' line 168>
[274] <pred goal (#5) from `xml:parse:document' line 364>
[258] <pred goal (#50) from `xml:parse:attValue' line 627>
[573] <pred goal (#50) from `xml:parse:chars:baseChar' line 152>
[257] <pred goal (#51) from `xml:parse:attValue' line 628>
[572] <pred goal (#51) from `xml:parse:chars:baseChar' line 151>
[256] <pred goal (#52) from `xml:parse:attValue' line 632>
[571] <pred goal (#52) from `xml:parse:chars:baseChar' line 151>
[255] <pred goal (#53) from `xml:parse:attValue' line 627>
[570] <pred goal (#53) from `xml:parse:chars:baseChar' line 151>
[254] <pred goal (#54) from `xml:parse:attValue' line 626>
[569] <pred goal (#54) from `xml:parse:chars:baseChar' line 151>
[253] <pred goal (#55) from `xml:parse:attValue1' line 640>
[568] <pred goal (#55) from `xml:parse:chars:baseChar' line 150>
[252] <pred goal (#56) from `xml:parse:attValue1' line 640>
[567] <pred goal (#56) from `xml:parse:chars:baseChar' line 150>
[251] <pred goal (#57) from `xml:parse:attValue1' line 641>
[566] <pred goal (#57) from `xml:parse:chars:baseChar' line 150>
[250] <pred goal (#58) from `xml:parse:attValue1' line 640>
[565] <pred goal (#58) from `xml:parse:chars:baseChar' line 150>
[249] <pred goal (#59) from `xml:parse:attValue1' line 640>
[564] <pred goal (#59) from `xml:parse:chars:baseChar' line 149>
[159] <pred goal (#597) from `xml:parse:charRef' line 2370>
[158] <pred goal (#599) from `xml:parse:charRef' line 2373>
[59] <pred goal (#6) from `parsing:and' line 449>
[617] <pred goal (#6) from `xml:parse:chars:baseChar' line 168>
[273] <pred goal (#6) from `xml:parse:document' line 361>
[248] <pred goal (#60) from `xml:parse:attValue1' line 640>
[563] <pred goal (#60) from `xml:parse:chars:baseChar' line 149>
[157] <pred goal (#604) from `xml:parse:charRef' line 2375>
[156] <pred goal (#606) from `xml:parse:charRef' line 2373>
[155] <pred goal (#607) from `xml:parse:entityRef' line 2440>
[25] <pred goal (#608) from `xml:parse:entityRef' line 2439>
[154] <pred goal (#609) from `xml:parse:entityRef' line 2450>
[247] <pred goal (#61) from `xml:parse:attValue1' line 642>
[562] <pred goal (#61) from `xml:parse:chars:baseChar' line 149>
[153] <pred goal (#610) from `xml:parse:entityRef' line 2451>
[152] <pred goal (#611) from `xml:parse:entityRef' line 2454>
[151] <pred goal (#612) from `xml:parse:entityRef' line 2454>
[132] <pred goal (#613) from `xml:parse:entityRef' line 2451 (minus unused args)>
[150] <pred goal (#613) from `xml:parse:entityRef' line 2451>
[149] <pred goal (#614) from `xml:parse:entityRef' line 2450>
[131] <pred goal (#615) from `xml:parse:entityRef' line 2449 (minus unused args)>
[148] <pred goal (#615) from `xml:parse:entityRef' line 2449>
[246] <pred goal (#62) from `xml:parse:attValue1' line 642>
[561] <pred goal (#62) from `xml:parse:chars:baseChar' line 149>
[560] <pred goal (#63) from `xml:parse:chars:baseChar' line 148>
[559] <pred goal (#64) from `xml:parse:chars:baseChar' line 148>
[558] <pred goal (#65) from `xml:parse:chars:baseChar' line 148>
[557] <pred goal (#66) from `xml:parse:chars:baseChar' line 147>
[556] <pred goal (#67) from `xml:parse:chars:baseChar' line 147>
[555] <pred goal (#68) from `xml:parse:chars:baseChar' line 147>
[554] <pred goal (#69) from `xml:parse:chars:baseChar' line 147>
[58] <pred goal (#7) from `parsing:and' line 448>
[272] <pred goal (#7) from `xml:parse:char' line 453>
[616] <pred goal (#7) from `xml:parse:chars:baseChar' line 167>
[553] <pred goal (#70) from `xml:parse:chars:baseChar' line 146>
[552] <pred goal (#71) from `xml:parse:chars:baseChar' line 146>
[551] <pred goal (#72) from `xml:parse:chars:baseChar' line 146>
[550] <pred goal (#73) from `xml:parse:chars:baseChar' line 146>
[549] <pred goal (#74) from `xml:parse:chars:baseChar' line 145>
[548] <pred goal (#75) from `xml:parse:chars:baseChar' line 145>
[547] <pred goal (#76) from `xml:parse:chars:baseChar' line 145>
[546] <pred goal (#77) from `xml:parse:chars:baseChar' line 145>
[545] <pred goal (#78) from `xml:parse:chars:baseChar' line 144>
[544] <pred goal (#79) from `xml:parse:chars:baseChar' line 144>
[11] <pred goal (#8) from `parsing:or' line 456 (minus unused args)>
[615] <pred goal (#8) from `xml:parse:chars:baseChar' line 167>
[271] <pred goal (#8) from `xml:parse:s0' line 496>
[543] <pred goal (#80) from `xml:parse:chars:baseChar' line 144>
[542] <pred goal (#81) from `xml:parse:chars:baseChar' line 144>
[541] <pred goal (#82) from `xml:parse:chars:baseChar' line 143>
[245] <pred goal (#83) from `xml:parse:charData' line 760>
[540] <pred goal (#83) from `xml:parse:chars:baseChar' line 143>
[244] <pred goal (#84) from `xml:parse:charData' line 761>
[29] <pred goal (#84) from `xml:parse:chars:baseChar' line 143>
[243] <pred goal (#85) from `xml:parse:charData' line 761>
[539] <pred goal (#85) from `xml:parse:chars:baseChar' line 143>
[538] <pred goal (#86) from `xml:parse:chars:baseChar' line 142>
[242] <pred goal (#86) from `xml:parse:comment' line 786>
[537] <pred goal (#87) from `xml:parse:chars:baseChar' line 142>
[241] <pred goal (#87) from `xml:parse:comment' line 786>
[536] <pred goal (#88) from `xml:parse:chars:baseChar' line 142>
[240] <pred goal (#88) from `xml:parse:comment' line 786>
[535] <pred goal (#89) from `xml:parse:chars:baseChar' line 141>
[239] <pred goal (#89) from `xml:parse:comment' line 786>
[57] <pred goal (#9) from `parsing:plus' line 487>
[614] <pred goal (#9) from `xml:parse:chars:baseChar' line 167>
[270] <pred goal (#9) from `xml:parse:nameChar' line 534>
[534] <pred goal (#90) from `xml:parse:chars:baseChar' line 141>
[147] <pred goal (#90) from `xml:parse:comment' line 785 (minus unused args)>
[238] <pred goal (#90) from `xml:parse:comment' line 785>
[533] <pred goal (#91) from `xml:parse:chars:baseChar' line 141>
[532] <pred goal (#92) from `xml:parse:chars:baseChar' line 141>
[531] <pred goal (#93) from `xml:parse:chars:baseChar' line 140>
[530] <pred goal (#94) from `xml:parse:chars:baseChar' line 140>
[529] <pred goal (#95) from `xml:parse:chars:baseChar' line 140>
[528] <pred goal (#96) from `xml:parse:chars:baseChar' line 139>
[527] <pred goal (#97) from `xml:parse:chars:baseChar' line 139>
[526] <pred goal (#98) from `xml:parse:chars:baseChar' line 139>
[525] <pred goal (#99) from `xml:parse:chars:baseChar' line 138>
[627] <predicate `array:from_list/2' mode 0>
[628] <predicate `array:insert_items/4' mode 0>
[626] <predicate `array:lookup/3' mode 1>
[633] <predicate `char:is_alnum/1' mode 0>
[634] <predicate `char:is_alnum_or_underscore/1' mode 0>
[632] <predicate `char:is_whitespace/1' mode 0>
[630] <predicate `char:lower_upper/2' mode 0>
[631] <predicate `char:lower_upper/2' mode 1>
[32] <predicate `char:to_int/2' mode 0>
[629] <predicate `char:to_int/2' mode 2>
[726] <predicate `compare/3' mode 0>
[37] <predicate `compare/3' mode 3>
[659] <predicate `io:adjust_priority/3' mode 0>
[651] <predicate `io:command_line_arguments/3' mode 0>
[652] <predicate `io:get_environment_var/4' mode 0>
[653] <predicate `io:get_op_table/3' mode 0>
[663] <predicate `io:init_state/2' mode 0>
[664] <predicate `io:insert_std_stream_names/2' mode 0>
[658] <predicate `io:maybe_write_char/5' mode 0>
[646] <predicate `io:nl/2' mode 0>
[650] <predicate `io:open_input/4' mode 0>
[638] <predicate `io:ops:lookup_binary_prefix_op/5' mode 0 (minus unused args)>
[640] <predicate `io:ops:lookup_infix_op/5' mode 0 (minus unused args)>
[636] <predicate `io:ops:lookup_op/2' mode 0 (minus unused args)>
[637] <predicate `io:ops:lookup_postfix_op/4' mode 0 (minus unused args)>
[639] <predicate `io:ops:lookup_prefix_op/4' mode 0 (minus unused args)>
[642] <predicate `io:read_file/3' mode 0>
[655] <predicate `io:read_file_2/5' mode 0>
[643] <predicate `io:read_file_as_string/4' mode 0>
[644] <predicate `io:read_file_as_string/5' mode 0>
[656] <predicate `io:read_file_as_string_2/9' mode 0>
[641] <predicate `io:same_array_elem_type/2' mode 0 (minus unused args)>
[649] <predicate `io:see/4' mode 0>
[645] <predicate `io:write/3' mode 0>
[661] <predicate `io:write_arg/3' mode 0>
[662] <predicate `io:write_array/3' mode 0>
[648] <predicate `io:write_char/3' mode 0>
[34] <predicate `io:write_list_tail/3' mode 0>
[657] <predicate `io:write_ordinary_term/4' mode 0>
[647] <predicate `io:write_string/3' mode 0>
[660] <predicate `io:write_term_args/3' mode 0>
[654] <predicate `io:write_univ/3' mode 0>
[33] <predicate `io:write_univ/4' mode 0>
[665] <predicate `lexer:graphic_token_char/1' mode 0>
[666] <predicate `list:append/3' mode 1>
[670] <predicate `list:condense/2' mode 0>
[672] <predicate `list:foldl/4' mode 0>
[673] <predicate `list:foldl/4' mode 1>
[674] <predicate `list:length_2/3' mode 0>
[671] <predicate `list:map/3' mode 0>
[667] <predicate `list:member/2' mode 0>
[668] <predicate `list:member/2' mode 1>
[669] <predicate `list:reverse/2' mode 0>
[675] <predicate `list:reverse_2/3' mode 0>
[89] <predicate `main/2' mode 0>
[681] <predicate `map:det_insert/4' mode 0>
[684] <predicate `map:from_assoc_list/2' mode 0>
[677] <predicate `map:init/1' mode 0>
[680] <predicate `map:lookup/3' mode 0>
[679] <predicate `map:search/3' mode 0>
[682] <predicate `map:set/4' mode 1>
[685] <predicate `ops:op_specifier_to_class/2' mode 0>
[686] <predicate `ops:op_table/4' mode 0>
[687] <predicate `ops:op_table/4' mode 1>
[22] <predicate `parsing:-/4' mode 0>
[7] <predicate `parsing:actuate/3' mode 0>
[72] <predicate `parsing:and/4' mode 0>
[79] <predicate `parsing:except/3' mode 0>
[67] <predicate `parsing:fail/3' mode 0>
[64] <predicate `parsing:finish/3' mode 0>
[82] <predicate `parsing:get/4' mode 0>
[70] <predicate `parsing:io/4' mode 0>
[81] <predicate `parsing:list/3' mode 0>
[68] <predicate `parsing:lit/3' mode 0>
[20] <predicate `parsing:lit1/3' mode 0>
[84] <predicate `parsing:lit2/3' mode 0>
[71] <predicate `parsing:mkString/4' mode 0>
[80] <predicate `parsing:no/3' mode 0>
[76] <predicate `parsing:opt/3' mode 0>
[21] <predicate `parsing:or/4' mode 0>
[65] <predicate `parsing:parseEntity/4' mode 0>
[75] <predicate `parsing:plus/3' mode 0>
[63] <predicate `parsing:pstate/5' mode 0>
[69] <predicate `parsing:quote/2' mode 0>
[4] <predicate `parsing:reset/4' mode 0 (minus unused args)>
[66] <predicate `parsing:return/2' mode 0>
[13] <predicate `parsing:return/3' mode 0>
[83] <predicate `parsing:set/4' mode 0>
[78] <predicate `parsing:snd/3' mode 0>
[74] <predicate `parsing:star/3' mode 0>
[85] <predicate `parsing:star/4' mode 0>
[73] <predicate `parsing:then/4' mode 0>
[49] <predicate `parsing:then/4' mode 1 (specialized) (minus unused args)>
[44] <predicate `parsing:then/4' mode 10 (specialized) (minus unused args)>
[43] <predicate `parsing:then/4' mode 11 (specialized) (minus unused args)>
[14] <predicate `parsing:then/4' mode 15 (specialized) (minus unused args)>
[16] <predicate `parsing:then/4' mode 18 (specialized) (minus unused args)>
[48] <predicate `parsing:then/4' mode 2 (specialized) (minus unused args)>
[41] <predicate `parsing:then/4' mode 20 (specialized) (minus unused args)>
[40] <predicate `parsing:then/4' mode 21 (specialized) (minus unused args)>
[39] <predicate `parsing:then/4' mode 23 (specialized) (minus unused args)>
[38] <predicate `parsing:then/4' mode 24 (specialized) (minus unused args)>
[46] <predicate `parsing:then/4' mode 5 (specialized) (minus unused args)>
[45] <predicate `parsing:then/4' mode 9 (specialized) (minus unused args)>
[2] <predicate `parsing:tok/2' mode 0>
[42] <predicate `parsing:try/6' mode 16 (specialized) (minus unused args)>
[3] <predicate `parsing:try/6' mode 19 (specialized) (minus unused args)>
[47] <predicate `parsing:try/6' mode 3 (specialized) (minus unused args)>
[17] <predicate `parsing:try/6' mode 4 (specialized) (minus unused args)>
[77] <predicate `parsing:upto/4' mode 0>
[86] <predicate `parsing:upto/5' mode 0>
[701] <predicate `std_util:deconstruct/4' mode 0>
[695] <predicate `std_util:det_univ_to_type/2' mode 0>
[698] <predicate `std_util:type_ctor_and_args/3' mode 0>
[691] <predicate `std_util:type_to_univ/2' mode 0>
[692] <predicate `std_util:type_to_univ/2' mode 1>
[693] <predicate `std_util:type_to_univ/2' mode 2>
[711] <predicate `string:append_list/2' mode 0>
[707] <predicate `string:from_char_list/2' mode 0>
[709] <predicate `string:left/3' mode 0>
[705] <predicate `string:length/2' mode 0>
[710] <predicate `string:right/3' mode 0>
[712] <predicate `string:sub_string_search/3' mode 0>
[706] <predicate `string:to_char_list/2' mode 0>
[708] <predicate `string:unsafe_index/3' mode 0>
[716] <predicate `term_io:quote_atom/3' mode 0>
[717] <predicate `term_io:quote_atom/4' mode 0>
[715] <predicate `term_io:quote_string/3' mode 0>
[713] <predicate `term_io:string:all_match_2/3' mode 5 (specialized) (minus unused args)>
[714] <predicate `term_io:string:foldl2/6' mode 4 (specialized) (minus unused args)>
[35] <predicate `term_io:write_escaped_char/3' mode 0>
[724] <predicate `tree234:assoc_list_to_tree234_2/3' mode 0>
[720] <predicate `tree234:init/1' mode 0>
[722] <predicate `tree234:insert/4' mode 0>
[721] <predicate `tree234:search/3' mode 0>
[36] <predicate `tree234:set/4' mode 1>
[719] <predicate `tree234:set2/4' mode 1 (minus unused args)>
[718] <predicate `tree234:set3/4' mode 1 (minus unused args)>
[723] <predicate `tree234:values_2/3' mode 0>
[90] <predicate `tryit:main/3' mode 0>
[91] <predicate `tryit:split/3' mode 0>
[92] <predicate `tryit:split1/5' mode 0>
[93] <predicate `tryit:split2/5' mode 0>
[690] <predicate `type_info_from_typeclass_info/3' mode 0>
[689] <predicate `typed_compare/3' mode 0>
[688] <predicate `typed_unify/2' mode 1>
[725] <predicate `unify/2' mode 0>
[116] <predicate `xml:cat:addEntry/3' mode 0>
[113] <predicate `xml:cat:find/5' mode 0>
[114] <predicate `xml:cat:lines/4' mode 0>
[112] <predicate `xml:cat:load/5' mode 0>
[115] <predicate `xml:cat:parse/3' mode 0>
[118] <predicate `xml:cat:untilDiscard/4' mode 0>
[117] <predicate `xml:cat:ws/2' mode 0>
[119] <predicate `xml:doc:add/4' mode 0>
[120] <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:decode_4/4' mode 0 (minus unused args)>
[24] <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:decode_4/4' mode 0>
[23] <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:encode_3/3' mode 0 (minus unused args)>
[121] <predicate `xml:encoding:Introduced_pred_for_parsing:encoding:xml:encoding:utf8:arity0:::parsing:encode_3/3' mode 0>
[15] <predicate `xml:encoding:decode_utf8/4' mode 0 (minus unused args)>
[122] <predicate `xml:encoding:unicodesToUTF8/3' mode 0>
[128] <predicate `xml:ns:defaultNamespace/3' mode 0>
[129] <predicate `xml:ns:extractNamespaceDecls/3' mode 0>
[123] <predicate `xml:ns:foldl/7' mode 1 (specialized) (minus unused args)>
[130] <predicate `xml:ns:namespaceizeName/4' mode 0>
[126] <predicate `xml:ns:nsTranslate/2' mode 0>
[127] <predicate `xml:ns:traverse/6' mode 0>
[306] <predicate `xml:parse:add/4' mode 0>
[285] <predicate `xml:parse:attValue/2' mode 0>
[286] <predicate `xml:parse:attValue1/3' mode 0>
[300] <predicate `xml:parse:attribute/2' mode 0>
[290] <predicate `xml:parse:cdSect/2' mode 0>
[282] <predicate `xml:parse:char/2' mode 0>
[287] <predicate `xml:parse:charData/2' mode 0>
[9] <predicate `xml:parse:charRef/2' mode 0>
[1] <predicate `xml:parse:chars:baseChar/2' mode 0>
[10] <predicate `xml:parse:chars:combiningChar/2' mode 0>
[30] <predicate `xml:parse:chars:digit/2' mode 0>
[31] <predicate `xml:parse:chars:extender/2' mode 0>
[624] <predicate `xml:parse:chars:ideographic/2' mode 0>
[623] <predicate `xml:parse:chars:letter/2' mode 0>
[288] <predicate `xml:parse:comment/2' mode 0>
[302] <predicate `xml:parse:content/2' mode 0>
[280] <predicate `xml:parse:contentStore/1' mode 0>
[296] <predicate `xml:parse:doctypedecl/2' mode 0>
[279] <predicate `xml:parse:document/2' mode 0>
[301] <predicate `xml:parse:eTag/2' mode 0>
[297] <predicate `xml:parse:element/2' mode 0>
[303] <predicate `xml:parse:emptyElemTag/2' mode 0>
[305] <predicate `xml:parse:entityRef/2' mode 0>
[304] <predicate `xml:parse:entityRef/3' mode 0>
[293] <predicate `xml:parse:eq/2' mode 0>
[295] <predicate `xml:parse:filterOpt/2' mode 0>
[308] <predicate `xml:parse:getEntity/3' mode 0>
[294] <predicate `xml:parse:misc/2' mode 0>
[27] <predicate `xml:parse:name/2' mode 0>
[12] <predicate `xml:parse:nameChar/2' mode 0>
[298] <predicate `xml:parse:nonEmptyElement/2' mode 0>
[307] <predicate `xml:parse:null/2' mode 0>
[289] <predicate `xml:parse:pi/2' mode 0>
[291] <predicate `xml:parse:prolog/2' mode 0>
[283] <predicate `xml:parse:s/2' mode 0>
[284] <predicate `xml:parse:s0/2' mode 0>
[299] <predicate `xml:parse:sTag/2' mode 0>
[292] <predicate `xml:parse:xmlDecl/2' mode 0>
[676] <unification predicate for type `list:list/1' mode 0>
[703] <unification predicate for type `std_util:type_desc/0' mode 0>
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list