isabelle-adj1 (LOGANDRAKEX is offline) 100%

model is offline