SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 jj3 4,  Selection_Heap_Sort:threads=2elapsed=10.219cpu=19.172gc=0.784factor=1.887zXZִF! ?#]ŗXf1-/6vR[]_ʥ4*M[#S}ڙe}^ో nZvV%س(P1q}hoCE(}HqfP+%5oLcLC,93}.P?QruAm2gJN wfH))!sμ٬ֹh1tm"k2 NPЅe멠,vi ^,zg2:Kezvtl)K1bFNW(OF~N%l,Ib,cg C]h4Sk>Ȑ S]ikMǪhV?٢J)<PS D5]y^u;M )jW}P.}ip2 3 Selection_Heap_Sort*Vb{<8:i#|3,|)>H'ܠ>(Hk&F> B^7-/X[t0jq_y;QF}V0]S_I07V4OnTQuNxD"8rP^b v UWǶU~m hNoNE}p~Z h0)WȑCN g4z$dO)2 Ch~g/ox_<_AYGM^R~oI&s7e'0y'bL<{_T=pЂjŘ58L`9 _v.8uh'ꨙgBz0UzJ|EF9;ӥ,4&}Ew}S/tcS.IH2GZ`=}k/ i="6LG~ ~ugYZ7zXZִF! :]ŗXi%B׆U2Bbj#h7jkջm'dѲVKIWfDz76u* fa4~ G(>p%gPN<jGjJd3ތ6\L[f@ Z 4ҿ)v`~Yb 6(&Ďn ,ZyW[#>NnН̭vjxMپޯ_B6Ⱥ*wf`qn ~iI\׋|6W\q(;:PМţ҆6^+}ZNi` J.BPWN]*+hn`(PSmu2oM3}Ϭ|R^RЗBlկ A5@$3_6MbgBާ}UxҼ^0/9smJ