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  \ | ] IOA:threads=6elapsed=7.503cpu=32.644gc=1.468factor=4.357zXZִF! v&]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K CAXXmvn*\tz6`Ub 28j_u;&a,:.h~C=Q܁Mk9_) \z[ #C <4Z#.T49U990Ppά"{aGDaxM3_0T8NJmhsNuY,kO0h'oҸ; "Cd=N+/Eg<Ј2Eu^$vҝha@ AZI4s cN*T ,&ip{dqO_"T<HC &r>yoiE \?7\̃tqeyw1ߠF،o&j,?#_Mx){> [+c*WMx5/%\ٙw{ή*f݅mVQFdSfFJ" JILzx0||M7RV|mggYZ7zXZִF! `]ŗXiɟdN'LvH۹$nWvYew5\5: Xh  .)jU\TCjot23=&aɚO}75Հ5F@JG+L^,[˩MƗ!A xRŒʴc)-kF H ;I:#z=m ]Zo+Imx\k7uP٠=7L$Xm$=-~F&~mW߾+Nu$Ydk R gYZ7zXZִF! &]ŗXi%> r~ZúϐYPʞDOYIkDed!x F`.R|4 Chy60-`B*?eh¢%W@vj&'2e3wcW<hՏ|)mxNV n|쨟۠6uJ\d7ڣ]Q\2D8 D@x]W9P />CL`%PbM @FdJ7Xiς4bM$p#෤ࣟ:xP* -6s(K<`X-綄괌$R=HI5Uz?#z3i||딗Dgy7^,U!=QC&}sujKy2 a{M:( )nމQеνPL 6(acbd|uϰ [=!