while1?

did we know this?

-- ("/home/waldmann/tpdb/tpdb/TPDB-ARI/SRS_Standard/Zantema_06/while1.ari",Just (22.844121367s,Just "skeleton: \\Mirror(10,8)\\Deepee(20/10,15)\\Weight(7/10,15)\\EDG[(1/10,9)\\Usable(1,2)\\Weight(0,0)\\EDG[],(1/10,9)\\Usable(1,2)\\Weight(0,0)\\EDG[],(1/10,9)\\Usable(1/9,8)\\Matrix{\\ArcticBZ}{3}(0/9,7)\\EDG[],(1/10,9)\\Usable(1,2)\\Weight(0,0)\\EDG[],(1/10,9)\\Usable(1,2)\\Weight(0,0)\\EDG[]]"))