SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   ]/ Huffman:threads=4elapsed=7.439cpu=19.796gc=0.296factor=2.667zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4fN~=|&Ģ'ς9NNKGh,QD캌c\HMGl)'f捾!^?YpvϿz_zn6bPuRI[b_ɲw?c%$r-ref!gxb?J  6[γ s0&*փ'PJ "X5Zn׶]'uvh7$kכ>2-E-bH:r쒩EY;dg&qW{B ;x7ch籧%'ōV hX֘T髋G gYZ7zXZִF! C>]ŗXiɟt0sϘ ECS=Um*kM$ZC3Xdi[b1PH%MJN^ͮn/Ùw{ewt|Qn9cK7L҆Fq.j䒙nq;q|C7$]l,@Hz$.t]QEqR݅x.8`9?rjݧ?[D:Rqǟ͚1qWXC#!55py&Xt6ދs,/XbfiOIs(Kݑ؃lхp 6ĄCPG(aG9}长FK-IJ<PkV/legFb eʕ*IUf@Y.L6}Ju6 (/ʝ/s[[-T 0g5Sk䥪"J;Q}bWPht Kxj {k"NꙘKAB}H]o8@6~*kdq z써G['4>Z:3$ ALbs0Ki/Z-Ilj m&kyj# //yED&ɈO˒ HCkME'D7G0%xvI%)\2|Sj |VS)x'vd]) g[6ao8ʣ4eY21׮t\ `A!F+KY똤3Y^S5UY8LCr2D} BA?07?8v7%tDxr?7W2B 6'_jv}(`ȍ8ߠ3hm+3^ ȤSE