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   e# L L ]]HOL-Nominal:threads=6elapsed=5.792cpu=13.596gc=0.692factor=2.357zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯.+h MGv7 pZt6gݢ&E)YmA}$5GW|>:6C-|ڔhpg R2!۵.o1/P 3>ߍ32V|x29dM;6nϥ%IJk`ݫwL甕L6 ˒F/oӈoN.aFN,Uih\Sjbg o?HLv;_Hj 1(!stLqfV2A.0 L@.GSSG4EVya:5$SwʇPE)߂yJ#i~x 0(4'>!*gM]ԏޒgFS!(c:c X/AXIc}V'&e^z?1hk+aږ!Z#(2wa4WDQ JYDS;KZ N`MEiA3o|$MJ!Tu oo.\:Q2.;!pCI#zuy`9tt Ʀyc_2qS;s' }Zސӣ䡟P/B&B3cKB+_K`g2gWc l) v.J|Cfr?b"B(U?/TS݀іC$sC~׊)gdSh@F;8aGGAJ$˟v1J1AˬƩ5QGs4AREA ˨j`H}ۘ8chG8 G,}*9k6E>IgYZ32c4e6fde08b11fa0bf35ae428b4d6d087b18b7bd65ba42434d6727fc7f04b55804d146f30a57487 b1ed8c3121239133acb432bd76f77a58710e1512 d3faa4940c431528dad657fd6757d3905bf63dc72b9306b81d117a0248e72345727365a066b6de43 # HOL-Nominal