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 i- ldt ]/ ZF-Constructible:threads=4elapsed=8.457cpu=29.020gc=2.396factor=3.437zXZִF! ]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌDpAI\&$ӊWak5kw$s↛n5[ȒĂ:xA?qCE Uq[,] ϲW3gAKr+g&A[:F%W˷|PVo^=ZmEEѿ7|%/ȑݲU E[8H@~P婛j5#xz xR--~%gG,cñ 0D[gYZ7zXZִF! Nr]ŗXi%Go8WkQ)cH^#ɚdH1hGnw8ѳvxk^,TyԦ(9F4·:6wL΅PkFQ M1/GLxxgPf M^q̺r!IU3ʅb4p5,BatH2ԣY&&aST(_F*QԮ#a;MAL>S"qEko qvfC\?W M'ΖyTՕ E4iYPFZu$W osY2w\2fiw;т,5!VYu½>5zBJa\!S.bTJ2Aj{m8t}JuC)jEbԫTByq417sU v+pCC(Z%?n܀X7j6BȉCSD~)R QWaGB1JV8ߵD9|hfr%+:9r,1+Ũl_y*"][ܧ8].pB?cV/<& SZ~22o&| GN2UvWaodZyw 2[oPLAe~&fՆ R'A|