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  !  ]/ Prog_Prove:threads=4elapsed=3.292cpu=10.752gc=0.412factor=3.277zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnVk<*f`@?BH7/HQm1%=x #]SzĄ.UM/]FR8%U?Z.Wu!oj*aBR#DŽ= ׻ ÙN֮6Ÿg;wk*]\6 t=@O?|)FNRMCwi/kG_Bu1Gf\d s E;bgYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȴ+ !u ]MyP K#%x0GQFsq`aJ5]wY64gwy@mP1/ EPF~Eug"8v?j!&)׽̀kT_xc WZD5`gYZ7zXZִF! T]ŗXi%B:pNE"⚉,؞- VOecHMPy`cm!aS8Rҝq,9w;4`0/= |C Ɣ6/Bĥ1/E! ߛt֮xe0 8bFb k{>ސE 1oQk&T&c&y8*=}׷Aks#Q̀9}q ͜{9l;}kާk6^, D-#HliQ/>G;q3=lbH/R+bC~{[,kֈjMLң$62OeЎu0{(Q]޹7 8Z KULZ_|bu$Rq"4& CȎMRa!uEds׀}̩w/( Tes