SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ( (U) D, ]S Dynamic_Tables:threads=2elapsed=6.745cpu=13.204gc=0.464factor=1.967zXZִF! ;=]ŗXf1-/6vRZaK Zf 0kߵDڞӯl.t>PV6 j:|lG3lZEC=nfPՅ>{j{|'Q]?XHݢČ_-9oޓ_},Qa3mPh}(vk.%L.,tN;xW"VaYzf +B^(C'٬80y\讀-*pRvh1‚g֌DL;+sZ% =7?^3EYVL/Z$*S4+'st(Mvt;_R_6:rĀ?= @V,n-#T~@rSo-wqqzt̹ 8[ֆtM xXCcqxͯݽȣE6 IbM/J}HÞbG`lͫS.=T( b& bmOL0oQr~{;1\6БD&cއ)ǹ˴"؁J :֩U{N߶&mˍ`*nBWg4C6:Ƿ[*Rjb B]}mU~)m:HAl7椁TV c.i{|pgom9Kb Ӕik z!yǤ6 05OL`}E =>V%ۚ pF]KƲ߭a,ޕV, PɸI,u>-0 3M 7ez%h\z ፨ۉ=fQ: LBP_Ot*ur=F.8_'`\qgYZ239905a6edce8d7dae13c79fa596c9bfd189febd665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 b4badfff8e50fb57439c802afca15a319ef0c3d5 ) Dynamic_Tables