>main::aya
 <main::aya
oyo
aaa
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
bbb
 >main::aya
 <main::aya
oyo
aaa
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
 >main::aya
  >main::aya
   >main::aya
   <main::aya
  <main::aya
 <main::aya
bbb
end
[(eval 1)[db.pl:25](2)] 1
[(eval 1)[db.pl:25](3)] 6
[(eval 1)[db.pl:25](5)] 10
[(eval 1)[db.pl:25](6)] 1
[(eval 1)[db.pl:25](7)] 1
[(eval 2)[db.pl:25](2)] 1
[(eval 2)[db.pl:25](3)] 6
[(eval 2)[db.pl:25](5)] 10
[(eval 2)[db.pl:25](6)] 1
[(eval 2)[db.pl:25](7)] 1
[db.pl(6)] 1
[db.pl(15)] 1
[db.pl(21)] 3
[db.pl(23)] 2
[db.pl(24)] 2
[db.pl(25)] 2
[db.pl(34)] 1
[db.pl(35)] 1
[db.pl(38)] 32
[db.pl(39)] 32
[db.pl(41)] 20