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  7 7F+l ]% Secondary_Sylow:threads=4elapsed=3.180cpu=9.976gc=0.200factor=3.147zXZִF! 8]ŗXf[&Qe_ u]v+F0}bƝ<|[$'6$ۙ8ϑ2ɡo' ~:|Ķc#ێ9¨S2M.OkcMk85Nj֢jɹ=`#y#FQb'|vN" gYZ7zXZִF! z]ŗXiɟy|1J(*BhJp4N=f/Ulp^5iNyXH WhWD"K!K1fT%de=\cL*z\'l>$q@w,Z)_pgYZ7zXZִF! &p]ŗXi%L 0??gi/L1eJj\#WI.Wv 1y؆Zg6[a>#]U /:M|$ `_y 6n4zʃ/QI8Yfqޝf{h뫕XwǃX›"Z$Gj69ssjGV"v}zTc`#s[FջS iZ _~X*3jyx -h"nc灾$\G JdG馰zlY@:z{`2o (e0kd4w8nd8V♾@7sHʐo 8c1?0! [ԗ\"<7 Uߪ>Kt߶dx'n jL;UpL}8G &$̓_=|{uTPϗ <%JV_*i'7,' |l̓5O v},?#۪sADbaߍ7=(_+DY .wRQWuԯs{K:_/ĄTVIV;t\tG_) fP0D{TU Lٷjq5j :iSJozD0*~fuXj(^0|>&pzkb%&@LdsbLwxu#5p~u