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 JJ3= ,TT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.095cpu=26.940gc=1.548factor=3.337zXZִF! l]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk 䉌0AlSymgW[(V"S쓆}^)zh-؞<ߛ۴RAdw{BG6`ḱAn4!^,6"eHj'c _>K3WB@;mP!e[Ω 9nJK9=Nźtzh 0D W{`{ ?5"sȅtP,1/(VV8rs&l=T V:a>C*c4kIs7_OIīHgYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>p1Iۢ)HeN'gS{.(iՎ$%}Y܏@0̷e>צFOY""\pDDoS2`zfhUT|ChvF.sdž=U#A`77`Ϥ"c-֋fXLk3'b11-ƶhm:TdfxpW@>aP-Cm6[F٣/7+vY|2^Nf.f`٬~"5/yG-8L73 KgYZ7zXZִF! ) ]ŗXi%>pd}szh<|iKGWyӝYSt1NPKk9$̗.*+ qޕ Gf0n[eԯ٨w x03_1w!oSqN A@Pw>S׺K&]k eek 8` rbλV7W{ v٪j|}PGu0aKDWf9wL q}u!؞$~(8*I;(_8 ,yģ1ްw Spka)Ó:Srj'^ImHiBgr;1w&n&c.+ƀ)o}BZIB| aͤRӞT-&Rg[2JA li떦-f/AԂߏoA7xǢ~^(=!>]^/V/5͓z7qX%| Y1#av;8J9#mQ;YV aAl+7