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   s \L< ]/ HOL-Hoare:threads=2elapsed=24.572cpu=44.452gc=1.384factor=1.817zXZִF! 7]ŗXf1-qSqjq[N),:ʵ?j*508rU9P~Nz! 2jlQ/ʠ6*\`} G/zoA=qwfjd8C 5>_[S!"EV 뇋4EW 5nrCc(X3 O| F R]'C&iQ$$L~-L\( +{/'MWLoWڏ"$/W<,guGen8nכz:N=Xsoa "?oLhvq1և*/` 0YYXоvuɜ%䯛29k+_j]-|cF?>>kP/3̿JCM mHM%/N"_FCQ&QspzX m^yP1x@^b/zXC'VUyRY3v%}qFGfXvE]J Uw&CX\{Y ?u ʘ[%AΜDFDvfW7vqc3Cɋ#Z>t) smf9`vtJy+BA$~R(ʈDdj꼂ϋ*E1^HWtxW۬썶]VTR=ߡeP{pWAB/n¾KxJ'X*u ]̼f3Wkz/(42A'`&D"C h_jcvvވ ^+lG/ͲAfJy`{ML/&f2ZU&,F?UV;[X:Gvɀ$0Ug_UgV sUX4M"]|@BS," 䱴2wO1y{gS^Ϡ%@t6fπa{oWoƘh<HUQ-(XG :#E|