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  E E8 , D ]% Topology:threads=8elapsed=3.993cpu=15.887gc=0.895factor=3.987zXZִF! ]ŗXf[&}H/29#rLhZ1l89&,H';bMVYIM7嚂~a -%jLN'}QO֊Ő#^S *֛8*}M]`ׁbBV"Y_j ץ\]҇}rYĪ=FR^!tQMH1#Y9@M0dQDd7M:RTuKku4MXQC`)oyӫq0 k7gYZ7zXZִF! }]ŗXiɟqHhB"U΅/|{2͐v˦dN=%W^ߴFā^`;GE3t0gقD:b"fm8 xDQ51%QiVgYZ7zXZִF! &]ŗXi%>t}ǃhrRjt׼\+y7<5Ŧ~`4p$SI7nG(CWҭ @' E^5]d~t$uai$cgN祋JآoiPA#$Z׫PHH R:`aXY7w 8e S_׬D]zNMcWE4GPR\cPd[=skSzmU4U/2>FZ{nvITޣAULMƳ) ]nG50hc)ڵPKq2hL#X},En.vsnmЌ ?,_9 q:N VLl T޿zy 2s\m.P04;erz@A@ݨ