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 o) l<4 ]% Jordan_Hoelder:threads=4elapsed=10.600cpu=37.696gc=1.588factor=3.567zXZִF! #n]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=98gۤ E\/yt3ҊsI$Bi‡e0m>THYxqxJ09^HƬ fwPQv[lVmaЁUvvW)AHSQ.J 1N{֑y*̬^ }~v&P^;謿 y)s@)d2i)#6jCQՠ+Q֭lD"؄tHӎXGT0Y]?Z(We>ruu]kU\h( !d* d_<с]i\M]+iS\TG@5=35,V _;}a/j W/ko]i!X9WviYpnd 3N9Z`(W£(Z1G>37FTb{n^*~?]qcLq8Emϛ51Dzò2RݼёT R4x}ceծb~Q";sIR>$} IgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz{̑fY]]2li,mg4 `Ii~P;t tU#_"c9.ϕmBI/fnh)^Ŋ7(+gДM܎ dtJ6n9.Rb[6\vwg;lxaH"Nl)Gwpߴ ĝOOy״(#nWP<1zvQ4[ R (_I)Э q:"y^ύ;Qb;/!Nwt<_T9?R'btv{!mR<Σz0DjXCuv^ٳ,Īо`Qf2W񞠂.mB3@c}pm#؇]1t*h8j>i1_ lֻ_sCpr#MlCH6TUhpyX`&o "k]nCP( @vԱgYZ1deddc73b64b565f38c76151f1b58ff0ec34545ad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 09b53a0ea83f2135f0dad794ffb9fccb717c814b ) Jordan_Hoelder