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   s- \ ] IMP2_Binary_Heap:threads=4elapsed=11.989cpu=34.568gc=0.472factor=2.887zXZִF! ]ŗXf[&[. =bg7Jn.(Šrzɤ]?- a*jC=@-e,]akwf/^`ۋ=JdǾĉ4SV'/qKIhY!ABvE&]J3{nyeIjEBGJ4"^ͯYm~0Iߔ|[FkgҌe,;wt7 JsY_QD!i^,ClwQmciP_܃n=mK(V[ +m [^Tv_QCc&\ 鲐b@:vIӈSMstE `eDhد̖bpIP  'p2b+%hўܸ|0,1m?GG@.bOvg3nzY"NgYZ7zXZִF! VI]ŗXiɟȂ|\-wيs7'Ҝڑú1AU5ȺC4+yGtISNgd1/$'6/SUcv?i,vg=+IEz9o%YA)K.uu&v8fo^ 8MH4"Hr뀻JGƼHs])K@qF+ ý8+odz|*>o/z'`3Rqe8A5R# 0cmL *E |$iK.5*"~hϵ&ux s Mv^$Z)/8@ɥYJbf!Qoߠt;$!,{,%'ju?S$.ZĵVqizV8m;`rO7N:)guRZN*٨RL}NLg*kٺ&[gUw:n-gj",C:8B3Ai$)B(TaM%4 aA'=TMzΦD.YAm-j!$CF|90!r{1uXPG$td_Lxv 9w>Vі !HRJ$O]Zu3A#il;8vX5=5@ȥ=zh&J._ 6 aa]mY.`^/ҵ  tN']f3 4#6N6{}Mq0HEGVy?ֶ!Ru;Pv;iDrsB%'(v}AmaEOӰP~dWVsƆm"Sx*miHSHSIE*e Z'eQy=a+% gHep*ې յ,>K 㫆}Fvysymv] !$D`%P[de(!aLn)lfNl8}䫊+r=1c v7r:Ec_uHt!WR@A}u{@߁[g