0.04/0.12	% Problem  : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.04/0.13	% Command  : java -cp /export/starexec/sandbox/solver/bin/lisa-assembly-0.9.jar TPTP_Lisa tableau --input /export/starexec/sandbox/benchmark/theBenchmark.p
0.13/0.34	% Computer : n018.cluster.edu
0.13/0.34	% Model    : x86_64 x86_64
0.13/0.34	% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.13/0.34	% Memory   : 8042.1875MB
0.13/0.34	% OS       : Linux 3.10.0-693.el7.x86_64
0.13/0.34	% CPULimit : 1920
0.13/0.34	% WCLimit  : 240
0.13/0.34	% DateTime : Wed Jul 30 02:00:49 EDT 2025
0.13/0.34	% CPUTime  : 
117.24/107.10	% SZS status Error
117.24/107.10	% Exception: null
117.24/107.10	% scala.collection.immutable.HashMapBuilder.update(HashMap.scala:2307)
117.24/107.10	% scala.collection.immutable.HashMapBuilder.addOne(HashMap.scala:2352)
117.24/107.10	% scala.collection.immutable.Map$Map4.buildTo(Map.scala:622)
117.24/107.10	% scala.collection.immutable.MapBuilderImpl.addOne(Map.scala:695)
117.24/107.10	% scala.collection.immutable.MapBuilderImpl.addOne(Map.scala:703)
117.24/107.10	% scala.collection.immutable.MapBuilderImpl.addOne(Map.scala:661)
117.24/107.10	% scala.collection.mutable.Growable.addAll(Growable.scala:62)
117.24/107.10	% scala.collection.mutable.Growable.addAll$(Growable.scala:57)
117.24/107.10	% scala.collection.immutable.MapBuilderImpl.addAll(Map.scala:710)
117.24/107.10	% scala.collection.immutable.Map$.from(Map.scala:661)
117.24/107.10	% scala.collection.IterableOnceOps.toMap(IterableOnce.scala:1462)
117.24/107.10	% scala.collection.IterableOnceOps.toMap$(IterableOnce.scala:1461)
117.24/107.10	% scala.collection.AbstractIterable.toMap(Iterable.scala:935)
117.24/107.10	% lisa.automation.Tableau$.close(Tableau.scala:244)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:415)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:470)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.24/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.24/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.24/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.24/107.10	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.10	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.10	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.10	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.10	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:470)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:470)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.11	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.11	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.11	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.11	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:470)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:470)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:420)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.12	% scala.collection.immutable.List.foldLeft(List.scala:79)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:440)
117.34/107.12	% lisa.automation.Tableau$.decide(Tableau.scala:484)
117.34/107.12	% lisa.automation.Tableau$.$anonfun$18(Tableau.scala:446)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
117.34/107.12	% scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
117.34/107.15	EOF