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 22K $d ]/ MiniML:threads=4elapsed=8.578cpu=17.840gc=0.492factor=2.087zXZִF! ]ŗXf[&M_4.F$ܙ:(a āšB~e }!.Th:z1_@I*j\t9w֗4ŰB!*[#D do8/a&;N7 !O):O j"A:?AT5&F~` F!?P;)eI%dm>Gw1uo2O/K+սWLdÎ@zKt=LzCW ,2EpH wgYZ7zXZִF! ]ŗXiɟ"xS2}YNd Mb Tx[hHù6Da&:3\r2 љNM-F24!1Kbtl}o`M}s YqL0e#)psn{amwLUU*cL~}hUEWP^6'>Dc[1bRƖD rP${z'Cxʞw.+2q}]H>(L,z#ڼd.r=fūNuTsDzu)i{ԚE(:g͞H eډt҂#- b5,kD*g1'r"m_,Xpbb θFj3u:)#2X{6$)q=3$o뾚dse諭NGe=TMv$N}@]L;řxX$ w2:TVnNb7 T}` j AFνo1'GKH6|qZ@p߈^q\_r0F g&`2(beգd9[{Qiv'5} PJ r