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 ^ |L ]]]ZF:threads=6elapsed=12.684cpu=45.544gc=3.400factor=3.597zXZִF! u]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`n+0lC6}T_J-X[['l2$Ӧ!5Ch$JjNwv:J Z#1%ҟR3„ Jp9yA{y&1>P](I 58Y8'y 6̎4Kg>h<Ѥ eaH-f?IvE[\R֣3K"CyHܪӉ?} n2)E=ؐ2؏%+<̕ʼnן33Q}vWqQն4h74VXH3/ֶG̔EZGn͖_JlF ,k1z'd`gDjU?8H  ur-CK]7`>#(GqZ'+~.WW&]@ٸa\ƃQ@dh]OӏƫC06^KT1@GDR ԞBbPįUXx Zf\&uϳ"'_Soll#k[="7>6Rad^bآ RȰM6竩<4:S 07 |c**] 8OENfL'{ |*)`',_ pO?w?e.Q,Wq+Ҷ΍$3:t]E? q@?WN+u8f1g>!ghRTBh5Kw9M f̿HqFpˏ|޺).4-fpt.r[;;W C&lZҷ+DQ 7oG 5FB*&$0,S7nY06 ]ŗXi%>Zy}O]䪅jV!=#Ck ,NJW˙LAp((G?RLiEaی9f%a?&]Xeٷc:-yEV=]I..y0O׫.nUp(c]tr/ҚA淔8K#zb({]*i;4:=>v PapZfk*8zObf ^W~FjghV`-8Hbuge)5\비%>Dqϋ$\E@y\g]Ϻ~:μ"9yT"HYsTWԩ{IqK[.AY)n'+C'ZO08#d NpcY.}>f {QRc4_mJ/\/v_t850(wwBJY(m//Sޟ}F*/FU_}A^u8g+-E]LXưٍj84ƒV55ۅHv)xiWLcK&X'7]zeaY)9Fz ~l &7Y]>^qr5N{eSωzRֽe7WzP[n1Q,ԣH]*Hu:kA-&G)yjc.0 H!J`T*t~a /~K&lfx᾵gVVx>FC8{%Μ޳%-k0 h֪˞*; ~5qh@055i/zW}Bd$ S4)gi[A$LklFt?Kr"SzV^Xw_ }IngYZc06a838e14e6c088cb2adbf7bccd167e0df7e07d04cbdab1f686d7eea03656c087fb6cb51858d69d0b2ba916df2706814c8f6553c6756a48ce626261  ZF