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 ii) l4, ] HOL-TLA-Memory:threads=4elapsed=9.286cpu=27.136gc=0.524factor=2.927zXZִF! "0]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE]jGU-&(xgxoteY @.XthbL,N/M(O? )mi^}3Upݪ3Oڡru}"O$6mN$x0Z/Vl.ɑp!^^NFlL+f| լ#B U:a;ZԼOu?%VJ쪞R?z?fD4;BdAw}CVb2 PSʷZCi_j8!eu(.|gLLi*h&x;!ByfYФSߍea7G4qI+烧A ϼ%*jF,ԸQ[,Q: <1Og'&I /p(O[]PlffN ADE``B u~ =,|w>1,g'FC 2㳳 S,v>gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKVZNluw?؍򃧄5 s"[FLt2diHu*%U-ߣXFyN '!q IcSprsDҶ iFx3wbwI|Œ0@FvzА%i"0lg쏱gYZ7zXZִF! 4]ŗXi%L xY{v`a h{UDzd_U~Ryζl閧QM0`nGX Cs;Rրfe'յM`sO;\nIQ?B'%"?opz4bW-B>l{C\͌`N39Gvp,TnZGMgZ##\5f銁w,IS-?]urq5nv[ROAEKl_QsoE2mSLT$H~bt"S`[ѥY*XOɺa+WPQ=\j k>^2N;xQv*GoS߮ J,wK*ME,73l[I/J?hA%)ޮ0k|͵p`3*PyfPF.镒4G(eE21%P 9 *a38X? Rνr#+kZ'm5͖F\0ٸXEݱ;V?`pΡ^uy7I}]B G/ seD6ү$pޡ \~X-e!*X|NXVgz4`!|ӣQ[iFJu'6 Y@ͮl.)kj引[r8#TLx@Q5+`;*Q#硟)b{Y6%V5 XpWW[N"wYޔ|{a[ȂF_xt;ߏXz] |jqS6*Me^Y&׋<{H<[$0,mg3|{o'!X1<**hJX] s/:+ε9oRh/q%\̊:b3 <!&רr@Xj$ Z^ә&Td j m*pbs;" V 5}RЅR<