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 <$| ] Trie:threads=4elapsed=20.790cpu=24.556gc=0.840factor=1.187zXZִF! X]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~poC%(R<*gtb_{4T +@^q "u$͟U&Fv^,~u-(e?/M/'7!t= Es(eT*?2cӁ.3 k6/dWGh iˆ%禌&'q1|8gYZ7zXZִF! |M]ŗXiɟl٢ :}*]>~ߞ$U673ϘӣI,6ݱx)INH嫻i}Dh }YZ7zXZִF! ]ŗXi%B۾2>#9KڱE8[_ 'gg/ }$&v5|7?IcsYW=d]3N &v+ܗmh䕴wEs:/$1[1nGJ:1ӱg#M_olhM xwL]:'ޤwI{&Vj+XۺYIz&)=Ih+_ * :a0Rr5(q&@ ^' W6L CN#YJDilqNٶ;pc]o&NP{Up8'ʊ˩gg(>WQ^$c*- ]Pm{-_]qhM|Lc5Xk\͐:!DR| :̔'Tx@\|w+g{ы؞٫'y+G軦30Q<LZ FiҖ|v_O;Fź~3S> CKv h?yo fQ _C2wvc{VUndH3=V^ϕCdEv.N\B3Wo/cz7Sm[ )Lb}@[^\x6~E/DU\ẽVË$`X6A߃sZt=}pO^.KHGӇquxl{pVx|]KDTWZ!JL Tҥ!m!Dr)g:8W2d+oZE2ǨW|פQē.RCFOU`;cརǸ3swa ԭڤ?9 7svTҡ:5u.Dy2k%( z9E$ V!+}2v6iȀˌC~VoM1?h9KҔX,p܃W GbL = -|ZTkpEAA׹0h` |PK{G9ouxKjۏje&YL@7Δyenݠ_6Jk! +6vembkǠ:> &j ˫f#ɲ9I<'IDUBjaq.U1wٶ;C9 NҌ;MM0dfM=t(ukha=Hcb *3I + 7(%?2aU:ي~nצׇ{Ÿq7xvtg(mZӰ~aV/B9dF crNj5Vր"Q,I_#o33c89*$W+ OdsnsB:{I0ވ,߬RS"s*Ty^s & ~"nUHƨ({'!> 1!Xmq&M@ؤe+Mjy\m'O/3'E>SӵHy sauP'6dlyѴKz ]; Xr?"O;W5UU;V n#ySNG#?OlMCwHQ˂,E"#VHy,[q3 s[+c=gYZ05c0a34f6a7361b1e3c5dc9dd7060f4195a2ed0776b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6  Trie