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 RR+- $,$ ] Lambda_Free_RPOs:threads=4elapsed=11.021cpu=41.692gc=1.292factor=3.787zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)s2O ny^]Lye4ȝ#c$ʉȫ9 *8cŅ.v,6%7Stׯ/ڎ1gIǛMVSd@L 7c˘ 1i0T34/TF*̟NzF6TDXhpǿyam,4D0s09HWul6= Fi;~tL1̘`sEUT76-Xd:W:Q$nsUʱ*8 )>5$SRt&q 9բb\ "SKōi>3XFe |j50y8nAHXPI6lf)m.gTy#Nm@>(n~7׃敧p47ƷdČrI-&SXcNAؑ<_&Dy-ZdYŐïr˵{*ry~tt !|4koaxXef#Zzdgw/Σ\/x`?= *$7qU;x[bM?0_2b|g3ءlW0>gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"y=Mz% #JƒXYOHJ&"HSYW?Ȏ "T25Z&儇.#yk(Ar rNhP_(|J1 Cj*yZ]-_<`0"ULSPs/eݦOfG@NTw}:$r\KWb[5TukUW6+}zMgYZ7zXZִF! YJ ]ŗXi%Bt0>岍WAy>90gfpIQ*w!&I,8}${< Q,H&h"Ӣg/.)ճRP