SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ? ?>+lt ]% Secondary_Sylow:threads=2elapsed=5.724cpu=9.468gc=0.432factor=1.657zXZִF! ;]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.5IUOJer)G,g7O)gl) F^x`Ι3 oG\ gg5Ꝡ ^~B:YḦ%ٕxU VȮ > )~9lxl"+649p _gYZ7zXZִF! t]ŗXiɟy|1J(*BhJp4N=f/wc'9H;d4vCl:8Nk)t֎y&tGt'&g)SgYZ7zXZִF! -E]ŗXi%>g!ӑȆA 69~uPzަ hwA1@7c?9 ܜAԚ*QG]V@|eadH0-j5`]_6HqIT5B?_ζd_Y^͏s E~ɱl橲V)99rc D;`dʖuT!]-bNs<^rΰwT~ܖ/M)GqĊd`$$KSe^) ZK_r;TBVC vLfHRƔUIiDe;DuTDPs-:m`KSZvq83w䖬 uמ*^3&kwh7}J7P(uڧebOx-"nB1fle$r쇓!#%C=exI %^ⳎkMi8}~h[_72ґzXE~ç)sZHl3jE<ɰ< d2Q$ujU}+ԫa,P$euv9c '1OXo505.gWE\\N~J0Jpx'h