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 1 ld ]/ Tree_Decomposition:threads=4elapsed=5.360cpu=15.360gc=0.448factor=2.877zXZִF! 0p]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r=3Y>.:k">/yg MLoq#0:n)h@ d{Ew%J zϯ$dJbg8.8d@>X+QO-:nqPW ~ynoCzyY\ʶ(x&ZgQ_}B0n@16zV*:Ȝ P8zcT'f5.;F{mb}610[4b'xψ;A{oimoH!6Т#_SZݲ!|FУwT XfSgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S961&揧2$:C~CP=(n8 <a0Ԫ}syaUoLp7O_6l"[۳ux>PL&bTzs~h.IIgYZ7zXZִF! 4E]ŗXi%Gة#2n}QB!܍|?oHjPQ OQO&|'O^#zg|j%VdI^fe"wT`idBbH6OkԞ,ܣh #P~fz ļĕz/4.fs75@( JUHLOo/@tdF" 6DU)_J*'kca#ZH bŚk!7ku FG$& HY% [#DT|K|~"9l$ڱ:/cQz>FknӨWJLZ^l N,^sD9'U3N-U^ty7 T,/Ϯ$zbgN9Wi"o̅mڟm7:~J37O%X^|UyW6YJ.Zkh21jup?bO}j,F=f@kSNlR/VV׳wHx;N:9kʨ"aRCᗍ0sC93w3XUqvYjϢME40