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 b T\ ]/ Clean:threads=4elapsed=7.474cpu=17.652gc=0.616factor=2.367zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I_'5!p5GM/u#u7k40X.G?& &n2(,<IzuXnz/lM$"RwWBM~}..s$J%g5ˬQE!MgQmn |ս0 :$)չrT 5 :N/+q]jp&9DZ^F…iWl_ױp{LC2- %c1ar{\ѿaAw6{wW+/!Ceb(;%cF7+GsESP/X- m~yon~xagG7ݞF>\dydFN}]A# n,{D ^ y%X WFq \"MJyT+'QtmylpVl0C2tO92J޽ ߵq0G4[6 Dan q0 ߗ%Ŧr&=5gYZ7zXZִF! P]ŗXiɟ_[ta^q "{tDbs&~%E@4ٰ9`Fa&O DmOtu q8ԋ=Ʊ8fi!v7u~iF0ecQiLHpc) ,:3!d^b %Ih qHn,dU\z$jR8V u0Wp`TL{dzTicQ)_BYٞOzG6G@$wgYZ7zXZִF! Hn&]ŗXi%GcřcaSJ@/#i]6J~#t^ׅ,φ=//eu.STR6F5) Q_B(UY"!`b8k,*yxh]yǡ݋E πb)V131;CE}}>=cdjS bE7!!CU۴)`f 0'Tw=)xx,Jm9ȕ_F8P?Smr#P<Г 9x;&;!S"PgH'}1P dtͨH{k ߜhOAo{_dZJ}?>hopq}E)?y&30> $QB