java.lang.RuntimeException: time limit reached: 20 s
```
Starting on goal: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]]
Goal arity 3: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]]
nextSolution
Got clause: _10 = [_11 | _12]
Clause unifies to: $list = [_11 | [[_11 should be $y] and [verify [_11 should be $y]]]]
gdash: _13 = new collector
Goal arity 4: _13 = new collector
Got clause: _14 = new collector
Clause unifies to: _13 = new collector
Clause is native.
gdash: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
Goal arity 3: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
Got clause: _28 or _29
Clause unifies to: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
gdash: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
Goal arity 2: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
Got clause: forall_impl ([_36 , _37 , _38])
Clause unifies to: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
gdash: [_11 should be $y] and [verify [_11 should be $y]]
Goal arity 3: [_11 should be $y] and [verify [_11 should be $y]]
Got clause: _39 and _40
Clause unifies to: [_11 should be $y] and [verify [_11 should be $y]]
gdash: _11 should be $y
Goal arity 4: _11 should be $y
Got clause: [not (false)] should be true
Clause unifies to: [not (false)] should be true
gdash: verify [[not (false)] should be true]
Goal arity 2: verify [[not (false)] should be true]
Got clause: verify [_115 should be true]
Clause unifies to: verify [[not (false)] should be true]
gdash: not (false)
Goal arity 2: not (false)
Got clause: not (_126)
Clause unifies to: not (false)
gdash: false
Goal arity 0: false
Got clause: not (_127)
Clause unifies to: not (false)
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_128 , _129])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _147
Clause unifies to: not (false)
gdash: not ((false))
Goal arity 2: not ((false))
Got clause: not (_158)
Clause unifies to: not ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_159)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_160)
Clause unifies to: not ((false))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_161 , _162])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _180
Clause unifies to: not ((false))
gdash: not (((false)))
Goal arity 2: not (((false)))
Got clause: not (_191)
Clause unifies to: not (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_192)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_193)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_194)
Clause unifies to: not (((false)))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_195 , _196])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _214
Clause unifies to: not (((false)))
gdash: not ((((false))))
Goal arity 2: not ((((false))))
Got clause: not (_225)
Clause unifies to: not ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_226)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_227)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_228)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_229)
Clause unifies to: not ((((false))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_230 , _231])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _249
Clause unifies to: not ((((false))))
gdash: not (((((false)))))
Goal arity 2: not (((((false)))))
Got clause: not (_260)
Clause unifies to: not (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_261)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_262)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_263)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_264)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_265)
Clause unifies to: not (((((false)))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_266 , _267])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _285
Clause unifies to: not (((((false)))))
gdash: not ((((((false))))))
Goal arity 2: not ((((((false))))))
Got clause: not (_296)
Clause unifies to: not ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_297)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_298)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_299)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_300)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_301)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_302)
Clause unifies to: not ((((((false))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_303 , _304])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _322
Clause unifies to: not ((((((false))))))
gdash: not (((((((false)))))))
Goal arity 2: not (((((((false)))))))
Got clause: not (_333)
Clause unifies to: not (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_334)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_335)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_336)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_337)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_338)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_339)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_340)
Clause unifies to: not (((((((false)))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_341 , _342])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _360
Clause unifies to: not (((((((false)))))))
gdash: not ((((((((false))))))))
Goal arity 2: not ((((((((false))))))))
Got clause: not (_371)
Clause unifies to: not ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_372)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_373)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_374)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_375)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_376)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_377)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_378)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_379)
Clause unifies to: not ((((((((false))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_380 , _381])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _399
Clause unifies to: not ((((((((false))))))))
gdash: not (((((((((false)))))))))
Goal arity 2: not (((((((((false)))))))))
Got clause: not (_410)
Clause unifies to: not (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_411)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_412)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_413)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_414)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_415)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_416)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_417)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_418)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_419)
Clause unifies to: not (((((((((false)))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_420 , _421])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _439
Clause unifies to: not (((((((((false)))))))))
gdash: not ((((((((((false))))))))))
Goal arity 2: not ((((((((((false))))))))))
Got clause: not (_450)
Clause unifies to: not ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_451)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_452)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_453)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_454)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_455)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_456)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_457)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_458)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_459)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_460)
Clause unifies to: not ((((((((((false))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_461 , _462])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _480
Clause unifies to: not ((((((((((false))))))))))
gdash: not (((((((((((false)))))))))))
Goal arity 2: not (((((((((((false)))))))))))
Got clause: not (_491)
Clause unifies to: not (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_492)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_493)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_494)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_495)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_496)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_497)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_498)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_499)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_500)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_501)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_502)
Clause unifies to: not (((((((((((false)))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_503 , _504])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _522
Clause unifies to: not (((((((((((false)))))))))))
gdash: not ((((((((((((false))))))))))))
Goal arity 2: not ((((((((((((false))))))))))))
Got clause: not (_533)
Clause unifies to: not ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_534)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_535)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_536)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_537)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_538)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_539)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_540)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_541)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_542)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_543)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_544)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_545)
Clause unifies to: not ((((((((((((false))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_546 , _547])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _565
Clause unifies to: not ((((((((((((false))))))))))))
gdash: not (((((((((((((false)))))))))))))
Goal arity 2: not (((((((((((((false)))))))))))))
Got clause: not (_576)
Clause unifies to: not (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_577)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_578)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_579)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_580)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_581)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_582)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_583)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_584)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_585)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_586)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_587)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_588)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_589)
Clause unifies to: not (((((((((((((false)))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_590 , _591])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _609
Clause unifies to: not (((((((((((((false)))))))))))))
gdash: not ((((((((((((((false))))))))))))))
Goal arity 2: not ((((((((((((((false))))))))))))))
Got clause: not (_620)
Clause unifies to: not ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_621)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_622)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_623)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_624)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_625)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_626)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_627)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_628)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_629)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_630)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_631)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_632)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_633)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_634)
Clause unifies to: not ((((((((((((((false))))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_635 , _636])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _654
Clause unifies to: not ((((((((((((((false))))))))))))))
gdash: not (((((((((((((((false)))))))))))))))
Goal arity 2: not (((((((((((((((false)))))))))))))))
Got clause: not (_665)
Clause unifies to: not (((((((((((((((false)))))))))))))))
gdash: ((((((((((((((false))))))))))))))
Goal arity 1: ((((((((((((((false))))))))))))))
Got clause: (_666)
Clause unifies to: ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_667)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_668)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_669)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_670)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_671)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_672)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_673)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_674)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_675)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_676)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_677)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_678)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_679)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_680)
Clause unifies to: not (((((((((((((((false)))))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_681 , _682])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _700
Clause unifies to: not (((((((((((((((false)))))))))))))))
gdash: not ((((((((((((((((false))))))))))))))))
Goal arity 2: not ((((((((((((((((false))))))))))))))))
Got clause: not (_711)
Clause unifies to: not ((((((((((((((((false))))))))))))))))
gdash: (((((((((((((((false)))))))))))))))
Goal arity 1: (((((((((((((((false)))))))))))))))
Got clause: (_712)
Clause unifies to: (((((((((((((((false)))))))))))))))
gdash: ((((((((((((((false))))))))))))))
Goal arity 1: ((((((((((((((false))))))))))))))
Got clause: (_713)
Clause unifies to: ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_714)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_715)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_716)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_717)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_718)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_719)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_720)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_721)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_722)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_723)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_724)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_725)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_726)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_727)
Clause unifies to: not ((((((((((((((((false))))))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_728 , _729])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _747
Clause unifies to: not ((((((((((((((((false))))))))))))))))
gdash: not (((((((((((((((((false)))))))))))))))))
Goal arity 2: not (((((((((((((((((false)))))))))))))))))
Got clause: not (_758)
Clause unifies to: not (((((((((((((((((false)))))))))))))))))
gdash: ((((((((((((((((false))))))))))))))))
Goal arity 1: ((((((((((((((((false))))))))))))))))
Got clause: (_759)
Clause unifies to: ((((((((((((((((false))))))))))))))))
gdash: (((((((((((((((false)))))))))))))))
Goal arity 1: (((((((((((((((false)))))))))))))))
Got clause: (_760)
Clause unifies to: (((((((((((((((false)))))))))))))))
gdash: ((((((((((((((false))))))))))))))
Goal arity 1: ((((((((((((((false))))))))))))))
Got clause: (_761)
Clause unifies to: ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_762)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_763)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_764)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_765)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_766)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_767)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_768)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_769)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_770)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_771)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_772)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_773)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_774)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_775)
Clause unifies to: not (((((((((((((((((false)))))))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_776 , _777])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _795
Clause unifies to: not (((((((((((((((((false)))))))))))))))))
gdash: not ((((((((((((((((((false))))))))))))))))))
Goal arity 2: not ((((((((((((((((((false))))))))))))))))))
Got clause: not (_806)
Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
gdash: (((((((((((((((((false)))))))))))))))))
Goal arity 1: (((((((((((((((((false)))))))))))))))))
Got clause: (_807)
Clause unifies to: (((((((((((((((((false)))))))))))))))))
gdash: ((((((((((((((((false))))))))))))))))
Goal arity 1: ((((((((((((((((false))))))))))))))))
Got clause: (_808)
Clause unifies to: ((((((((((((((((false))))))))))))))))
gdash: (((((((((((((((false)))))))))))))))
Goal arity 1: (((((((((((((((false)))))))))))))))
Got clause: (_809)
Clause unifies to: (((((((((((((((false)))))))))))))))
gdash: ((((((((((((((false))))))))))))))
Goal arity 1: ((((((((((((((false))))))))))))))
Got clause: (_810)
Clause unifies to: ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_811)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_812)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_813)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_814)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_815)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_816)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_817)
Clause unifies to: (((((((false)))))))
gdash: ((((((false))))))
Goal arity 1: ((((((false))))))
Got clause: (_818)
Clause unifies to: ((((((false))))))
gdash: (((((false)))))
Goal arity 1: (((((false)))))
Got clause: (_819)
Clause unifies to: (((((false)))))
gdash: ((((false))))
Goal arity 1: ((((false))))
Got clause: (_820)
Clause unifies to: ((((false))))
gdash: (((false)))
Goal arity 1: (((false)))
Got clause: (_821)
Clause unifies to: (((false)))
gdash: ((false))
Goal arity 1: ((false))
Got clause: (_822)
Clause unifies to: ((false))
gdash: (false)
Goal arity 1: (false)
Got clause: (_823)
Clause unifies to: (false)
gdash: false
Goal arity 0: false
Got clause: not (_824)
Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
gdash: saveTo ([[not (false)] , <collector>])
Goal arity 2: saveTo ([[not (false)] , <collector>])
Got clause: saveTo ([_825 , _826])
Clause unifies to: saveTo ([[not (false)] , <collector>])
Clause is native.
gdash: false
Goal arity 0: false
Got clause: not _844
Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
gdash: not (((((((((((((((((((false)))))))))))))))))))
Goal arity 2: not (((((((((((((((((((false)))))))))))))))))))
Got clause: not (_855)
Clause unifies to: not (((((((((((((((((((false)))))))))))))))))))
gdash: ((((((((((((((((((false))))))))))))))))))
Goal arity 1: ((((((((((((((((((false))))))))))))))))))
Got clause: (_856)
Clause unifies to: ((((((((((((((((((false))))))))))))))))))
gdash: (((((((((((((((((false)))))))))))))))))
Goal arity 1: (((((((((((((((((false)))))))))))))))))
Got clause: (_857)
Clause unifies to: (((((((((((((((((false)))))))))))))))))
gdash: ((((((((((((((((false))))))))))))))))
Goal arity 1: ((((((((((((((((false))))))))))))))))
Got clause: (_858)
Clause unifies to: ((((((((((((((((false))))))))))))))))
gdash: (((((((((((((((false)))))))))))))))
Goal arity 1: (((((((((((((((false)))))))))))))))
Got clause: (_859)
Clause unifies to: (((((((((((((((false)))))))))))))))
gdash: ((((((((((((((false))))))))))))))
Goal arity 1: ((((((((((((((false))))))))))))))
Got clause: (_860)
Clause unifies to: ((((((((((((((false))))))))))))))
gdash: (((((((((((((false)))))))))))))
Goal arity 1: (((((((((((((false)))))))))))))
Got clause: (_861)
Clause unifies to: (((((((((((((false)))))))))))))
gdash: ((((((((((((false))))))))))))
Goal arity 1: ((((((((((((false))))))))))))
Got clause: (_862)
Clause unifies to: ((((((((((((false))))))))))))
gdash: (((((((((((false)))))))))))
Goal arity 1: (((((((((((false)))))))))))
Got clause: (_863)
Clause unifies to: (((((((((((false)))))))))))
gdash: ((((((((((false))))))))))
Goal arity 1: ((((((((((false))))))))))
Got clause: (_864)
Clause unifies to: ((((((((((false))))))))))
gdash: (((((((((false)))))))))
Goal arity 1: (((((((((false)))))))))
Got clause: (_865)
Clause unifies to: (((((((((false)))))))))
gdash: ((((((((false))))))))
Goal arity 1: ((((((((false))))))))
Got clause: (_866)
Clause unifies to: ((((((((false))))))))
gdash: (((((((false)))))))
Goal arity 1: (((((((false)))))))
Got clause: (_867)
Clause unifies to: (((((((false)))))))
[Log overflow]```Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #3000329 |
| Snippet name: | Answer for stefanreich (>> log theory "stuff that verifies") |
| Eternal ID of this version: | #3000329/1 |
| Text MD5: | e72d2f2679e184120f39c9e776c7ef47 |
| Author: | someone |
| Category: | |
| Type: | New Tinybrain snippet |
| Gummipassword: | eleutheria-for-user |
| Uploaded from IP: | 69.10.46.185 |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2016-03-13 23:27:47 |
| Source code size: | 54353 bytes / 1003 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 536 / 121 |
| Referenced in: | #3000382 - Answer for ferdie (>> t = 1, f = 0) #3000383 - Answer for funkoverflow (>> t=1, f=0 okay) |