SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 || l4 ]/]HOL-Word:threads=6elapsed=8.558cpu=38.628gc=1.452factor=4.517zXZִF! p]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?ye2krxj:y9dV>iHW}FPy)pj9ݤ1D8k[,+t˓XNYGՓlKk s2|h~{X$:Fk_eSYA,u{U4.cF֣kCo%|k1טBfDNkH?6EWJ}(5w_DBmU.` tyie~Z;޸819+NЀߑx$RRAP5<:`<}DI /s\0qºMת^ ֒G; sxM(N`C!M ; 33gYZ7zXZִF! *]ŗXi%92S- `ɶ=0MB0p^0^6@l4<;'ٸZ21|S f&c rQA*dS-)UHHIIr fc<Ѣ`$xVV.[sQWRZ4JA]H0R*~yNa <hĉLݡkY5PQNnDmPɅg/zz&ydž<((f|6N8섆 &!-Go/'U$sY_JռH,S |0ᶽQ_A%*Bf=ϳQO퓷)mC SXv}vI_ o˶ЋJx+Є9hS[Ă`DڟԼ甴 {ܐ":@YXt :*sXmm-Qo\˷_ I)6C4bf nE2n+5%ذn)-_Z;J>['J3߫;3G(IO&Xk"Kp"-[m uAH1z:gH}i\VASbqm p 'SVx>huq7v: /~0]9IؑT- xu.rPM8Ut:gYZ2f93f58417220ec652f362f1a365f15de104c44ba46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5eede66256505b154bb5667c7a9b1b77f66cffa23   HOL-Word