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  NL ] ]Pure:threads=1elapsed=0.776cpu=0.776gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34579name=MLelapsed=0.104o~׀(cKWX}YZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|eHs=oEJك"iMfM-հ38'cгN}BC-HMӮҡt9a%Գ~Oh|>ұgYZ7zXZִF! H]ŗXi%>;m]fFSVn!:=B*)E/}{THN̗ ̡K18q &LۿZ pG:'{’W,і ̳_9nWwkZN™71wb^Q yޚ@?Ϗ/ aĉEtvIF;kM- :8)}s[~?VHdHtap Q9Գ>Ԇ0: GjK~1S3x WЈ鋌1qE~t?|$ݑou8:%¡ |gYZdaa0507d9fe0f12074aab83460b9da31a62d6965ac8f8db169a1aed7390bac47335c1f3fb99f78e5  Pure : ")')PurePure.Sessionstheory/parentsPure(%)PureML_Bootstraptheory/parentsPure) PurePuretheory/parents+% ,PurePuretheory/facts7zXZִF! xN]a0{rg+5\CJHa=O݅vGclY% 9yxSBƅ,ZSvhFS߱kFu* \#~"a,:HvA=mD0\048Gj"C FODY1 |M͹{ /H|*XvzS:D&V; W8@ UhBzf-LO нH'/\Ҕ7WZcF)Cwai*MVy!$zęoA/Fk.[q +M1P+楠NE߱ U ,e7~ @3~젝'Y`QO;$cк#}@VrS^ٔ00@r/"4U!#R}.oOˠؓ[q{8yjxcm{d9]Dv9TYWu X{%";K>Wg7w(aMțqr1bhqœлqInS˚@ze6ۥɸykd+ TK \sa=3zؓAG427m60Ĉ a0#hS3=)DGj^\hӴf-Yͦ٣Q0)eHb<Ӆ(7>Tgn6lYG'd罷49^:鹏&r)<^Uw~WnsԚJl]it}46p{3xM?G2pX/