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  V)lDt ]/ ClockSynchInst:threads=4elapsed=2.033cpu=7.112gc=0.112factor=3.507zXZִF! )]ŗXf[&!8svBCBZvRu#Ȯ Ep>jLz5bkE%]W݅2Q[ʗKk0 6)~[@ ;70 yG|GdXRIct{:?PGdȆHB}R,}tha"c%SZm7gYZ7zXZִF! \]ŗXiɟlQ#ۈrKn6úw;?׆S? }Rwtj"MjG!4v=m6zCҰ8E8ic&xgYZ7zXZִF! {]ŗXi%EbbsJB죘x7&^JT0aRZgo!E] 2mnC.k74/&Sa^YF쪲+%sˬq'iS.rEh)mn[6GVJDfyta-J&`HW)[gB423jc|2y3LFSu=6*&" tq=BgJl;cDP,zdX4ԉ~ī[i9Dz8 EI=!at,}t`F&tzGO J^iԵ'gMQa| x V^Vl֋`1 Nʡ&WL}]GZ`, PsB7'w8@}m4>޻H~*+V΋91a+CF;+&!OgÑ XH L`Js4jzȀ)zfb|TzN~7?Zj>pfњ-i0tD9eݚ}ٰvzw?ɮ3;#l`ЍE3CTpDYR5nt)!(_a8ǕIBq|11/o^(#G!.Vnc! xTRROC(ͥamc\Aوo龜ǸXr 1(\@BNz(=̦<gYZ70acde4649bb8fb09a450a47b57b591d380d102eeb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 ) ClockSynchInst