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 lr |$ ] IOA:threads=6elapsed=7.507cpu=34.024gc=1.6447zXZִF! ?=]ŗXiɟLe5u%\ 6+4&-79+VA h x߈j"RdoZ ֊=! Gp_1=Z &=.ʍ\0!eNe1GkCDClWAZH4 J6nhgKbhg'ͻU1b^Gc4hg)UuKeu+z "r"rC`NgYZ7zXZִF! `u]ŗXiɟdN'LvH۹)S xre Gx|v/ IۗD&~g7֝;@Чx\F׆0<nː:\fE7"fE4(p*Fw}:%Ѳn!n K_z7;&8E5v3; y(p]92cYs8,Jo-?oF-1}qӶv`W(R^r/ U˜jtJOs'+$tO ac[x ҈B/koq! 'pRʥʣ:Cԅ _H *0N-DP?Y+^2>:ԧ `ț1gYZ7zXZִF! &]ŗXi%L&|&5:!ҁTۓch.pCRV&QW}~ hf˧EadfrO~ʁoWY R˿JL((pwH?lwLqAticI ֘.ꜿoB"OTPa3Y ' <5,޴K z#|8KjWO7> < s ( .Fnve!Mg}0#&7*/"=^Vft< Trin*l&['gK4FBr]tJbpb()Vmɻ>bQ)IB6oeX2)(Kv^#ֿ&qC~ }#($ã qyTT"1[`(+)k7vg|sģo0ۚ O4؆ a$_UEB 5[ݦkb  [:[9q`&_6u(mpsȥ{ץ57RwSPr1) [*kDi%7 ȉ QNU*ҦO-sJ+\MS~ي␉/ C[|fGU\9D]Y%Y ,$[L̇-gtN+M=ro;U1fZnL mƮ}G8\*L5S3&GfP(Y2̷QC5B.j =2{}uF.hCH6'Php9`͒WRx5*NKHM=)6d`hTу8߯|EX6bYsWʊnX!Z̯AeԛPAvc08 0g@nW:`;iS|q?,۴pr8:BV^ɒn3 &ij-)-5SW;y2?OI(F