SQLite format 3@ .  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   ]3 LT4 ] Selection_Heap_Sort:threads=4elapsed=6.890cpu=20.304gc=0.536factor=2.957zXZִF! ]ŗXf[&Qz꣸J֯g, sgZgťW^>RG  =XDߤQ_\`zwɪ&#]k؝T@.8Y 8unR`ڪXD~d?[aP]E5Tlzv)ҒRZ` u q`eڕ4.8tM/6fRGzy8-Yw OW ce+(hS2L-C 3F=܏B3-{&{!\Ԣ0LM[kojyqkқ~VC FkIt% j-BƾO*E˹*5MEO f}`D h? _&Qp?}vJFgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#zJܼYOU|n54=3@ԏ SʕYЧ:qODwm,Qv/@PfYi3eBcĐP?a㎛K\$-%5k[ԍgYZ7zXZִF! =]ŗXi%B !4M" Bh}痂|~ggQ:e5F]nCن[B A6X \E1 d$䶲plukg3ۏӮQS E~{0dƘjĚW t {s|ýbfqwpӽ_|G4}GQ )& L9UzͳP}~Q_{ omw$ Y}i~`TLOlr8ѦufBmեd?)Ɯ{ ʃfN?ض,d drCϳ !aE_,ڣ8]c 5bI^vTFR%„ʪ}XkZw/%)hTUUҳbz'0JC  /#$u+bL9 w=bh#&EG.OiH~E|ԈR}[eC9q|#kFMs/AHhX'_؍ ['a]u!bS)x<4 Bfog_[iG\"lѩ́M"(Xai l#(K_/Ъ(DQ$Na3Jxt::ba0ﴑwwlQa{UӦ_2̂$.hl~s~.YBَ/Wn&02̂E;0-aRp.vFyyC'`iIr NpK t]c.ξ(rBl"-ė|ĔgVwƟ{&2deC!C"D 8ENޫ J[W[>[)_[NlE@eH3+51NZu}f;)ڤzSMV9L.1HO&yr>Ӊ>ILb|T \#Ag*B̲"`/) L |czptp\gs`Gԏ^r !5e]Iv4s]!zMMbIFN< V9eA;M+]}6E7pY %^zsAVx"+L  cPڙhm8@჋s ѷCBZ] _uBvW]pQ7m_OJ11\&w'.ڈT4s`!n<}<.Y 3h zñgYZ73f0d3b406565cc196601a4e2fdd15ec4f0690f9c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 3 Selection_Heap_Sort