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   glt| ]/ CYK:threads=4elapsed=3.289cpu=9.152gc=0.256factor=2.787zXZִF! ]ŗXf[&3wil=xq:䄥DHA@p:k*6LɷZߡ&ETTƑvs1I,eB乭Ʋ/$e l{Ո-:paa"CVt[dgaҢ>~dFA`?P֋huɦ((2"VwwJZ$ q#dy#(+=іJZ*GZA 7 }5 {ܤgYZ7zXZִF! ;::name=CYK.CYKelapsed=2.714cpu=7.772gc=0.256ؘnXOT}YZ7zXZִF! &5]ŗXi%GV΃">7#w%p*&ӮT|!j.Јys@{ػ% .7%?b4|ӕiT[LүKI&5td=T63`7M_%Qvhthb24&rGaw WGLoGiB>eh[v0+o_h AGIԓ%wk@7Ȫ Ggl<|1,P b̘V cn?ִurv˗v qa G HBj{|c~61G4Qk%"lI~Nb ԵM{,U&,k"80p(J鎼YU7+;ڧ~Y)h`!]>vS ؂k#65:'edYiF~ډ T!f$ \L6/+72*D*v_iBV6\,(Ҙ1~WXL,,U@g&2IVޕO6 A>'mJ2U0Rn"4thqE&ʸR-Mӳ{|Vtlnd#Z㊠ZE\zl< MBԀ p?{+9X'Y2s0+_7^&g{;9RFQ3D^% ,aWl.#q N3OX&<0' 1h5W sGczpt&%D*PzmǷblw!MVgYZ18d296629a3e1214d0ce2c6e07cb0131130da5a84b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2  CYK