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   L, ]w]Routing:threads=8elapsed=9.845cpu=27.124gc=0.918factor=2.767zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V#FlFDP"$yJbiR%ftс8qFCc,OhcHzx 5((+"+ mXힸ1]Mnb{.MbH~Mjڄ`]\Nr=֓jفIg A̮VVer'JXgj&-2[lԒLi/IO5gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML' Ȉ ^fܪJ?UH5Q..}? %nY h2#0n׳kXP`B;j96h(!cx)Wk"2*P~?`CzgK08~=_TgYZ7zXZִF! K]ŗXi%EbQKގIA9̎HkJ h|S Dy7;GR Z=HSvΌN{ N{mi]ͣx^~-TyQG)C0X#)߈eAaSZ̰L3O`; QE^o{H^Ll Y7t|a }nI3FIp}l6zيWJ 'g;|,uH'H$$>TgovEh(4r!7,F߹7|``,'3J-'HJlPSHϗ^}B%MAΕ|6}L] egx !&{K\8=*Ћ*&R.81uufK27]i!Ȉ>OSJ!Zc& mPv'ʪ]BzzґRs̯;[<d;@Dz.и{0FmeRc1 {/Mq{AjÜ#VV4wT2M:]HcRZ[)ʖi2Bγ,7ac6E7OdZ`cBVesd8 z%x)o-Y 5XŶN;$#k_f0Q1a[ш=;,-z_[]|3J@c5Ic*ObI Rכ C>e znQ^+ T2m{D+FJC)]炠[d1r}^G2!,Q&}{ƜZa`*AR9>PTUo-#La7fBk>1^+l'#U׶DKCGkGb<9:pԵ]:Pھ>3F(#8os^$Gi! *&N4~ ! *HoT?:A _TBFT} {_|?R_.i i@΂V 0)])>Sb1}֛'p޺\ԇīrsO@x _7 /yBHegh~!,n/o5