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  4 4I/lTD ]/ DataRefinementIBP:threads=2elapsed=2.845cpu=4.992gc=0.128factor=1.757zXZִF! ]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH=pi,k,@尔JPxhp1Io( NՖI}qRp?S}(ys噢wV[ȟ_%p2=}B&|HwN),ګ";i*gYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg%> A,&c׬r l#aK’{T/8;j}.$gH˿. KBB\ʋAKb7оZyUl qR*eî/qوHUgr$8 d=>~P8sVʬgYZ7zXZִF! N[]ŗXi%ή++ԉW!/Utox܉'xBe%KDi, %Dݫ궝-W5l=6MP J=(u{Y^8uPEE ~쓜umz叼f9c4#*3@3,3%RnOIF\{F E֎߹]),xeɳ4~c8Yg3܍ukX:]{!+d.,jg{ 5%ۚQ_R{x55s#'{PX/?m [ zڬF^:YgvB?+l]%g+^D?\ktx"53%)AHo30wh9ѻvm~A)Cݵbh=sv̸}ÙMryneA 0tk0)0T'2Ir@kdj" |13<$lU*R!1dyt`A$Kuh(!W,qzbAgLM|>ۻ \ۦ1ZqQڔزdZ;6Y3$ A``4\4<=gYZfa544a75b222ecc41d904d615cebeab2a4ab092900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 / DataRefinementIBP