SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y1 L %S Abstract_Soundness:threads=2elapsed=13.226cpu=24.224gc=1.264factor=1.837zXZִF! F]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$muR ȴAἎ8B>:vqJ/X~ G~1Ῑh|>k;aëя>?TO^c VK!a{FdMη3[ A{#*8? Us bpVy *~(8*?aR߆~HM-)C4wH5FR7fNshٺv 5-4j?Zq5l4%ݱ%\,O:G+sSWgYZ7zXZִF! F[]]ŗXi%52΢|&(HR9n각/]Yц3 śGBKB>NsD@x#|/PJwgtPk;,Kۂ~\M[NͮoGC ܢ]."s*wɥ&7|6JV'ǚ~3r)c5f'$ ?F4Y'V'~GZOҢܿ݀n} {1|E~m ӇnK=/"V=„'jxyK#"UI m~@*:`Io 3ukgfPܿ)Ⴈo-TH~|Z\ϙ< Ơm񤸂&}D^~<$P6c:! V;`G~K4U6Ϳc7vaf^ZQE.KM%ON5 U۝}|%8J7`бigz*yEt6 XJh:nlMAcyQY*2[VR\\;lߧw{d!3DՏDT^a>:*`=EVtK>dN&xZj\ҽ6p3ɜg day"`usǛ<](;tBeǧhK\hT8V$7NID&7{bq^^S<;C|]аE\~Q򃎲kkB{rnl'Hf@{z܌I\gYZ60a4b5c33b59914587cd86950156e1f4dda048de c26292328c60c4cd15ecd89b049981321e8ef8b5 d9e310d5411251e4ff41599a279517c493b62d97 db70e211d5377e36edb84abadb614a97e127648f e7fb4bd8c7f54232acd6d87a0ca7225756ef7058735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 84a2d4bbdfdb134f6898a8ff17f1555eca25c77b 1 Abstract_Soundness