SQLite format 3@ .;  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 mt\|, ]]]ZF:threads=6elapsed=12.717cpu=46.588gc=2.9527zXZִF! {g]ŗXiɟ{,Fyb=Lz.HyGڤ0t-IfEt4Hـ8#);m V N Д:o&^w;_(OΐF6x8kɺD 9r,"iö(DQYNFoXX7sXm|L_3:u9 2ù3)j zWGf7{G.+0}eQfR6NWX,E1RIgYZ7zXZִF! 8]ŗXiɟ 1FE`u%%9ny$3bYgoЉ 61J~jxjYUa,7/=c̬WɄCIum~ytP i$)NDz)a~ RI)c[[}KBt1~3 ht;k^fcb!""׃zf+"[f=1 Ҏ?"[A;ӼD rũ#'w^jBS6ʡF*+  Y*?Ks-2edy|tp fEB$p-xJFRGDl@U2e PDA"goY:Gfq=R]A Qh8_o,s Ӵ:zm A`6f ,J*{جCƍ7~1OIZ͙jKu"Q>Ajͣ(LsrK[R|" ]N_Fs>}+t0>WQKw˜-߱gYZ7zXZִF! T ]ŗXi%L(s캰TS5ЃD (y=fE-S|Ks&d6>T{bo(WI<ڬb '[V b޽*]ʠ3L{ԶeVSU_lHm ` ; |e泓#^.vgGq F,׌c3sGH<}pI-y`&xJ xBHFy,X"X l0=:/c#ӹ-0M9ڝ7`ۖP~ZR]rz.xe,2||g.U8/­,Њ*Q`:3M3}o)zrU e)mPEv%; &zDlp w}Oa;vF;!%>dn^) (\!,_0/Ņ J0 m˧Nd# 3[4=˿oXkPؤFsVFf{l[lfwUoaȚc"η =S NvԛƟ* HwBA9H[KFh/xD6Vg* ^*5(Sb^jM~Y-Tx,#2fsRnH*KPg~#M,..]DΞp_088ز}_G4}s D8N %(+7KO[|9D67=CTJnQKxV Zk3E_I??骵"m1z[-Q T!zJOAO7+r)a*W qΏoPR[9HaGxp0v5?iClm=RfWADWvAyT;\(jZzڢP+gk~ H(GJhN#nb C\$h쁽B<1`P. xIӵzVHλ j']1vm_nycք %lIF(,oWy^.0E(Ҟ !7>\q(z TkOZĈnthJQ[* 8 #b@,"k5w%uxދ#9Y"*%@.[B7fB9IN/jOٮy̳DžcC3 :+} AzC l4Szi2DToڱGt X.p9k$RnEM'o9 >u2v4rG:+Gsc;^b=#]X[`1 cOGh) s.`Rl+vO~^C2?o36P_l;6@3{|SZ.X:b%7 "%TB,U$$Z Ȧ#U˄RK1Y.zɕ?j ęqPN]Dmo(Qk9|~hb\U`@q(IgvCPAϠSǧQ%[[ Ɵ =Գ9@"(9&Z0+l-S+wg|Xp%6f* I9z-SjEeLFaTGeGחJԭ"\wt믅V5{KBk7Yh҂6$|']C0RlPq`О5 y.T I]"J4淃}!B$AjkU(֑i`#s#tGKwgYZ9ff4f556a8b282a339f4d32b07c803236e28d07f73b97324401a390af5292cba94f0564c556fe305555ef17a8307222b5db5d550d77e1d24af1ed5c9  ZF