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 1 d %S Abstract_Soundness:threads=2elapsed=13.152cpu=24.148gc=1.268factor=1.847zXZִF! (YD]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$msl:clpzw'hWQ9w`e(A9Ah8\jUmsv &"cӮpybJT ! 睄Hoci ,YU2ZOZg3ʍ4?1c'צ!.5-5Fޑ~Y:^8O'Q{){$ ^lY<&X+,~ٺ~ۿ0Vn7:ƛ|c(I:#jgqb0PB=)*rD@"G[4ՔR{;S`Q_n.v2ו552= 8Pԅt; '-kyKd>"IPtL"ӍĮ&g~Vz8>h~̌oc{z%>' Gu 36 %c 3/5kIB?es VqxK07_"ֹlV~p;nqCsɛi[`G*46Ҝ_[BFޙUf$_|Wa$uMu@k-^ӷn1j$Dza rs\Iu8<Ւȓ/s8$C&18U9Wӟkv0_",fB'c$ar9<_*x۩sh`&O+c"6L@/bZ9Djjt/ɀ!qRtI!iNP@'P1j5Uث, E :;s@b`dϞГ>"1d%{DY|+X2ȬVw"25;W^WqF_PvRZL_:j ,O*xGF(N8[,[U4bۊniӊGF`@\V Ԍ^gYZ60a4b5c33b59914587cd86950156e1f4dda048de c26292328c60c4cd15ecd89b049981321e8ef8b5 d9e310d5411251e4ff41599a279517c493b62d97 db70e211d5377e36edb84abadb614a97e127648f e7fb4bd8c7f54232acd6d87a0ca7225756ef7058fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 383cf4ff377876d0e3a8fb150c11ab63b98c775d 1 Abstract_Soundness