SQLite format 3@ . BBh77otableisabelle_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 yE ,|, ]% InformationFlowSlicing_Inter:threads=2elapsed=30.856cpu=53.888gc=3.048factor=1.757zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟI:Y=["j :KqLD}ԛ\W N obrj |'^@(,g; 6E;SP]Ȍ߄UD3w-AZVSTkFf/*pZ&ls24mAlwXMLQtwuHB  J!e~@D3񍕱+ d-]S͛Ba6,/ 5t Bh(jk׈;wP^x$6NVy(tsq`Leqz8`Gh jf2hzT=lsu f4Z5$\ %@+^]Tn?y&:Dmm[&M(j ZpM!(wax} 3Uv!p3"}p w|JJRRRcթ3)A{DOGfxf)5x,*Mi_F CԹ&wN[L]_:jC,Uţ@goKԂ"(w^Hu!;hOd} tOޱn' &eXL? yc(v]P(oe;0CgYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳslo$bJR5` Uz㡘Y.#dxZ`/oq@T'ksX֬/p)J%gYZ7zXZִF! ]ŗXi%9(PK[i}HP}ܵ|qϘ!WA|l8 P$zLة=dWv:[dJ<F~[ʉ\}7џQ0xPRS3Q5RoW@#y *9H_PG 4*3 esZf3f5\:͸֪FwU&7"܀Z?R- P Y2Ao>>MqMe\וT.C9AXe<>͈ #k@̎cJѼ/}҉t-jaxbOCvg=pd*ʝ <{g||iw7AqrTkG]THen hc99ʭhva<]@71A&vXv(^(Â  %> o/%jClk֌)xE\e49X/-S. gf';*(|S.1jH/^Rj)!T;~߮N\~q{"MDEc4