SQLite format 3@ .0:  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  / tD ]S HOLCF-ex:threads=4elapsed=2.953cpu=10.512gc=0.304factor=3.567zXZִF! S]ŗXf1-qNe+A]}q#=P vUΌeppoRDx_!b2;cb}u N^@?6]ѓj‚,G$=(nnY<\(P8YiϾA*,?!6Pzqi: Eeފ(L6 oh{5 t&=, `&RN_;rgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4Q<0-YEz `tŠ}w̓xSpwda6}͈;cꈻ[nDjpV /rc\& 6]eY(ٹ񈢜\Cq)'wVr|G“N0p/(krxsZӶap9#$graw䙟E{] e\-FrBc:ї4~9αgYZ7zXZִF! \]ŗXi%B8_y4 H^ؑbP~UjI;ǝ^B7/=SA OlK5ʲmHR H y x6Ak;HK 5 z?eh<  Dí4]vc3į@xҰ6[)GUB.:q-ed:SxDH2 "j|Aה9kf} lt[}8]Sx5+aON7q="ur=rn p932 )v\7[isFws }zDY4 u箆!툙$"-i“{bXǓfLW5R:IcN^-F&TītܜKNhz"k:YY]ѾkgߍEgEڎi"I!qzAm ,[dдF,0f yGֶ/S4v"D*8"be8DFPؿ